Salman Pervez

According to our database, Salman Pervez authored at least 4 papers between 2006 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Finding latent performance bugs in systems implementations.

Charles Edwin Killian, Karthik Nagaraj, Salman Pervez, Ryan Braud, James W. Anderson, Ranjit Jhala

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

2007

Practical Model-Checking Method for Verifying Correctness of MPI Programs.

Salman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Robert Palmer, Rajeev Thakur, William Gropp

Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 14th European PVM/MPI User's Group Meeting, Paris, France, September 30, 2007

2006

Formal Verification of Programs That Use MPI One-Sided Communication.

Salman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William D. Gropp

Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2006