David Castro-Perez

According to our database, David Castro-Perez authored at least 17 papers between 2016 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Program Optimisations via Hylomorphisms for Extraction of Executable Code.

David Castro-Perez, Marco Paviotti, Michael Vollmer

Proceedings of the 16th International Conference on Interactive Theorem Proving, 2025

2024

The Concurrent Calculi Formalisation Benchmark.

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

Proceedings of the Coordination Models and Languages, 2024

2023

Dynamically Updatable Multiparty Session Protocols (Artifact).

David Castro-Perez, Nobuko Yoshida

Dagstuhl Artifacts Ser., 2023

Dynamically Updatable Multiparty Session Protocols: Generating Concurrent Go Code from Unbounded Protocols.

David Castro-Perez, Nobuko Yoshida

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2021

Zooid: a DSL for Certified Multiparty Computation.

David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Nobuko Yoshida

Dataset, March, 2021

Zooid: a DSL for Certified Multiparty Computation.

David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Nobuko Yoshida

Dataset, March, 2021

Zooid: a DSL for Certified Multiparty Computation.

David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Nobuko Yoshida

CoRR, 2021

Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes.

David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Nobuko Yoshida

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

CAMP: Cost-Aware Multiparty Session Protocols (artifact).

David Castro-Perez, Nobuko Yoshida

Dataset, September, 2020

CAMP: cost-aware multiparty session protocols.

David Castro-Perez, Nobuko Yoshida

Proc. ACM Program. Lang., 2020

EMTST: Engineering the Meta-theory of Session Types.

David Castro-Perez, Francisco Ferreira, Nobuko Yoshida

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Compiling first-order functions to session-typed parallel code.

David Castro-Perez, Nobuko Yoshida

Proceedings of the CC '20: 29th International Conference on Compiler Construction, 2020

2019

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

2018

Structured arrows: a type-based framework for structured parallelism.

David Castro

PhD thesis, 2018

Automatically deriving cost models for structured parallel processes using hylomorphisms.

David Castro, Kevin Hammond, Susmit Sarkar, Yasir Alguwaifli

Future Gener. Comput. Syst., 2018

2016

Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms.

David Castro, Kevin Hammond, Susmit Sarkar

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

Towards semi-automatic data-type translation for parallelism in Erlang.

Adam D. Barwell, Christopher Brown, David Castro, Kevin Hammond

Proceedings of the 15th International Workshop on Erlang, 2016