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