Michael Delisi

According to our database, Michael Delisi authored at least 9 papers between 2007 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2011

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

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

Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2009

Formal verification of practical MPI programs.

Anh Vo, Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur

Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2009

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

Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, 2009

2008

Implementing Efficient Dynamic Formal Verification Methods for MPI Programs.

Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William Gropp

Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2008

Formal specification of the MPI-2.0 standard in TLA+.

Guodong Li, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby

Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2008

Scheduling considerations for building dynamic verification tools for MPI.

Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby

Proceedings of the 6th Workshop on Parallel and Distributed Systems: Testing, 2008

2007

Hierarchical cache coherence protocol verification one level at a time through assume guarantee.

Xiaofang Chen, Yu Yang, Michael Delisi, Ganesh Gopalakrishnan, Ching-Tsun Chou

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2007

An Approach to Formalization and Analysis of Message Passing Libraries.

Robert Palmer, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby

Proceedings of the Formal Methods for Industrial Critical Systems, 2007