Publications

Deciding Subtyping for Asynchronous Multiparty Sessions [arxiv]
With Elaine Li and Thomas Wies.
In: Proceedings of ESOP 2024 (to appear).
Complete Multiparty Session Type Projection with Automata [pdf] [arxiv] [prototype]
With Elaine Li, Thomas Wies, and Damien Zufferey.
In: Proceedings of CAV 2023.
Asynchronous Multiparty Session Type Implementability is Decidable – Lessons Learned from Message Sequence Charts [pdf] [arxiv]
In: Proceedings of ECOOP 2023.
Comparing Channel Restrictions of Communicating State Machines, High-level Message Sequence Charts, and Multiparty Session Types [pdf] [arxiv]
With Damien Zufferey.
In: Proceedings of GandALF 2022.
Generalising Projection in Asynchronous Multiparty Session Types
[pdf] [arxiv] [talk] [prototype]
With Rupak Majumdar, Madhavan Mukund, and Damien Zufferey.
In: Proceedings of CONCUR 2021.
Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions [pdf] [arxiv] [prototype]
With Emanuele D’Osualdo.
In: Proceedings of CONCUR 2020.
Master Thesis [pdf]
Operations on a Symbolic Domain for Synthesis
Bachelor Thesis [pdf] (advised by Roland Meyer)
PROSA: A Case for Readable Mechanized Schedulability Analysis [pdf] [framework]
With Felipe Cerqueira and Björn Brandenburg.
In: Proceedings of ECRTS 2016. Best Paper Award

Talks

Deciding Subtyping for Asynchronous Multiparty Sessions
At: Dagstuhl Seminar on Next Generation Protocols for Heterogeneous Systems, January 2024.
Complete Multiparty Session Type Projection with Automata
At: ST30 (30 Years of Session Types), October 2023.
Multiparty Session Types Meet Message Sequence Charts
At: PLACES, April 2023.
On Implementability of Asynchronous Communication Protocols
At: University of Luxembourg, March 2023.
Verification of Message-passing Programs – Implementing Communication Protocols
At: New York University, July 2022.
Verification of Asynchronous Communication – An Automata-theoretic Perspective on Multiparty Session Types
At: Highlights, September 2021.