Related publications

Journal articles

• PARCOACH: Combining static and dynamic validation of MPI collective communications, Emmanuelle Saillard, Patrick Carribault, and Denis Barthou, Intl. Journal on High Performance Computing Applications (IJHPCA), 28(4):425-434, 2014.  

Conference articles

• Dynamic Data Race Detection for MPI-RMA Programs, Tassadit Aitkaci, Marc Sergent, Emmanuelle Saillard, Denis Barthou and Guillaume Papaure, EuroMPI 2021.

• Multi-Valued Expression Analysis for Collective Checking, Pierre Huchant, Emmanuelle Saillard, Denis Barthou, and Patrick Carribault, European Conference on Parallel Processing (EuroPar), pages 29-43, 2019.  

• Combining Static and Dynamic Validation of MPI Collective Communications, Emmanuelle Saillard, Patrick Carribault, and Denis Barthou, Proceedings of the European MPI User’s Group Meeting (EuroMPI), pages 117-122, 2013.  

• MPI Thread-Level Checking for MPI+OpenMP Applications, Emmanuelle Saillard, Patrick Carribault, and Denis Barthou, European Conference on Parallel Processing (EuroPar), pages 31-42, 2015.  

Workshop articles

• Static Local Concurrency Errors Detection in MPI-RMA Programs, Emmanuelle Saillard, Marc Sergent, Celia Tassadit Ait Kaci, Denis Barthou, Correctness 2022 - Sixth International Workshop on Software Correctness for HPC Applications, 2022.  

• PARCOACH Extension for Static MPI Nonblocking and Persistent Communication Validation, Van Man Nguyen, Emmanuelle Saillard, Julien Jaeger, Denis Barthou and Patrick Carribault, In Fourth International Workshop on Software Correctness for HPC Applications, 2020.  

• PARCOACH Extension for a Full-Interprocedural Collectives Verification, Pierre Huchant, Emmanuelle Saillard, Denis Barthou, Hugo Brunie and Patrick Carribault, In Second International Workshop on Software Correctness for HPC Applications, Dallas, Texas, USA, November 12, 2018.  

• Static Validation of Barriers and Worksharing Constructs in OpenMP Applications, Emmanuelle Saillard, Patrick Carribault, and Denis Barthou, Proc. IntL. Workshop on OpenMP (IWOMP), volume 8766 of Lect. Notes in Computer Science, pages 73-86, 2014.  

• PARCOACH extension for Hybrid Applications with Interprocedural Analysis, Emmanuelle Saillard, Hugo Brunie, Patrick Carribault, and Denis Barthou, In Tools for High Performance Computing 2015: Proceedings of the 9th International Workshop on Parallel Tools for High Performance Computing, pages 135-146, 2016.  

Posters

• Static/Dynamic Validation of MPI Collective Communications in Multi-threaded Context, Emmanuelle Saillard, Patrick Carribault, and Denis Barthou, Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), pages 279-280, 2015

• Correctness Analysis of MPI-3 Non-Blocking Communications in PARCOACH, Julien Jaeger, Emmanuelle Saillard, Patrick Carribault, and Denis Barthou, Proceedings of the European MPI Users’ Group Meeting (EuroMPI), pages 16:1-16:2, 2015