Emmanuelle Saillard
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
4
Active years
2015–2026
Best venue rank
A
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICS | Harnessing MPI mutations for AI error detection. | Asia Auville, Tim Jammer, Eric Petit, Pablo de Oliveira Castro, Emmanuelle Saillard, Mihail Popov |
| 2024 | SC | Designing Quality MPI Correctness Benchmarks: Insights and Metrics. | Tim Jammer, Simon Schwitanski, Emmanuelle Saillard, Alexander Hck, Joachim Jenke, Radjasouria Vinayagame, Christian H. Bischof |
| 2023 | SC | Rethinking Data Race Detection in MPI-RMA Programs. | Radjasouria Vinayagame, Emmanuelle Saillard, Samuel Thibault, Van Man Nguyen, Marc Sergent |
| 2023 | SC | Highlighting PARCOACH Improvements on MBI. | Philippe Virouleau, Emmanuelle Saillard, Marc Sergent, Pierre Lemarinier |
| 2020 | SC | PARCOACH Extension for Static MPI Nonblocking and Persistent Communication Validation. | Van Man Nguyen, Emmanuelle Saillard, Julien Jaeger, Denis Barthou, Patrick Carribault |
| 2019 | EuroPar | Multi-valued Expression Analysis for Collective Checking. | Pierre Huchant, Emmanuelle Saillard, Denis Barthou, Patrick Carribault |
| 2018 | SC | PARCOACH Extension for a Full-Interprocedural Collectives Verification. | Pierre Huchant, Emmanuelle Saillard, Denis Barthou, Hugo Brunie, Patrick Carribault |
| 2015 | EuroPar | MPI Thread-Level Checking for MPI+OpenMP Applications. | Emmanuelle Saillard, Patrick Carribault, Denis Barthou |
| 2015 | PPoPP | Static/Dynamic validation of MPI collective communications in multi-threaded context. | Emmanuelle Saillard, Patrick Carribault, Denis Barthou |