David Castro-Perez
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2020–2025
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ITP | Program Optimisations via Hylomorphisms for Extraction of Executable Code. | David Castro-Perez, Marco Paviotti, Michael Vollmer |
| 2024 | Coordination | The Concurrent Calculi Formalisation Benchmark. | Marco Carbone, David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Frederik Krogsdal Jacobsen, Alberto Momigliano, Luca Padovani, Alceste Scalas, Dawit Legesse Tirore, Martin Vassor, Nobuko Yoshida, Daniel Zackon |
| 2023 | ECOOP | Dynamically Updatable Multiparty Session Protocols: Generating Concurrent Go Code from Unbounded Protocols. | David Castro-Perez, Nobuko Yoshida |
| 2021 | PLDI | Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes. | David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Nobuko Yoshida |
| 2020 | CC | Compiling first-order functions to session-typed parallel code. | David Castro-Perez, Nobuko Yoshida |
| 2020 | TACAS | EMTST: Engineering the Meta-theory of Session Types. | David Castro-Perez, Francisco Ferreira, Nobuko Yoshida |