Emmanuelle Saillard

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