, message Passing Interface Forum. MPI: A Message-Passing Interface Standard, 2012.

E. Saillard, P. Carribault, and D. Barthou, Parcoach: Combining static and dynamic validation of mpi collective communications, The International Journal of High Performance Computing Applications, vol.28, pp.425-434, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01078762

, Static Validation of Barriers and Worksharing Constructs in OpenMP Applications, International Workshop on OpenMP, pp.73-86, 2014.

E. Saillard, H. Brunie, P. Carribault, and D. Barthou, PARCOACH Extension for Hybrid Applications with Interprocedural Analysis, 9th International Workshop on Parallel Tools for High Performance Computing, pp.135-146, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01420655

J. Jaeger, E. Saillard, P. Carribault, and D. Barthou, Correctness Analysis of MPI-3 Non-Blocking Communications in PARCOACH, EuroMPI, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01252321

Y. Lin, Static Nonconcurrency Analysis of OpenMP Programs, pp.36-50, 2008.

, The LLVM Compiler Infrastructure

, MILC, 2016.

V. Springel, The cosmological simulation code gadget-2, Monthly Notices of the Royal Astronomical Society, vol.364, pp.1105-1134, 2005.

A. J. Ropelewski, H. B. Nicholas, J. , and R. R. Gonzalez-mendez, MPIPHYLIP: Parallelizing Computationally Intensive Phylogenetic Analysis Routines for the Analysis of Large Protein Families, PLOS ONE, vol.5, issue.11, pp.1-8, 2010.

&. Coral-amg, High-Performance Linpack benchmark, 2013.

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, 2009.

&. Nersc-ior, , 2016.

&. Benchmark, , 2017.

C. , , 2017.

S. F. Siegel and T. K. Zirkel, Automatic Formal Verification of MPIbased Parallel Programs, Proceedings of the 16th ACM Symposium on Principles and Practice of Parallel Programming, ser. PPoPP '11, pp.309-310, 2011.

P. Ohly and W. Krotz-vogel, Automated MPI Correctness Checking: What if there was a magic option, Proceedings of the 8th LCI International Conference on High-Performance Clustered Computing, 2007.

A. Vo, S. Aananthakrishnan, G. Gopalakrishnan, B. R. Supinski, M. Schulz et al., A Scalable and Distributed Dynamic Formal Verifier for MPI Programs, Proceedings of the 2010

, ACM/IEEE International Conference for High Performance Computing, Networking, Storage and Analysis, ser. SC '10, pp.1-10, 2010.

T. Hilbrich, B. R. De-supinski, F. Hänsel, M. S. Müller, M. Schulz et al., Runtime MPI Collective Checking with Tree-based Overlay Networks, Proceedings of the 20th European MPI Users' Group Meeting, ser. EuroMPI '13, pp.129-134, 2013.

T. Hilbrich, B. R. De-supinski, M. Schulz, and M. S. Müller, A Graph Based Approach for MPI Deadlock Detection, Proceedings of the 23rd International Conference on Supercomputing, ser. ICS '09, pp.296-305, 2009.

D. C. Arnold, D. H. Ahn, B. R. De-supinski, G. L. Lee, B. P. Miller et al., Stack Trace Analysis for Large Scale Debugging, 2007 IEEE International Parallel and Distributed Processing Symposium, pp.1-10, 2007.

J. L. Träff and J. Worringen, Verifying collective MPI calls, PVM/MPI, pp.18-27, 2004.

H. Ma, S. R. Diersen, L. Wang, C. Liao, D. Quinlan et al., Symbolic Analysis of Concurrency Errors in OpenMP Programs, PARCO, ser. ICPP, vol.00, pp.510-516, 2013.

Y. Zhang, E. Duesterwald, and G. R. Gao, Concurrency Analysis for Shared Memory Programs with Textually Unaligned Barriers, pp.95-109, 2008.

, The GNU Compiler Collection

, The Intel Compiler

U. Banerjee, B. Bliss, Z. Ma, and P. Petersen, Unraveling data race detection in the intel thread checker, Int'l. Symp. on Computer Architecture, ser. ISCA, 2008.

C. H. Terboven-;-c, H. M. Bischof, P. Bücker, G. R. Gibbon, and . Joubert, Comparing Intel Thread Checker and Sun Thread Analyzer, PARCO, ser. Advances in Parallel Computing, vol.15, pp.669-676, 2007.

, Intel Inspector XE, 2017.

, Thread Analyzer user guide, 2010.