An Approach to Formalization and Analysis of Message Passing Libraries. - Robert Palmer; Michael Delisi; Ganesh Gopalakrishnan; Robert M. Kirby (FMICS, 2007)

Hierarchical cache coherence protocol verification one level at a time through assume guarantee. - Xiaofang Chen; Yu Yang 013; Michael Delisi; Ganesh Gopalakrishnan; Ching-Tsun Chou (HLDVT, 2007)

Scheduling considerations for building dynamic verification tools for MPI. - Sarvani S. Vakkalanka; Michael Delisi; Ganesh Gopalakrishnan; Robert M. Kirby (PADTAD, 2008)

Formal specification of the MPI-2.0 standard in TLA+. - Guodong Li; Michael Delisi; Ganesh Gopalakrishnan; Robert M. Kirby (PPoPP, 2008)

Implementing Efficient Dynamic Formal Verification Methods for MPI Programs. - Sarvani S. Vakkalanka; Michael Delisi; Ganesh Gopalakrishnan; Robert M. Kirby; Rajeev Thakur; William Gropp (PVM/MPI, 2008)

Some resources for teaching concurrency. - Ganesh Gopalakrishnan; Yu Yang 013; Sarvani S. Vakkalanka; Anh Vo; Sriram Aananthakrishnan; Grzegorz Szubzda; Geoffrey Sawaya; Jason Williams; Subodh Sharma 001; Michael Delisi; Simone Atzeni (PADTAD, 2009)

Formal verification of practical MPI programs. - Anh Vo; Sarvani S. Vakkalanka; Michael Delisi; Ganesh Gopalakrishnan; Robert M. Kirby; Rajeev Thakur (PPoPP, 2009)

How Formal Dynamic Verification Tools Facilitate Novel Concurrency Visualizations. - Sriram Aananthakrishnan; Michael Delisi; Sarvani S. Vakkalanka; Anh Vo; Ganesh Gopalakrishnan; Robert M. Kirby; Rajeev Thakur (PVM/MPI, 2009)

Formal specification of MPI 2.0: Case study in specifying a practical concurrent programming API. - Guodong Li; Robert Palmer; Michael Delisi; Ganesh Gopalakrishnan; Robert M. Kirby (Sci. Comput. Program., 2011)