Publications

---

A Synthetic Reconstruction of Multiparty Session Types
David Castro-Perez, Francisco Ferreira, Sung-Shik Jongmans
To appear in POPL 2026
[abstract] [pdf]

Program Optimisations via Hylomorphisms for Extraction of Executable Code
David Castro-Perez, Marco Paviotti, Michael Vollmer
ITP 2025: 32:1-32:20
[abstract] [pdf]

Dynamically Updatable Multiparty Session Protocols: Generating Concurrent Go Code from Unbounded Protocols
David Castro-Perez, Nobuko Yoshida
ECOOP 2023: 6:1-6:30
[abstract] [pdf]

Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes
David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Nobuko Yoshida
PLDI 2021: 237-251
[abstract] [pdf]

EMTST: Engineering the Meta-theory of Session Types
David Castro-Perez, Francisco Ferreira, Nobuko Yoshida
TACAS(2) 2020: 278-285
[abstract] [pdf]

CAMP: cost-aware multiparty session protocols
David Castro-Perez, Nobuko Yoshida
PACMPL 4(OOPSLA): 155:1-155:30 (2020)
[abstract] [pdf]

Compiling first-order functions to session-typed parallel code
David Castro-Perez, Nobuko Yoshida
CC 2020: 143-154
[abstract] [pdf]

Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures
David Castro-Perez, Raymond Hu, Sung-Shik Jongmans, Nicholas Ng, Nobuko Yoshida
PACMPL 3(POPL): 29:1-29:30 (2019)
[abstract] [pdf]

Automatically deriving cost models for structured parallel processes using hylomorphisms
David Castro-Perez, Kevin Hammond, Susmit Sarkar, Yasir Alguwaifli
Future Gener. Comput. Syst. 79: 653-668 (2018)
[abstract] [pdf]

Structured arrows : a type-based framework for structured parallelism
David Castro-Perez
University of St Andrews, UK, 2018:
[abstract] [pdf]

Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms
David Castro-Perez, Kevin Hammond, Susmit Sarkar
ICFP 2016: 4-17
[abstract] [pdf]

Towards semi-automatic data-type translation for parallelism in Erlang
Adam D. Barwell, Christopher Brown, David Castro-Perez, Kevin Hammond
Erlang Workshop 2016: 60-61
[abstract] [pdf]

Compiling CAO: From Cryptographic Specifications to C Implementations
Manuel Barbosa, David Castro, Paulo F. Silva
POST 2014: 240-244
[abstract] [pdf]

A Case Study on Verifying a Supervisor Component Using McErlang
David Castro, Víctor M. Gulías, Clara Benac Earle, Lars-Åke Fredlund, Samuel Rivas
PROLE 2010: 23-40
[abstract] [pdf]