 | 2009 |
|---|
| 10 |       | Sarvani S. Vakkalanka,
Anh Vo,
Ganesh Gopalakrishnan,
Robert M. Kirby:
Reduced Execution Semantics of MPI: From Theory to Practice.
FM 2009: 724-740 |
| 9 | | Anh Vo,
Sarvani S. Vakkalanka,
Michael Delisi,
Ganesh Gopalakrishnan,
Robert M. Kirby,
Rajeev Thakur:
Formal verification of practical MPI programs.
PPOPP 2009: 261-270 |
| 8 | | 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 |
| 7 | | 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 |
| 6 | | 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 |
| 2008 |
|---|
| 5 | | Sarvani S. Vakkalanka,
Ganesh Gopalakrishnan,
Robert M. Kirby:
Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings.
CAV 2008: 66-79 |
| 4 | | Sarvani S. Vakkalanka,
Michael Delisi,
Ganesh Gopalakrishnan,
Robert M. Kirby:
Scheduling considerations for building dynamic verification tools for MPI.
PADTAD 2008: 3 |
| 3 | | Sarvani S. Vakkalanka,
Subodh Sharma,
Ganesh Gopalakrishnan,
Robert M. Kirby:
ISP: a tool for model checking MPI programs.
PPOPP 2008: 285-286 |
| 2 | | Sarvani S. Vakkalanka,
Michael Delisi,
Ganesh Gopalakrishnan,
Robert M. Kirby,
Rajeev Thakur,
William Gropp:
Implementing Efficient Dynamic Formal Verification Methods for MPI Programs.
PVM/MPI 2008: 248-256 |
| 1 | | Subodh Sharma,
Sarvani S. Vakkalanka,
Ganesh Gopalakrishnan,
Robert M. Kirby,
Rajeev Thakur,
William Gropp:
A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs.
PVM/MPI 2008: 265-273 |
