Writings

Published

An automata based approach for synchronizable mailbox communication
with Anca Muscholl & Grégoire Sutre, CONCUR 2024.
pdf

On the Send-synchronizability Problem for Mailbox Communication
with Anca Muscholl & Grégoire Sutre, CONCUR 2025.

Unpublished

Analysis and verification of concurrent programs inder mailbox semantics
with Anca Muscholl & Grégoire Sutre, (internship)
report