Publications
2024
C10. Jad El Karchi, Hanze Chen, Ali Tehrani, Ali Jannesari, Mihail Popov, and Emmanuelle Saillard, “MPI Errors Detection using GNN Embedding and Vector Embedding over LLVM IR”, IPDPS 2024. TO APPEAR
2023
[HPC Bugs Fest 2023] [pdf ]
W10. Philippe Virouleau, Emmanuelle Saillard, Marc Sergent, and Pierre Lemarinier, “Highlighting PARCOACH Improvements on MBI”, HPC Bugs Fest 2023. In Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis (SC-W 2023), November 12–17, 2023, Denver, CO, USA.
[Correctness 2023] [pdf ]
W9. Radjasouria Vinayagame, Van Man Nguyen, Marc Sergent, Samuel Thibault, and Emmanuelle Saillard, “ Rethinking Data Race Detection in MPI-RMA Programs”, Correctness 2023. In Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis (SC-W 2023), November 12–17, 2023, Denver, CO, USA.
J3. Mihail Popov, Lana Scravaglieri, 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”, JPDC, 2023.
2022
[Correctness 2022] [pdf ]
W8. Emmanuelle Saillard, Marc Sergent, Celia Tassadit Ait Kaci, Denis Barthou, “Static Local Concurrency Errors Detection in MPI-RMA Programs”, Correctness 2022 - Sixth International Workshop on Software Correctness for HPC Applications, Nov 2022, Dallas, United States.
C9. 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”
[IPDPS 2022] [pdf ]
C8. Ali Tehrani, Mihail Popov, Akash Dutta, Emmanuelle Saillard, et Ali Jannesari, “Learning Intermediate Representations using Graph Neural Networks for NUMA and Prefetchers Optimization.”, in 2022 IEEE International Parallel and Distributed Processing Symposium (IPDPS), Lyon, France, 2022 pp. 1206-1216.
W7. Charly Castes, Emmanuel Agullo, Olivier Aumage, and Emmanuelle Saillard, “Decentralized in-order execution of a sequential task-based code for shared-memory architectures”, HIPS 2022.
J2. Protze, Joachim; Hermanns, Marc-André; Müller, Matthias S.; Nguyen, Van Man; Jaeger, Julien; Saillard, Emmanuelle; Carribault, Patrick; Barthou, Denis, “MPI detach — Towards automatic asynchronous local completion”, Parallel Computing, Volume 109, 2022
2021
C7. Tassadit Aitkaci, Marc Sergent, Emmanuelle Saillard, Denis Barthou and Guillaume Papaure, “Dynamic Data Race Detection for MPI-RMA Programs”, EuroMPI 2021.
[Correctness 2021] [pdf ]
W6. Mathieu Laurent, Emmanuelle Saillard, Martin Quinson, “The MPI BUGS INITIATIVE: a Framework for MPI Verification Tools Evaluation”, Correctness 2021.
2020
[Correctness 2020] [pdf ]
W5. Van Man Nguyen, Emmanuelle Saillard, Julien Jaeger, Denis Barthou and Patrick Carribault, “PARCOACH Extension for Static MPI Nonblocking and Persistent Communication Validation”, Correctness 2020: Fourth International Workshop on Software Correctness for HPC Applications, Nov 2020, Atlanta / Virtual, United States, 2020.
W4. Van Man Nguyen, Emmanuelle Saillard, Julien Jaeger, Denis Barthou and Patrick Carribault, “Automatic Code Motion to Extend MPI Nonblocking Overlap Window”, C3PO’20 Workshop - First Workshop on Compiler-Assisted Correctness Checking and Performance Optimization for HPC, Jun 2020, Frankfurt / Virtual, Germany. pp.43-54, 2020.
C6. Potse M, Saillard E, Barthou D, and Coudière Y. “Feasibility of whole-heart electrophysiological models with near-cellular resolution.” Computing in Cardiology, 2020 (supported by TGCC)
2019
[EuroPar 2019 ] [pdf ]
C5. Pierre Huchant, Emmanuelle Saillard, Denis Barthou and Patrick Carribault, “Multi-Valued Expression Analysis for Collective Checking” in EuroPar, Aug 2019, Göttingen, Germany, pp. 29–43, 2019.
2018
[Correctness 2018 ] [pdf ]
W3. Pierre Huchant, Emmanuelle Saillard, Denis Barthou, Hugo Brunie and Patrick Carribault, “PARCOACH Extension for a Full-Interprocedural Collectives Verification” in Second International Workshop on Software Correctness for HPC Applications, Dallas, Texas, USA, November 12, 2018.
[HPCAsia’18 ] [pdf ]
C4. Emmanuelle Saillard and Koushik Sen and Wim Lavrijsen and Costin Iancu, “Maximizing Communication Overlap with Dynamic Program Analysis”, in Proceedings of the International Conference on High Performance Computing in Asia-Pacific Region, HPC Asia 2018, Chiyoda, Tokyo, Japan, January 28-31, 2018, pages 1–11, 2018. Best Paper Finalist.
2016
[9th Parallel Tools Workshop] [pdf ]
W2. Emmanuelle Saillard, Hugo Brunie, Patrick Carribault, Denis Barthou. PARCOACH Extension for Hybrid Applications with Interprocedural Analysis. 9th International Workshop on Parallel Tools for High Performance Computing, Sep 2015, Dresden, Germany. pp.135 - 146, 2016. Invited paper.
2015
[PhD Thesis ]
Static/Dynamic Analyses for Validation and Improvements of Multi-Model HPC Applications.
[EuroPar’15 ] [pdf ]
C3. Emmanuelle Saillard, Patrick Carribault, Denis Barthou. MPI Thread-Level Checking for MPI+OpenMP Applications. Euro-Par 2015, Aug 2015, Vienne, Austria. 9233, pp.31-42, 2015.
P1. Emmanuelle Saillard, Patrick Carribault, Denis Barthou. Static/Dynamic Validation of MPI Collective Communications in Multi-threaded Context. the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Feb 2015, San Francisco, United States. Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 50, pp.279-280. Poster session.
[EuroMPI’15 ] [pdf ]
C2. Julien Jaeger, Emmanuelle Saillard, Patrick Carribault, Denis Barthou. Correctness Analysis of MPI-3 Non-Blocking Communications in PARCOACH. European MPI Users’Group Meeting, Sep 2015, Bordeaux, France. EuroMPI’15 The 22nd European MPI Users’Group Meeting.
2014
W1. Emmanuelle Saillard, Patrick Carribault, Denis Barthou. Static Validation of Barriers and Worksharing Constructs in OpenMP Applications. IWOMP, Sep 2014, Salvador, Brazil. pp.73 - 86, 2014.
[IJHPCA 2014 ] [pdf ]
J1. Emmanuelle Saillard, Patrick Carribault, Denis Barthou. PARCOACH: Combining static and dynamic validation of MPI collective communications. International Journal of High Performance Computing Applications, SAGE Publications, 2014.
2013
[EuroMPI’13 ] [pdf ]
C1. Emmanuelle Saillard, Patrick Carribault, Denis Barthou. Combining Static and Dynamic Validation of MPI Collective Communication. EuroMPI 2013, Sep 2013, Madrid, Spain. pp.117-122, 2013.