PARCOACH Extension for Static MPI Nonblocking and Persistent Communication Validation. - Van Man Nguyen; Emmanuelle Saillard; Julien Jaeger; Denis Barthou; Patrick Carribault (CORRECTNESS@SC, 2020)

Automatic Code Motion to Extend MPI Nonblocking Overlap Window. - Van Man Nguyen; Emmanuelle Saillard; Julien Jaeger; Denis Barthou; Patrick Carribault (ISC Workshops, 2020)

MPI detach - Towards automatic asynchronous local completion. - Joachim Protze; Marc-André Hermanns; Matthias S. Müller; Van Man Nguyen; Julien Jaeger; Emmanuelle Saillard; Patrick Carribault; Denis Barthou (Parallel Comput., 2022)

Compile-time Validation and Optimization of MPI Nonblocking Communications. (Vérification et optimisation à la compilation des communications MPI non-bloquantes). - Van Man Nguyen (2022)

Rethinking Data Race Detection in MPI-RMA Programs. - Radjasouria Vinayagame; Emmanuelle Saillard; Samuel Thibault; Van Man Nguyen; Marc Sergent (SC Workshops, 2023)

Static-Dynamic Analysis for Performance and Accuracy of Data Race Detection in MPI One-Sided Programs. - Radjasouria Vinayagame; Van Man Nguyen; Marc Sergent; Samuel Thibault; Emmanuelle Saillard (ISC Workshops, 2024)