Salman Pervez

Publication Activity (10 Years)

Years Active: 2006-2010
Publications (10 Years): 0

Publications

Charles Edwin Killian, Karthik Nagaraj, Salman Pervez, Ryan Braud, James W. Anderson, Ranjit Jhala
Finding latent performance bugs in systems implementations. SIGSOFT FSE (2010)
Salman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William Gropp
Formal methods applied to high-performance computing software design: a case study of MPI one-sided communication-based locking. Softw. Pract. Exp. 40 (1) (2010)
Salman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Robert Palmer, Rajeev Thakur, William Gropp
Practical Model-Checking Method for Verifying Correctness of MPI Programs. PVM/MPI (2007)
Salman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William D. Gropp
Formal Verification of Programs That Use MPI One-Sided Communication. PVM/MPI (2006)