Static-Analysis Assisted Dynamic Verification of MPI Waitany Programs (Poster Abstract).

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). 329-330 2009 PVM/MPI http://dx.doi.org/10.1007/978-3-642-03770-2_43 conf/pvm/2009 db/conf/pvm/pvm2009.html#VakkalankaSVGKT09