Volgen
David Castro-Perez
Titel
Geciteerd door
Geciteerd door
Jaar
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
832019
Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes
D Castro-Perez, F Ferreira, L Gheri, N Yoshida
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
342021
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
212020
CAMP: cost-aware multiparty session protocols
D Castro-Perez, N Yoshida
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020
192020
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
172016
Compiling first-order functions to session-typed parallel code
D Castro-Perez, N Yoshida
Proceedings of the 29th International Conference on Compiler Construction …, 2020
122020
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
102018
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
102011
Compiling CAO: from cryptographic specifications to C implementations
M Barbosa, D Castro, PF Silva
Principles of Security and Trust: Third International Conference, POST 2014 …, 2014
92014
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
Engineering the meta-theory of session types
D Castro, F Ferreira, N Yoshida
Tech. Rep. 2019/4, Imperial College London, 2019
42019
Dynamically updatable multiparty session protocols: generating concurrent go code from unbounded protocols
D Castro-Perez, N Yoshida
Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2023
32023
The Concurrent Calculi Formalisation Benchmark
M Carbone, D Castro-Perez, F Ferreira, L Gheri, FK Jacobsen, ...
International Conference on Coordination Models and Languages, 149-158, 2024
22024
Session Arrows: A Session-Type Based Framework For Parallel Code Generation
S Zhang, N Yoshida, D Castro-Perez, I Phillips
Master’s thesis. Imperial College London, 2019
12019
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
37th European Conference on Object-Oriented Programming (ECOOP 2023)
AD Barwell, P Hou, N Yoshida, F Zhou, J Bauwens, E Gonzalez Boix, ...
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2023
2023
Dynamically Updatable Multiparty Session Protocols (Artifact)
D Castro-Perez, N Yoshida
Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2023
2023
Using McErlang to Verify an Erlang Process Supervision Component
D Castro, CB Earle, LÅ Fredlund, VM Gulias, S Rivas
2010
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20