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 12 papers between 2016 and 2023.

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

2023
Dynamically Updatable Multiparty Session Protocols (Artifact).
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.
CoRR, 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
CAMP: cost-aware multiparty session protocols.
Proc. ACM Program. Lang., 2020

EMTST: Engineering the Meta-theory of Session Types.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Compiling first-order functions to session-typed parallel code.
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
Structured arrows: a type-based framework for structured parallelism.
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

Towards semi-automatic data-type translation for parallelism in Erlang.
Proceedings of the 15th International Workshop on Erlang, 2016


  Loading...