Writings
Published
An automata based approach for synchronizable mailbox communication with Anca Muscholl & Grégoire Sutre, CONCUR 2024. pdf
Unpublished
Analysis and verification of concurrent programs inder mailbox semantics with Anca Muscholl & Grégoire Sutre, (internship)<\br> report