MPI on a Million Processors, pp.20-30, 2009. ,
DOI : 10.1007/978-3-642-03770-2_9
Efficiently computing static single assignment form and the control dependence graph, ACM TOPLAS, pp.13451-490, 1991. ,
DOI : 10.1145/115372.115320
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
Collective Error Detection for MPI Collective Operations, pp.138-147 ,
DOI : 10.1007/11557265_21
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
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
MPI runtime error detection with MUST: advances in deadlock detection, Supercomputing, pp.1-3011, 2012. ,
MUST: A Scalable Approach to Runtime Error Detection in MPI Programs, 2010. ,
DOI : 10.1007/978-3-642-11261-4_5
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
MARMOT: An MPI analysis and checking tool, PARCO, pp.493-500, 2003. ,
DOI : 10.1016/S0927-5452(04)80063-7
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
GENERIC and GIMPLE: A new tree representation for entire functions, GCC summit, 2003. ,
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
A survey of MPI related debuggers and tools, 2007. ,
Automatic formal verification of MPI based parallel programs, PPoPP, pp.309-310, 2011. ,
Verifying Parallel Programs with MPI-Spin, PVM/MPI, pp.13-14, 2007. ,
DOI : 10.1007/978-3-540-75416-9_8
Verifying Collective MPI Calls, pp.18-27, 2004. ,
DOI : 10.1007/978-3-540-30218-6_11
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 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
Hight-order dimensionally split lagrange-remap schemes for ideal magnetohydrodynamics, Discrete and Continuous Dynamical Systems Series S. NMCF, 2009. ,