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]
Abstract is missing.