Static-Analysis Assisted Dynamic Verification of MPI Waitany Programs (Poster Abstract) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Sarvani S. Vakkalanka' in GoogleThis author has not been identified. Look up 'Grzegorz Szubzda' in GoogleThis author has not been identified. Look up 'Anh Vo' in GoogleThis author has not been identified. Look up 'Ganesh Gopalakrishnan' in GoogleThis author has not been identified. Look up 'Robert M. Kirby' in GoogleThis author has not been identified. Look up 'Rajeev Thakur' in Google

runs on WebDSL