Towards semi-automatic data-type translation for parallelism in Erlang. - Adam D. Barwell; Christopher Brown 002; David Castro 006; Kevin Hammond (Erlang Workshop, 2016)

Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms. - David Castro 006; Kevin Hammond; Susmit Sarkar (ICFP, 2016)

Automatically deriving cost models for structured parallel processes using hylomorphisms. - David Castro 006; Kevin Hammond; Susmit Sarkar; Yasir Alguwaifli (Future Gener. Comput. Syst., 2018)

Structured arrows: a type-based framework for structured parallelism. - David Castro 006 (2018)

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 (Proc. ACM Program. Lang., 2019)

Compiling first-order functions to session-typed parallel code. - David Castro-Perez; Nobuko Yoshida (CC, 2020)

EMTST: Engineering the Meta-theory of Session Types. - David Castro-Perez; Francisco Ferreira 001; Nobuko Yoshida (TACAS (2), 2020)

CAMP: cost-aware multiparty session protocols. - David Castro-Perez; Nobuko Yoshida (Proc. ACM Program. Lang., 2020)

CAMP: Cost-Aware Multiparty Session Protocols (artifact). - David Castro-Perez; Nobuko Yoshida (Zenodo, 2020)

Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes. - David Castro-Perez; Francisco Ferreira 001; Lorenzo Gheri; Nobuko Yoshida (PLDI, 2021)

Zooid: a DSL for Certified Multiparty Computation. - David Castro-Perez; Francisco Ferreira 001; Lorenzo Gheri; Nobuko Yoshida (CoRR, 2021)

Zooid: a DSL for Certified Multiparty Computation. - David Castro-Perez; Francisco Ferreira 001; Lorenzo Gheri; Nobuko Yoshida (Zenodo, 2021)

Zooid: a DSL for Certified Multiparty Computation. - David Castro-Perez; Francisco Ferreira 001; Lorenzo Gheri; Nobuko Yoshida (Zenodo, 2021)

Dynamically Updatable Multiparty Session Protocols: Generating Concurrent Go Code from Unbounded Protocols. - David Castro-Perez; Nobuko Yoshida (ECOOP, 2023)

Dynamically Updatable Multiparty Session Protocols (Artifact). - David Castro-Perez; Nobuko Yoshida (Dagstuhl Artifacts Ser., 2023)

The Concurrent Calculi Formalisation Benchmark. - Marco Carbone; David Castro-Perez; Francisco Ferreira 001; Lorenzo Gheri; Frederik Krogsdal Jacobsen; Alberto Momigliano; Luca Padovani; Alceste Scalas; Dawit Legesse Tirore; Martin Vassor; Nobuko Yoshida; Daniel Zackon (COORDINATION, 2024)