Personal page
Publications (inverted chronological - most recent first)
Peer-reviewed conferences
- Zak Cutner, Nobuko Yoshida, Martin Vassor: Deadlock-Free Asynchronous Message Reordering in Rust with Multiparty Session Types. (To appear in PPoPP2022, author's version available on the publication page)
- Martin Vassor: Reversibility and Predictions. (link)
- Jean-Bernard Stefani, Martin Vassor: Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework. (link)
- Martin Vassor, Jean-Bernard Stefani: Checkpoint/Rollback vs Causally-Consistent Reversibility. (link)
Workshop
- Martin Vassor, Qi Xi, Nobuko Yoshida: Towards Refined Multiparty Session Types in Rust. (To be presented at PLACES'22)
PhD thesis
I was supervised by Jean-Bernard Stefani, at Inria.
Here
Software
Softwares that are/were developped, at least partially, during academic contracts.
-
A Dot parser in Rust: Here
Softwares that are developped outside any research contracts, but that might be useful for reseach pruposes:
-
Some LaTeX packages, in particular one for formal grammars and one for message passing diagrams: Here