[Correctness 2018 ]

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 ]

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.

[9th Parallel Tools Workshop] [pdf ]

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.

[EuroPar’15 ] [pdf ]

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.

[PPoPP’15 ] [pdf ]

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 ]

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.

[IWOMP’14 ] [pdf ]

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 ]

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.

[EuroMPI’13 ] [pdf ]

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.

[PhD Thesis ]

Static/Dynamic Analyses for Validation and Improvements of Multi-Model HPC Applications.