David Castro-Perez

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 10

Top Topics

Benchmark Suite

Spatially Distributed

Human Communication

Top Venues

Proc. ACM Program. Lang.

Dagstuhl Artifacts Ser.

Publications

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
The Concurrent Calculi Formalisation Benchmark. COORDINATION (2024)
David Castro-Perez, Nobuko Yoshida
Dynamically Updatable Multiparty Session Protocols (Artifact). Dagstuhl Artifacts Ser. 9 (2) (2023)
David Castro-Perez, Nobuko Yoshida
Dynamically Updatable Multiparty Session Protocols: Generating Concurrent Go Code from Unbounded Protocols. ECOOP (2023)
David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Nobuko Yoshida
Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes. PLDI (2021)
David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Nobuko Yoshida
Zooid: a DSL for Certified Multiparty Computation. CoRR (2021)
David Castro-Perez, Nobuko Yoshida
Compiling first-order functions to session-typed parallel code. CC (2020)
David Castro-Perez, Nobuko Yoshida
CAMP: Cost-Aware Multiparty Session Protocols. CoRR (2020)
David Castro-Perez, Nobuko Yoshida
CAMP: cost-aware multiparty session protocols. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
David Castro-Perez, Francisco Ferreira, Nobuko Yoshida
EMTST: Engineering the Meta-theory of Session Types. TACAS (2) (2020)
David Castro-Perez, Raymond Hu, Sung-Shik Jongmans, Nicholas Ng, Nobuko Yoshida
Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures. Proc. ACM Program. Lang. 3 (POPL) (2019)