Sound and Efficient Dynamic Verification of MPI Programs with Probe Non-determinism.

Anh Vo Sarvani S. Vakkalanka Jason Williams Ganesh Gopalakrishnan Robert M. Kirby Rajeev Thakur Sound and Efficient Dynamic Verification of MPI Programs with Probe Non-determinism. 271-281 2009 PVM/MPI http://dx.doi.org/10.1007/978-3-642-03770-2_33 conf/pvm/2009 db/conf/pvm/pvm2009.html#VoVWGKT09