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]
@inproceedings{VakkalankaSVGKT09,
title = {Static-Analysis Assisted Dynamic Verification of MPI Waitany Programs (Poster Abstract)},
author = {Sarvani S. Vakkalanka and Grzegorz Szubzda and Anh Vo and Ganesh Gopalakrishnan and Robert M. Kirby and Rajeev Thakur},
year = {2009},
doi = {10.1007/978-3-642-03770-2_43},
url = {http://dx.doi.org/10.1007/978-3-642-03770-2_43},
tags = {program analysis, program verification, analysis, static analysis},
researchr = {https://researchr.org/publication/VakkalankaSVGKT09},
cites = {0},
citedby = {0},
pages = {329-330},
booktitle = {Recent Advances in Parallel Virtual Machine and Message Passing Interface, 16th European PVM/MPI Users Group Meeting, Espoo, Finland, September 7-10, 2009. Proceedings},
editor = {Matti Ropo and Jan Westerholm and Jack Dongarra},
volume = {5759},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-03769-6},
}