Michael Delisi

Publication Activity (10 Years)

Years Active: 2007-2011
Publications (10 Years): 0

Publications

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) (2011)
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)
Anh Vo, Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur
Formal verification of practical MPI programs. PPOPP (2009)
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)
Guodong Li, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby
Formal specification of the MPI-2.0 standard in TLA+. PPOPP (2008)
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)
Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby
Scheduling considerations for building dynamic verification tools for MPI. PADTAD (2008)
Xiaofang Chen, Yu Yang, Michael Delisi, Ganesh Gopalakrishnan, Ching-Tsun Chou
Hierarchical cache coherence protocol verification one level at a time through assume guarantee. HLDVT (2007)
Robert Palmer, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby
An Approach to Formalization and Analysis of Message Passing Libraries. FMICS (2007)