We stand with Ukraine  

David Castro-Perez

Affiliations:
  • University of Kent, Canterbury, UK
  • Imperial College London, UK (former)
  • University of St Andrews, UK (PhD 2018)
  • University of Minho, HASLab/INESC TEC, Braga, Portugal
  • University of A Coruña, Computer Science Department, MADS Group, A Coruña, Spain


According to our database1, David Castro-Perez authored at least 22 papers between 2010 and 2026.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2026
A Synthetic Reconstruction of Multiparty Session Types.
[BibTeX]
[DOI]
David Castro-Perez
,
Francisco Ferreira
,
Sung-Shik Jongmans
Proc. ACM Program. Lang., 2026

2025
A Synthetic Reconstruction of Multiparty Session Types (with Appendix).
[BibTeX]
[DOI]
David Castro-Perez
,
Francisco Ferreira
,
Sung-Shik Jongmans
CoRR, November, 2025

dcastrop/coq-hylomorphisms.
[BibTeX]
[DOI]
David Castro-Perez
,
Marco Paviotti
,
Michael Vollmer
Dataset, September, 2025

Program Optimisations via Hylomorphisms for Extraction of Executable Code.
[BibTeX]
[DOI]
David Castro-Perez
,
Marco Paviotti
,
Michael Vollmer
Proceedings of the 16th International Conference on Interactive Theorem Proving, 2025

2024
The Concurrent Calculi Formalisation Benchmark.
[BibTeX]
[DOI]
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).
[BibTeX]
[DOI]
David Castro-Perez
,
Nobuko Yoshida
Dagstuhl Artifacts Ser., 2023

Dynamically Updatable Multiparty Session Protocols: Generating Concurrent Go Code from Unbounded Protocols.
[BibTeX]
[DOI]
David Castro-Perez
,
Nobuko Yoshida
Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2021
Zooid: a DSL for Certified Multiparty Computation.
[BibTeX]
[DOI]
David Castro-Perez
,
Francisco Ferreira
,
Lorenzo Gheri
,
Nobuko Yoshida
Dataset, March, 2021

Zooid: a DSL for Certified Multiparty Computation.
[BibTeX]
[DOI]
David Castro-Perez
,
Francisco Ferreira
,
Lorenzo Gheri
,
Nobuko Yoshida
Dataset, March, 2021

Zooid: a DSL for Certified Multiparty Computation.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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).
[BibTeX]
[DOI]
David Castro-Perez
,
Nobuko Yoshida
Dataset, September, 2020

CAMP: cost-aware multiparty session protocols.
[BibTeX]
[DOI]
David Castro-Perez
,
Nobuko Yoshida
Proc. ACM Program. Lang., 2020

EMTST: Engineering the Meta-theory of Session Types.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
David Castro
PhD thesis, 2018

Automatically deriving cost models for structured parallel processes using hylomorphisms.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Adam D. Barwell
,
Christopher Brown
,
David Castro
,
Kevin Hammond
Proceedings of the 15th International Workshop on Erlang, 2016

2014
Compiling CAO: From Cryptographic Specifications to C Implementations.
[BibTeX]
[DOI]
Manuel Barbosa
,
David Castro
,
Paulo F. Silva
Proceedings of the Principles of Security and Trust - Third International Conference, 2014

2010
A Case Study on Verifying a Supervisor Component Using McErlang.
[BibTeX]
[DOI]
David Castro
,
Víctor M. Gulías
,
Clara Benac Earle
,
Lars-Åke Fredlund
,
Samuel Rivas
Proceedings of the Tenth Spanish Conference on Programming and Languages, 2010


  Loading...