P. Balaji, D. Buntinas, D. Goodell, W. Gropp, S. Kumar et al., MPI on a Million Processors, pp.20-30, 2009.
DOI : 10.1007/978-3-642-03770-2_9

R. Cytron, J. Ferrante, B. Rosen, M. Wegman, and F. Zadeck, Efficiently computing static single assignment form and the control dependence graph, ACM TOPLAS, pp.13451-490, 1991.
DOI : 10.1145/115372.115320

J. Desouza, B. Kuhn, B. R. De-supinski, V. Samofalov, S. Zheltov et al., Automated, scalable debugging of MPI programs with Intel?? Message Checker, Proceedings of the second international workshop on Software engineering for high performance computing system applications , SE-HPCS '05, pp.78-82, 2005.
DOI : 10.1145/1145319.1145342

C. Falzone, A. Chan, E. Lusk, and W. Gropp, Collective Error Detection for MPI Collective Operations, pp.138-147
DOI : 10.1007/11557265_21

C. Falzone, A. Chan, E. Lusk, and W. Gropp, A Portable Method for Finding User Errors in the Usage of MPI Collective Operations, International Journal of High Performance Computing Applications, vol.21, issue.2, 2007.
DOI : 10.1177/1094342007077860

T. Hilbrich, F. Hänsel, M. Schulz, B. R. De-supinski, M. S. Müller et al., Runtime MPI collective checking with tree-based overlay networks, Proceedings of the 20th European MPI Users' Group Meeting on, EuroMPI '13, pp.117-122, 2013.
DOI : 10.1145/2488551.2488570

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, Supercomputing, pp.1-3011, 2012.

T. Hilbrich, M. Schulz, B. De-supinski, and M. Müller, MUST: A Scalable Approach to Runtime Error Detection in MPI Programs, 2010.
DOI : 10.1007/978-3-642-11261-4_5

H. Jourdren, HERA: A Hydrodynamic AMR Platform for Multi-Physics Simulations, Adaptive Mesh Refinement -Theory and Application, pp.283-294, 2005.
DOI : 10.1007/3-540-27039-6_19

B. Krammer, K. Bidmon, M. S. Müller, and M. M. Resch, MARMOT: An MPI analysis and checking tool, PARCO, pp.493-500, 2003.
DOI : 10.1016/S0927-5452(04)80063-7

G. Luecke, H. Chen, J. Coyle, J. Hoekstra, M. Kraeva et al., MPI-CHECK: a tool for checking Fortran 90 MPI programs, Concurrency and Computation: Practice and Experience, pp.1593-100, 2003.
DOI : 10.1002/cpe.705

J. Merrill, GENERIC and GIMPLE: A new tree representation for entire functions, GCC summit, 2003.

E. Saillard, P. Carribault, and D. Barthou, Combining static and dynamic validation of MPI collective communications, Proceedings of the 20th European MPI Users' Group Meeting on, EuroMPI '13, pp.117-122, 2013.
DOI : 10.1145/2488551.2488555

URL : https://hal.archives-ouvertes.fr/hal-01078762

S. Sharma, G. Gopalakrishnan, and R. M. Kirby, A survey of MPI related debuggers and tools, 2007.

S. Siegel and T. Zirkel, Automatic formal verification of MPI based parallel programs, PPoPP, pp.309-310, 2011.

S. F. Siegel, Verifying Parallel Programs with MPI-Spin, PVM/MPI, pp.13-14, 2007.
DOI : 10.1007/978-3-540-75416-9_8

J. L. Träff and J. Worringen, Verifying Collective MPI Calls, pp.18-27, 2004.
DOI : 10.1007/978-3-540-30218-6_11

J. S. Vetter and B. R. De-supinski, Dynamic Software Testing of MPI Applications with Umpire, ACM/IEEE SC 2000 Conference (SC'00), pp.51-51, 2000.
DOI : 10.1109/SC.2000.10055

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.
DOI : 10.1109/SC.2010.7

M. Wolff, S. Jaouen, and H. Jourdren, Hight-order dimensionally split lagrange-remap schemes for ideal magnetohydrodynamics, Discrete and Continuous Dynamical Systems Series S. NMCF, 2009.