David Castro-Perez
Affiliations:- Imperial College London, UK
- University of St Andrews, UK (PhD 2018)
According to our database1,
David Castro-Perez
authored at least 16 papers
between 2016 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2024
Proceedings of the Coordination Models and Languages, 2024
2023
Dagstuhl Artifacts Ser., 2023
Dynamically Updatable Multiparty Session Protocols: Generating Concurrent Go Code from Unbounded Protocols.
Proceedings of the 37th European Conference on Object-Oriented Programming, 2023
2021
Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes.
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021
2020
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020
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.
Proc. ACM Program. Lang., 2019
2018
PhD thesis, 2018
Automatically deriving cost models for structured parallel processes using hylomorphisms.
Future Gener. Comput. Syst., 2018
2016
Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms.
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016
Proceedings of the 15th International Workshop on Erlang, 2016