Michael Delisi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2007–2009
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | ISSTA | Some resources for teaching concurrency. | Ganesh Gopalakrishnan, Yu Yang, Sarvani S. Vakkalanka, Anh Vo, Sriram Aananthakrishnan, Grzegorz Szubzda, Geoffrey Sawaya, Jason Williams, Subodh Sharma, Michael Delisi, Simone Atzeni |
| 2009 | PPoPP | Formal verification of practical MPI programs. | Anh Vo, Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur |
| 2008 | ISSTA | Scheduling considerations for building dynamic verification tools for MPI. | Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby |
| 2008 | PPoPP | Formal specification of the MPI-2.0 standard in TLA+. | Guodong Li, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby |
| 2007 | FMICS | An Approach to Formalization and Analysis of Message Passing Libraries. | Robert Palmer, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby |