Emmanuelle Saillard

According to our database, Emmanuelle Saillard authored at least 23 papers between 2013 and 2024.

Collaborative distances:

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

2024

MPI Errors Detection using GNN Embedding and Vector Embedding over LLVM IR.

Jad El Karchi, Hanze Chen, Ali TehraniJamsaz, Ali Jannesari, Mihail Popov, Emmanuelle Saillard

CoRR, 2024

2023

Optimizing performance and energy across problem sizes through a search space exploration and machine learning.

Lana Scravaglieri, Mihail Popov, Laércio Lima Pilla, Amina Guermouche, Olivier Aumage, Emmanuelle Saillard

J. Parallel Distributed Comput., 2023

Highlighting PARCOACH Improvements on MBI.

Philippe Virouleau, Emmanuelle Saillard, Marc Sergent, Pierre Lemarinier

Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, 2023

Rethinking Data Race Detection in MPI-RMA Programs.

Radjasouria Vinayagame, Emmanuelle Saillard, Samuel Thibault, Van Man Nguyen, Marc Sergent

Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, 2023

2022

MPI detach - Towards automatic asynchronous local completion.

Joachim Protze, Marc-André Hermanns, Matthias S. Müller, Van Man Nguyen, Julien Jaeger, Emmanuelle Saillard, Patrick Carribault, Denis Barthou

Parallel Comput., 2022

Learning Intermediate Representations using Graph Neural Networks for NUMA and Prefetchers Optimization.

Ali TehraniJamsaz, Mihail Popov, Akash Dutta, Emmanuelle Saillard, Ali Jannesari

Proceedings of the 2022 IEEE International Parallel and Distributed Processing Symposium, 2022

Decentralized in-order execution of a sequential task-based code for shared-memory architectures.

Charly Castes, Emmanuel Agullo, Olivier Aumage, Emmanuelle Saillard

Proceedings of the IEEE International Parallel and Distributed Processing Symposium, 2022

Static Local Concurrency Errors Detection in MPI-RMA Programs.

Emmanuelle Saillard, Marc Sergent, Célia Tassadit Ait Kaci, Denis Barthou

Proceedings of the Sixth IEEE/ACM International Workshop on Software Correctness for HPC Applications, 2022

A Comparison of Multithreading, Vectorization, and GPU Computing for the Acceleration of Cardiac Electrophysiology Models.

Chiheb Sakka, Amina Guermouche, Olivier Aumage, Emmanuelle Saillard, Mark Potse, Yves Coudière, Denis Barthou

Proceedings of the Computing in Cardiology, 2022

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

2020

Automatic Code Motion to Extend MPI Nonblocking Overlap Window.

Van Man Nguyen, Emmanuelle Saillard, Julien Jaeger, Denis Barthou, Patrick Carribault

Proceedings of the High Performance Computing, 2020

PARCOACH Extension for Static MPI Nonblocking and Persistent Communication Validation.

Van Man Nguyen, Emmanuelle Saillard, Julien Jaeger, Denis Barthou, Patrick Carribault

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

Feasibility of Whole-Heart Electrophysiological Models With Near-Cellular Resolution.

Mark Potse, Emmanuelle Saillard, Denis Barthou, Yves Coudière

Proceedings of the Computing in Cardiology, 2020

2019

Multi-valued Expression Analysis for Collective Checking.

Pierre Huchant, Emmanuelle Saillard, Denis Barthou, Patrick Carribault

Proceedings of the Euro-Par 2019: Parallel Processing, 2019

2018

PARCOACH Extension for a Full-Interprocedural Collectives Verification.

Pierre Huchant, Emmanuelle Saillard, Denis Barthou, Hugo Brunie, Patrick Carribault

Proceedings of the 2nd IEEE/ACM International Workshop on Software Correctness for HPC Applications, 2018

Maximizing Communication Overlap with Dynamic Program Analysis.

Emmanuelle Saillard, Koushik Sen, Wim Lavrijsen, Costin Iancu

Proceedings of the International Conference on High Performance Computing in Asia-Pacific Region, 2018

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

PhD thesis, 2015

Correctness Analysis of MPI-3 Non-Blocking Communications in PARCOACH.

Julien Jaeger, Emmanuelle Saillard, Patrick Carribault, Denis Barthou

Proceedings of the 22nd European MPI Users' Group Meeting, 2015

Static/Dynamic validation of MPI collective communications in multi-threaded context.

Emmanuelle Saillard, Patrick Carribault, Denis Barthou

Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2015

MPI Thread-Level Checking for MPI+OpenMP Applications.

Emmanuelle Saillard, Patrick Carribault, Denis Barthou

Proceedings of the Euro-Par 2015: Parallel Processing, 2015

2014

PARCOACH: Combining static and dynamic validation of MPI collective communications.

Emmanuelle Saillard, Patrick Carribault, Denis Barthou

Int. J. High Perform. Comput. Appl., 2014

Static Validation of Barriers and Worksharing Constructs in OpenMP Applications.

Emmanuelle Saillard, Patrick Carribault, Denis Barthou

Proceedings of the Using and Improving OpenMP for Devices, Tasks, and More, 2014

2013

Combining static and dynamic validation of MPI collective communications.

Emmanuelle Saillard, Patrick Carribault, Denis Barthou

Proceedings of the 20th European MPI Users's Group Meeting, 2013