Sarvani S. Vakkalanka, Grzegorz Szubzda, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur. Static-Analysis Assisted Dynamic Verification of MPI Waitany Programs (Poster Abstract). In Matti Ropo, Jan Westerholm, Jack Dongarra, editors, Recent Advances in Parallel Virtual Machine and Message Passing Interface, 16th European PVM/MPI Users Group Meeting, Espoo, Finland, September 7-10, 2009. Proceedings. Volume 5759 of Lecture Notes in Computer Science, pages 329-330, Springer, 2009. [doi]
Abstract is missing.