 | 2011 |
|---|
| 8 |       | Guodong Li,
Robert Palmer,
Michael Delisi,
Ganesh Gopalakrishnan,
Robert M. Kirby:
Formal specification of MPI 2.0: Case study in specifying a practical concurrent programming API.
Sci. Comput. Program. 76(2): 65-81 (2011) |
| 2009 |
|---|
| 7 | | Ganesh Gopalakrishnan,
Yu Yang,
Sarvani S. Vakkalanka,
Anh Vo,
Sriram Aananthakrishnan,
Grzegorz Szubzda,
Geoffrey Sawaya,
Jason Williams,
Subodh Sharma,
Michael Delisi,
Simone Atzeni:
Some resources for teaching concurrency.
PADTAD 2009 |
| 6 | | Anh Vo,
Sarvani S. Vakkalanka,
Michael Delisi,
Ganesh Gopalakrishnan,
Robert M. Kirby,
Rajeev Thakur:
Formal verification of practical MPI programs.
PPOPP 2009: 261-270 |
| 5 | | 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 |
| 2008 |
|---|
| 4 | | Sarvani S. Vakkalanka,
Michael Delisi,
Ganesh Gopalakrishnan,
Robert M. Kirby:
Scheduling considerations for building dynamic verification tools for MPI.
PADTAD 2008: 3 |
| 3 | | Guodong Li,
Michael Delisi,
Ganesh Gopalakrishnan,
Robert M. Kirby:
Formal specification of the MPI-2.0 standard in TLA+.
PPOPP 2008: 283-284 |
| 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 |
| 2007 |
|---|
| 1 | | Robert Palmer,
Michael Delisi,
Ganesh Gopalakrishnan,
Robert M. Kirby:
An Approach to Formalization and Analysis of Message Passing Libraries.
FMICS 2007: 164-181 |
Data released under the ODC-BY 1.0 license — See also our legal information page