Publications
Journals
- 2022: Science of Computer Programming with Jorge A. Pérez
A decentralized analysis of multiparty protocols
[ DOI / PDF / BibTex ]
Conferences
-
2023: APLAS 2023 with Joseph W. N. Paulus, Daniele Nantes-Sobrinho and Jorge A. Pérez
Typed Non-determinism in Functional and Concurrent Calculi
[ DOI / PDF (extended version) / BibTex ] -
2023: RV 2023 with Jorge A. Pérez and Rares A. Dobre
Monitoring Blackbox Implementations of Multiparty Session Protocols
[ DOI / PDF (extended version) / BibTex ] -
2022: OOPSLA 2022 with Emanuele D’Osualdo, Dan Frumin and Jorge A. Pérez
A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency
[ DOI / PDF / BibTex ]
Workshops
-
2022: EXPRESS/SOS 2022 with Jorge A. Pérez
Asynchronous Functional Sessions: Cyclic and Concurrent
[ DOI / PDF / Extended Version (ArXiv) / BibTeX / Slides ] -
2021: NWPT 2021 with Jorge A. Pérez
A Decentralized Analysis of Multiparty Protocols
[ PDF (Extended Abstract) / BibTeX / Presentation / Slides ] -
2021: AGERE 2021 with Jorge A. Pérez
Towards Practical Protocol Verification via Minimal Orchestration in ACP
[ URL / PDF (Extended Abstract) / BibTeX / Presentation / Slides ] -
2021: ICE 2021 with Jorge A. Pérez
Deadlock Freedom for Asynchronous and Cyclic Process Networks
[ DOI / PDF / Extended Version (ArXiv) / BibTeX / Presentation / Slides ] -
2020: TYPES 2020 with Jorge A. Pérez
Comparing Session Type Interpretations of Linear Logic
[ PDF (Extended Abstract) / BibTeX / Presentation / Slides ] -
2020: PLACES 2020 with Jorge A. Pérez
Session Type Systems based on Linear Logic: Classical versus Intuitionistic
[ DOI / PDF / BibTeX ]