 | 2009 |
|---|
| 5 |       | Sarvani S. Vakkalanka,
Anh Vo,
Ganesh Gopalakrishnan,
Robert M. Kirby:
Reduced Execution Semantics of MPI: From Theory to Practice.
FM 2009: 724-740 |
| 4 | | Anh Vo,
Sarvani S. Vakkalanka,
Michael Delisi,
Ganesh Gopalakrishnan,
Robert M. Kirby,
Rajeev Thakur:
Formal verification of practical MPI programs.
PPOPP 2009: 261-270 |
| 3 | | Sriram Aananthakrishnan,
Michael Delisi,
Sarvani S. Vakkalanka,
Anh Vo,
Ganesh Gopalakrishnan,
Robert M. Kirby,
Rajeev Thakur:
How Formal Dynamic Verification Tools Facilitate Novel Concurrency Visualizations.
PVM/MPI 2009: 261-270 |
| 2 | | Anh Vo,
Sarvani S. Vakkalanka,
Jason Williams,
Ganesh Gopalakrishnan,
Robert M. Kirby,
Rajeev Thakur:
Sound and Efficient Dynamic Verification of MPI Programs with Probe Non-determinism.
PVM/MPI 2009: 271-281 |
| 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 |
