Martin Vassor

According to our database, Martin Vassor authored at least 5 papers between 2018 and 2022.

Collaborative distances:

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

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

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