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, PVM/MPI, pp.138-147, 2005. ,
DOI : 10.1007/11557265_21
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
MARMOT: An MPI analysis and checking tool, PARCO, pp.493-500, 2003. ,
DOI : 10.1016/S0927-5452(04)80063-7
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.88.1372
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
A survey of MPI related debuggers and tools, 2007. ,
Automatic formal verification of MPI based parallel programs, PPoPP, pp.309-310, 2011. ,
Verifying Collective MPI Calls, PVM/MPI, 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. ,