David Castro-Perez
Title
Cited by
Cited by
Year
Distributed programming using role-parametric session types in go: statically-typed endpoint apis for dynamically-instantiated communication structures
D Castro, R Hu, SS Jongmans, N Ng, N Yoshida
Proceedings of the ACM on Programming Languages 3 (POPL), 1-30, 2019
282019
Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms
D Castro, K Hammond, S Sarkar
ACM SIGPLAN Notices 51 (9), 4-17, 2016
152016
Automatically deriving cost models for structured parallel processes using hylomorphisms
D Castro, K Hammond, S Sarkar, Y Alguwaifli
Future Generation Computer Systems 79, 653-668, 2018
92018
A case study on verifying a supervisor component using McErlang
D Castro, VM Gulias, CB Earle, LÅ Fredlund, S Rivas
Electronic Notes in Theoretical Computer Science 271, 23-40, 2011
82011
Compiling CAO: from cryptographic specifications to C implementations
M Barbosa, D Castro, PF Silva
International Conference on Principles of Security and Trust, 240-244, 2014
72014
Towards semi-automatic data-type translation for parallelism in Erlang
AD Barwell, C Brown, D Castro, K Hammond
Proceedings of the 15th International Workshop on Erlang, 60-61, 2016
52016
EMTST: engineering the meta-theory of session types
D Castro, F Ferreira, N Yoshida
International Conference on Tools and Algorithms for the Construction and …, 2020
32020
Compiling first-order functions to session-typed parallel code
D Castro-Perez, N Yoshida
Proceedings of the 29th International Conference on Compiler Construction …, 2020
32020
Engineering the meta-theory of session types
D Castro, F Ferreira, N Yoshida
Tech. Rep. 2019/4, Imperial College London, 2019
32019
Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures
D Castro-Perez, R Hu, S Jongmans, C Ng, N Yoshida
Association for Computing Machinery, 2019
22019
CAMP: cost-aware multiparty session protocols
D Castro-Perez, N Yoshida
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020
12020
Structured arrows: a type-based framework for structured parallelism
D Castro
University of St Andrews, 2018
12018
Resource Discovery Approach to Support a QoS-aware DHT-Based Caching Architecture
D Castro, VM Gulías, H Ferreiro, C Abalde
2009 First International Conference on Emerging Network Intelligence, 21-26, 2009
12009
Implementing memory reuse in the Utrecht Haskell compiler
H Ferreiro, D Castro, VM Gulıas, A Dijkstra
12009
Zooid: a DSL for Certified Multiparty Computation
D Castro-Perez, F Ferreira, L Gheri, N Yoshida
arXiv preprint arXiv:2103.10269, 2021
2021
Using McErlang to Verify an Erlang Process Supervision Component
D Castro, CB Earle, LÅ Fredlund, VM Gulias, S Rivas
2010
Implementing memory reusing in the UHC Haskell complier
H Ferreiro, D Castro, VM Gulías, A Dijkstra
Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE …, 2009
2009
EMTST-Engineering Meta-theory of Session Types
N Yoshida, D Castro, F Ferreira
A Verification of a Process Supervisor
D Castro, CB Earle, LÅ Fredlund, VM Gulias, S Rivas
The system can't perform the operation now. Try again later.
Articles 1–19