Publications
[1] 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.
[2] 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.
[3] Hugo Brunie, Costin Iancu, Khaled Z. Ibrahim, Philip Brisk and Brandon Cook.Tuning Floating-Point Precision Using Dynamic Program Information and Temporal Locality, Supercomputing 2020
[4] Célia Tassadit Aitkaci, Marc Sergent, Emmanuelle Saillard, Denis Barthou and Guillaume Papaure, “Dynamic Data Race Detection for MPI-RMA Programs”, EuroMPI 2021
[5] Emmanuelle Saillard, Marc Sergent, Célia Tassadit Ait Kaci, Denis Barthou, “Static Local Concurrency Errors Detection in MPI-RMA Programs”, Correctness 2022.
