| 2009 |
|---|
| 5 | EE | Anh Vo,
Sarvani S. Vakkalanka,
Michael Delisi,
Ganesh Gopalakrishnan,
Robert M. Kirby,
Rajeev Thakur:
Formal verification of practical MPI programs.
PPOPP 2009: 261-270 |
| 2008 |
|---|
| 4 | EE | Sarvani S. Vakkalanka,
Michael Delisi,
Ganesh Gopalakrishnan,
Robert M. Kirby:
Scheduling considerations for building dynamic verification tools for MPI.
PADTAD 2008: 3 |
| 3 | EE | Guodong Li,
Michael Delisi,
Ganesh Gopalakrishnan,
Robert M. Kirby:
Formal specification of the MPI-2.0 standard in TLA+.
PPOPP 2008: 283-284 |
| 2 | EE | 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 |
| 2007 |
|---|
| 1 | EE | Robert Palmer,
Michael Delisi,
Ganesh Gopalakrishnan,
Robert M. Kirby:
An Approach to Formalization and Analysis of Message Passing Libraries.
FMICS 2007: 164-181 |
