16 citations · 19 across the 4 of their papers we have counts for
4 papers
Towards Efficient Verification of Parallel Applications with Mc SimGrid
Matthieu Laurent, Thierry Jéron, Martin Quinson
Assessing the correctness of distributed and parallel applications is notoriously difficult due to the complexity of the concurrent behaviors and the difficulty to reproduce bugs.…
Sthread: In-Vivo Model Checking of Multithreaded Programs
Gene Cooperman, Martin Quinson
This work strives to make formal verification of POSIX multithreaded programs easily accessible to general programmers. Sthread operates directly on multithreaded C/C++ programs, w…
SimGrid: a Sustained Effort for the Versatile Simulation of Large Scale Distributed Systems
Henri Casanova, Arnaud Giersch, Arnaud Legrand +2
In this paper we present Simgrid, a toolkit for the versatile simulation of large scale distributed systems, whose development effort has been sustained for the last fifteen years.…
A First Step Towards Automatically Building Network Representations
Lionel Eyraud-Dubois, Arnaud Legrand, Martin Quinson +1
To fully harness Grids, users or middlewares must have some knowledge on the topology of the platform interconnection network. As such knowledge is usually not available, one must…