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. A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs. In Alexey L. Lastovetsky, Tahar Kechadi, Jack Dongarra, editors, Recent Advances in Parallel Virtual Machine and Message Passing Interface, 15th European PVM/MPI Users Group Meeting, Dublin, Ireland, September 7-10, 2008. Proceedings. Volume 5205 of Lecture Notes in Computer Science, pages 265-273, Springer, 2008. [doi]

Authors

Subodh Sharma

This author has not been identified. Look up 'Subodh Sharma' in Google

Sarvani S. Vakkalanka

This author has not been identified. Look up 'Sarvani S. Vakkalanka' in Google

Ganesh Gopalakrishnan

This author has not been identified. Look up 'Ganesh Gopalakrishnan' in Google

Robert M. Kirby

This author has not been identified. Look up 'Robert M. Kirby' in Google

Rajeev Thakur

This author has not been identified. Look up 'Rajeev Thakur' in Google

William Gropp

This author has not been identified. Look up 'William Gropp' in Google