Formal Verification of Programs That Use MPI One-Sided Communication. - Salman Pervez; Ganesh Gopalakrishnan; Robert M. Kirby; Rajeev Thakur; William D. Gropp (PVM/MPI, 2006)

Practical Model-Checking Method for Verifying Correctness of MPI Programs. - Salman Pervez; Ganesh Gopalakrishnan; Robert M. Kirby; Robert Palmer; Rajeev Thakur; William Gropp (PVM/MPI, 2007)

Finding latent performance bugs in systems implementations. - Charles Killian; Karthik Nagaraj; Salman Pervez; Ryan Braud; James W. Anderson; Ranjit Jhala (SIGSOFT FSE, 2010)

Formal methods applied to high-performance computing software design: a case study of MPI one-sided communication-based locking. - Salman Pervez; Ganesh Gopalakrishnan; Robert M. Kirby; Rajeev Thakur; William Gropp (Softw. Pract. Exp., 2010)