J. Jaeger, E. Saillard, P. Carribault, and D. Barthou, Correctness Analysis of MPI-3 Non-Blocking Communications in PARCOACH, Proceedings of the 22nd European MPI Users' Group Meeting on ZZZ - EuroMPI '15, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01252321

M. European and . Users, Proceedings of the 22nd European MPI Users' Group Meeting on ZZZ - EuroMPI '15, Group Meeting, 2015.

P. Huchant, E. Saillard, D. Barthou, H. Brunie, and P. Carribault, PARCOACH Extension for a Full-Interprocedural Collectives Verification, 2018 IEEE/ACM 2nd International Workshop on Software Correctness for HPC Applications (Correctness), pp.69-76, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01937316

P. Huchant, E. Saillard, D. Barthou, and P. Carribault, Multi-valued Expression Analysis for Collective Checking, Lecture Notes in Computer Science, pp.29-43, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02390025

M. P. Forum, MPI, Proceedings of the 1993 ACM/IEEE conference on Supercomputing - Supercomputing '93, 1993.

T. Hilbrich, J. Protze, M. Schulz, B. R. De-supinski, and M. S. Müller, MPI Runtime Error Detection with MUST: Advances in Deadlock Detection, Scientific Programming, vol.21, issue.3-4, pp.109-121, 2013.

F. Ye, J. Zhao, and V. Sarkar, Detecting MPI Usage Anomalies via Partial Program Symbolic Execution, SC18: International Conference for High Performance Computing, Networking, Storage and Analysis, 2018.

A. Vo, S. Aananthakrishnan, G. Gopalakrishnan, B. R. Supinski, M. Schulz et al., A Scalable and Distributed Dynamic Formal Verifier for MPI Programs, 2010 ACM/IEEE International Conference for High Performance Computing, Networking, Storage and Analysis, pp.1-10, 2010.

A. Pham, T. Jéron, and M. Quinson, Verifying MPI Applications with SimGridMC, Proceedings of the First International Workshop on Software Correctness for HPC Applications - Correctness'17, pp.28-33, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01632421

A. Droste, M. Kuhn, and T. Ludwig, MPI-checker, Proceedings of the Second Workshop on the LLVM Compiler Infrastructure in HPC - LLVM '15, pp.1-10, 2015.

Z. Luo, M. Zheng, and S. F. Siegel, Verification of MPI programs using CIVL, Proceedings of the 24th European MPI Users' Group Meeting on - EuroMPI '17, 2017.

H. Yu, Combining symbolic execution and model checking to verify MPI programs, Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, pp.527-530, 2018.

H. Yu, Z. Chen, X. Fu, J. Wang, Z. Su et al., Symbolic verification of message passing interface programs, Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering, 2020.

R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman, and F. K. Zadeck, An efficient method of computing static single assignment form, Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '89, pp.25-35, 1989.

R. Gupta, Generalized dominators and post-dominators, Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '92, pp.246-257, 1992.

V. C. Sreedhar, G. R. Gao, and Y. Lee, A new framework for exhaustive and incremental data flow analysis using DJ graphs, ACM SIGPLAN Notices, vol.31, issue.5, pp.278-290, 1996.

M. A. Heroux, D. W. Doerfler, P. S. Crozier, J. M. Willenbring, H. C. Edwards et al., Improving Performance via Mini-Applications, Sandia National Laboratories, Tech. Rep. SAND2009-5574, vol.3, 2009.

I. Karlin, J. Keasler, and J. Neely, LLNL line-item construction projects Master Site Plan, Lawrence Livermore National Lab.(LLNL), 1996.

S. Plimpton, Fast Parallel Algorithms for Short-Range Molecular Dynamics, Journal of Computational Physics, vol.117, issue.1, pp.1-19, 1995.

V. M. Nguyen, E. Saillard, J. Jaeger, D. Barthou, and P. Carribault, Automatic Code Motion to Extend MPI Nonblocking Overlap Window, Lecture Notes in Computer Science, pp.43-54, 2020.
URL : https://hal.archives-ouvertes.fr/cea-03010533