Emmanuelle Saillard

ORCID

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 21

Top Venues

University of Bordeaux, France (PHD)

Education History

University of Bordeaux, France

PHD

Publications

Jad El Karchi, Hanze Chen, Ali TehraniJamsaz, Ali Jannesari, Mihail Popov, Emmanuelle Saillard
MPI Errors Detection using GNN Embedding and Vector Embedding over LLVM IR. CoRR (2024)
Jad El Karchi, Hanze Chen, Ali TehraniJamsaz, Ali Jannesari, Mihail Popov, Emmanuelle Saillard
MPI Errors Detection using GNN Embedding and Vector Embedding over LLVM IR. IPDPS (2024)
Lana Scravaglieri, Mihail Popov, Laércio Lima Pilla, Amina Guermouche, Olivier Aumage, Emmanuelle Saillard
Optimizing performance and energy across problem sizes through a search space exploration and machine learning. J. Parallel Distributed Comput. 180 (2023)
Radjasouria Vinayagame, Emmanuelle Saillard, Samuel Thibault, Van Man Nguyen, Marc Sergent
Rethinking Data Race Detection in MPI-RMA Programs. SC Workshops (2023)
Philippe Virouleau, Emmanuelle Saillard, Marc Sergent, Pierre Lemarinier
Highlighting PARCOACH Improvements on MBI. SC Workshops (2023)
Joachim Protze, Marc-André Hermanns, Matthias S. Müller, Van Man Nguyen, Julien Jaeger, Emmanuelle Saillard, Patrick Carribault, Denis Barthou
MPI detach - Towards automatic asynchronous local completion. Parallel Comput. 109 (2022)
Charly Castes, Emmanuel Agullo, Olivier Aumage, Emmanuelle Saillard
Decentralized in-order execution of a sequential task-based code for shared-memory architectures. IPDPS Workshops (2022)
Emmanuelle Saillard, Marc Sergent, Célia Tassadit Ait Kaci, Denis Barthou
Static Local Concurrency Errors Detection in MPI-RMA Programs. Correctness@SC (2022)
Ali TehraniJamsaz, Mihail Popov, Akash Dutta, Emmanuelle Saillard, Ali Jannesari
Learning Intermediate Representations using Graph Neural Networks for NUMA and Prefetchers Optimization. IPDPS (2022)
Chiheb Sakka, Amina Guermouche, Olivier Aumage, Emmanuelle Saillard, Mark Potse, Yves Coudière, Denis Barthou
A Comparison of Multithreading, Vectorization, and GPU Computing for the Acceleration of Cardiac Electrophysiology Models. CinC (2022)
Ali TehraniJamsaz, Mihail Popov, Akash Dutta, Emmanuelle Saillard, Ali Jannesari
Learning Intermediate Representations using Graph Neural Networks for NUMA and Prefetchers Optimization. CoRR (2022)
Mathieu Laurent, Emmanuelle Saillard, Martin Quinson
The MPI Bugs Initiative: a Framework for MPI Verification Tools Evaluation. Correctness@SC (2021)
Van Man Nguyen, Emmanuelle Saillard, Julien Jaeger, Denis Barthou, Patrick Carribault
Automatic Code Motion to Extend MPI Nonblocking Overlap Window. ISC Workshops (2020)
Van Man Nguyen, Emmanuelle Saillard, Julien Jaeger, Denis Barthou, Patrick Carribault
PARCOACH Extension for Static MPI Nonblocking and Persistent Communication Validation. CORRECTNESS@SC (2020)
Mark Potse, Emmanuelle Saillard, Denis Barthou, Yves Coudière
Feasibility of Whole-Heart Electrophysiological Models With Near-Cellular Resolution. CinC (2020)
Pierre Huchant, Emmanuelle Saillard, Denis Barthou, Patrick Carribault
Multi-valued Expression Analysis for Collective Checking. Euro-Par (2019)
Pierre Huchant, Emmanuelle Saillard, Denis Barthou, Hugo Brunie, Patrick Carribault
PARCOACH Extension for a Full-Interprocedural Collectives Verification. CORRECTNESS@SC (2018)
Emmanuelle Saillard, Koushik Sen, Wim Lavrijsen, Costin Iancu
Maximizing Communication Overlap with Dynamic Program Analysis. HPC Asia (2018)
Emmanuelle Saillard, Patrick Carribault, Denis Barthou
MPI Thread-Level Checking for MPI+OpenMP Applications. Euro-Par (2015)
Julien Jaeger, Emmanuelle Saillard, Patrick Carribault, Denis Barthou
Correctness Analysis of MPI-3 Non-Blocking Communications in PARCOACH. EuroMPI (2015)
Emmanuelle Saillard, Patrick Carribault, Denis Barthou
Static/Dynamic validation of MPI collective communications in multi-threaded context. PPOPP (2015)
Emmanuelle Saillard, Patrick Carribault, Denis Barthou
Static Validation of Barriers and Worksharing Constructs in OpenMP Applications. IWOMP (2014)
Emmanuelle Saillard, Patrick Carribault, Denis Barthou
PARCOACH: Combining static and dynamic validation of MPI collective communications. Int. J. High Perform. Comput. Appl. 28 (4) (2014)
Emmanuelle Saillard, Patrick Carribault, Denis Barthou
Combining static and dynamic validation of MPI collective communications. EuroMPI (2013)

Emmanuelle Saillard.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Emmanuelle Saillard