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 | 83 | 2019 |
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 | 34 | 2021 |
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 | 21 | 2020 |
CAMP: cost-aware multiparty session protocols D Castro-Perez, N Yoshida Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020 | 19 | 2020 |
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 | 17 | 2016 |
Compiling first-order functions to session-typed parallel code D Castro-Perez, N Yoshida Proceedings of the 29th International Conference on Compiler Construction …, 2020 | 12 | 2020 |
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 | 10 | 2018 |
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 | 10 | 2011 |
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 | 9 | 2014 |
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 | 5 | 2016 |
Engineering the meta-theory of session types D Castro, F Ferreira, N Yoshida Tech. Rep. 2019/4, Imperial College London, 2019 | 4 | 2019 |
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 | 3 | 2023 |
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 | 2 | 2024 |
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 | 1 | 2019 |
Structured arrows: a type-based framework for structured parallelism D Castro University of St Andrews, 2018 | 1 | 2018 |
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 | 1 | 2009 |
Implementing memory reuse in the Utrecht Haskell compiler H Ferreiro, D Castro, VM Gulıas, A Dijkstra | 1 | 2009 |
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 |