| |
| 2008 | ||
|---|---|---|
| 2 | EE | Sarvani S. Vakkalanka, Subodh Sharma, Ganesh Gopalakrishnan, Robert M. Kirby: ISP: a tool for model checking MPI programs. PPOPP 2008: 285-286 |
| 1 | EE | 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 |
| 1 | Ganesh Gopalakrishnan | [1] [2] |
| 2 | William Gropp (William D. Gropp, Bill Gropp) | [1] |
| 3 | Robert M. Kirby (Mike Kirby) | [1] [2] |
| 4 | Rajeev Thakur | [1] |
| 5 | Sarvani S. Vakkalanka | [1] [2] |