David Castro-Perez

13 papers A* 1A 1B 2C 1Journal 7Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Synthetic Reconstruction of Multiparty Session Types.
Proc. ACM Program. Lang.
David Castro-Perez, Francisco Ferreira, Sung-Shik Jongmans
2025 J jnl
A Synthetic Reconstruction of Multiparty Session Types (with Appendix).
CoRR
David Castro-Perez, Francisco Ferreira, Sung-Shik Jongmans
2025 B conf
Program Optimisations via Hylomorphisms for Extraction of Executable Code.
ITP
David Castro-Perez, Marco Paviotti, Michael Vollmer
2024 C conf
The Concurrent Calculi Formalisation Benchmark.
COORDINATION
Marco Carbone, David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Frederik Krogsdal Jacobsen, Alberto Momigliano, Luca Padovani, Alceste Scalas, Dawit Legesse Tirore, Martin Vassor, Nobuko Yoshida, Daniel Zackon
2023 J jnl
Dynamically Updatable Multiparty Session Protocols (Artifact).
Dagstuhl Artifacts Ser.
David Castro-Perez, Nobuko Yoshida
2023 A conf
Dynamically Updatable Multiparty Session Protocols: Generating Concurrent Go Code from Unbounded Protocols.
ECOOP
David Castro-Perez, Nobuko Yoshida
2021 J jnl
Zooid: a DSL for Certified Multiparty Computation.
CoRR
David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Nobuko Yoshida
2021 A* conf
Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes.
PLDI
David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Nobuko Yoshida
2020 J jnl
CAMP: Cost-Aware Multiparty Session Protocols.
CoRR
David Castro-Perez, Nobuko Yoshida
2020 J jnl
CAMP: cost-aware multiparty session protocols.
Proc. ACM Program. Lang.
David Castro-Perez, Nobuko Yoshida
2020 B conf
Compiling first-order functions to session-typed parallel code.
CC
David Castro-Perez, Nobuko Yoshida
2020 — conf
EMTST: Engineering the Meta-theory of Session Types.
TACAS (2)
David Castro-Perez, Francisco Ferreira, Nobuko Yoshida
2019 J jnl
Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures.
Proc. ACM Program. Lang.
David Castro-Perez, Raymond Hu, Sung-Shik Jongmans, Nicholas Ng, Nobuko Yoshida