J. M. Bull, J. P. Enright, X. Guo, C. Maynard, and F. Reid, Performance Evaluation of Mixed-Mode OpenMP/MPI Implementations, International Journal of Parallel Programming, vol.9, issue.2???3, pp.5-6, 2010.
DOI : 10.1007/s10766-010-0137-2

T. Hilbrich, M. S. Müller, and B. Krammer, Detection of Violations to the MPI Standard in Hybrid OpenMP/MPI Applications, Intl. Conf. on OpenMP in a New Era of Parallelism, pp.26-35, 2008.
DOI : 10.1007/978-3-540-79561-2_3

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, pp.1-16, 2015.
DOI : 10.1145/2802658.2802674
URL : https://hal.archives-ouvertes.fr/hal-01252321

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

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

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.5, issue.2, 2014.
DOI : 10.1177/1094342014552204
URL : https://hal.archives-ouvertes.fr/hal-01078762

E. Saillard, P. Carribault, and D. Barthou, Static Validation of Barriers and Worksharing Constructs in OpenMP Applications, International Workshop on OpenMP, pp.73-86, 2014.
DOI : 10.1007/978-3-319-11454-5_6
URL : https://hal.archives-ouvertes.fr/hal-01078759

E. Saillard, P. Carribault, and D. Barthou, MPI Thread-Level Checking for MPI+OpenMP Applications, p.EuroPar, 2015.
DOI : 10.1007/978-3-662-48096-0_3
URL : https://hal.archives-ouvertes.fr/hal-01199718

E. Saillard, P. Carribault, and D. Barthou, Static/Dynamic Validation of MPI Collective Communications in Multi-threaded Context, Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp.279-280, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01253204