Dynamic verification of hybrid programs

Authors:
Wei-Fan Chiang;Grzegorz Szubzda;Ganesh Gopalakrishnan;Rajeev Thakur
Affiliations:
School of Computing, Univ. of Utah, Salt Lake City, UT;School of Computing, Univ. of Utah, Salt Lake City, UT;School of Computing, Univ. of Utah, Salt Lake City, UT;Math. and Comp. Sci. Div., Argonne Nat. Lab., Argonne, IL
Venue:
EuroMPI'10 Proceedings of the 17th European MPI users' group meeting conference on Recent advances in the message passing interface
Year:
2010

Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings

CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
Formal verification of practical MPI programs

Proceedings of the 14th ACM SIGPLAN symposium on Principles and practice of parallel programming
ODR: output-deterministic replay for multicore debugging

Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles
Efficient dynamic verification algorithms for mpi applications

Efficient dynamic verification algorithms for mpi applications

Overcoming extreme-scale reproducibility challenges through a unified, targeted, and multilevel toolset

SE-HPCCSE '13 Proceedings of the 1st International Workshop on Software Engineering for High Performance Computing in Computational Science and Engineering

Hi-index	0.00