Martin Vassor

According to our database, Martin Vassor authored at least 9 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Refinements for Multiparty Message-Passing Protocols: Specification-Agnostic Theory and Implementation (Artifact).

Martin Vassor, Nobuko Yoshida

Dagstuhl Artifacts Ser., 2024

Refinements for Multiparty Message-Passing Protocols: Specification-Agnostic Theory and Implementation.

Martin Vassor, Nobuko Yoshida

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

The Concurrent Calculi Formalisation Benchmark.

Marco Carbone, David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Frederik Krogsdal Jacobsen, Alberto Momigliano, Luca Padovani, Alceste Scalas, Dawit Legesse Tirore, Martin Vassor, Nobuko Yoshida, Daniel Zackon

Proceedings of the Coordination Models and Languages, 2024

2022

Deadlock-free asynchronous message reordering in rust with multiparty session types.

Zak Cutner, Nobuko Yoshida, Martin Vassor

Proceedings of the PPoPP '22: 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Seoul, Republic of Korea, April 2, 2022

2021

Artifact: Deadlock-Free Asynchronous Message Reoerderign in Rust with Multiparty Session Types.

Zak Cutner, Nobuko Yoshida, Martin Vassor

Dataset, December, 2021

Graphes de localités : une approche formelle à l'encapsulation et implémentation. (Location graphs : a formal approach to encapsulation and its implementation).

Martin Vassor

PhD thesis, 2021

Reversibility and Predictions.

Martin Vassor

Proceedings of the Reversible Computation - 13th International Conference, 2021

2019

Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework.

Jean-Bernard Stefani, Martin Vassor

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2019

2018

Checkpoint/Rollback vs Causally-Consistent Reversibility.

Martin Vassor, Jean-Bernard Stefani

Proceedings of the Reversible Computation - 10th International Conference, 2018