A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs

Subodh Sharma, Sarvani S. Vakkalanka, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William Gropp
September, 2008
PDF Cite
Type
Conference paper
Publication
In the Proceedings of Recent Advances in Parallel Virtual Machine and Message Passing Interface, 15th European PVM/MPI Users’ Group Meeting, Dublin, Ireland, September 7-10, 2008.
MPI runtime verification