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

• 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

• 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