The following publications are possibly variants of this publication:
- A Scalable and Distributed Dynamic Formal Verifier for MPI ProgramsAnh Vo, Sriram Aananthakrishnan, Ganesh Gopalakrishnan, Bronis R. de Supinski, Martin Schulz, Greg Bronevetsky. sc 2010: 1-10 [doi]
- Formal verification of practical MPI programsAnh Vo, Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur. ppopp 2009: 261-270 [doi]
- Practical Formal Verification of MPI and Thread ProgramsGanesh Gopalakrishnan, Robert M. Kirby. pvm 2009: 8 [doi]
- Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed OrderingsSarvani S. Vakkalanka, Ganesh Gopalakrishnan, Robert M. Kirby. cav 2008: 66-79 [doi]
- Implementing Efficient Dynamic Formal Verification Methods for MPI ProgramsSarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William Gropp. pvm 2008: 248-256 [doi]
- Formal Verification of Programs That Use MPI One-Sided CommunicationSalman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William D. Gropp. pvm 2006: 30-39 [doi]
- Sound and Efficient Dynamic Verification of MPI Programs with Probe Non-determinismAnh Vo, Sarvani S. Vakkalanka, Jason Williams, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur. pvm 2009: 271-281 [doi]
- Static-Analysis Assisted Dynamic Verification of MPI Waitany Programs (Poster Abstract)Sarvani S. Vakkalanka, Grzegorz Szubzda, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur. pvm 2009: 329-330 [doi]