Mathieu Laurent

According to our database, Mathieu Laurent authored at least 2 papers between 2021 and 2025.

Collaborative distances:

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

2025

Towards Efficient Verification of Parallel Applications with Mc SimGrid.

Mathieu Laurent, Thierry Jéron, Martin Quinson

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

2021

The MPI Bugs Initiative: a Framework for MPI Verification Tools Evaluation.

Mathieu Laurent, Emmanuelle Saillard, Martin Quinson

Proceedings of the 5th IEEE/ACM International Workshop on Software Correctness for HPC Applications, 2021