| 2009 | ||
|---|---|---|
| 1 | 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). PVM/MPI 2009: 329-330 | |
| 1 | Ganesh Gopalakrishnan | [1] |
| 2 | Robert M. Kirby (Mike Kirby) | [1] |
| 3 | Rajeev Thakur | [1] |
| 4 | Sarvani S. Vakkalanka | [1] |
| 5 | Anh Vo | [1] |