Publications
Journals
-
2024: Logical Methods in Computer Science (LMCS) with Jorge A. Pérez
Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic Process Networks
[ DOI / PDF / BibTex ] -
2024: Journal of Logical and Algebraic Methods in Programming (JLAMP) with Jorge A. Pérez
Comparing Session Type Systems derived from Linear Logic
[ DOI / PDF / BibTex ] -
2022: Science of Computer Programming (SCP) with Jorge A. Pérez
A decentralized analysis of multiparty protocols
[ DOI / PDF / BibTex ]
Conferences
-
2024: ECOOP with Farzaneh Derakhshan and Stephanie Balzer
Information Flow Control in Cyclic Process Networks
[ DOI / PDF (extended version) / BibTex ] -
2024: MFPS with Daniele Nantes-Sobrinho, Joseph W. N. Paulus and Jorge A. Pérez
Typed Non-determinism in Concurrent Calculi: The Eager Way
[ PDF (preprint) ] -
2023: APLAS 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 with Jorge A. Pérez and Rares A. Dobre
Monitoring Blackbox Implementations of Multiparty Session Protocols
[ DOI / PDF (extended version) / BibTex ] -
2022: OOPSLA 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 with Jorge A. Pérez
Asynchronous Functional Sessions: Cyclic and Concurrent
[ DOI / PDF / Extended Version (ArXiv) / BibTeX / Slides ] -
2021: NWPT with Jorge A. Pérez
A Decentralized Analysis of Multiparty Protocols
[ PDF (Extended Abstract) / BibTeX / Presentation / Slides ] -
2021: AGERE with Jorge A. Pérez
Towards Practical Protocol Verification via Minimal Orchestration in ACP
[ URL / PDF (Extended Abstract) / BibTeX / Presentation / Slides ] -
2021: ICE with Jorge A. Pérez
Deadlock Freedom for Asynchronous and Cyclic Process Networks
[ DOI / PDF / Extended Version (ArXiv) / BibTeX / Presentation / Slides ] -
2020: TYPES with Jorge A. Pérez
Comparing Session Type Interpretations of Linear Logic
[ PDF (Extended Abstract) / BibTeX / Presentation / Slides ] -
2020: PLACES with Jorge A. Pérez
Session Type Systems based on Linear Logic: Classical versus Intuitionistic
[ DOI / PDF / BibTeX ]