Michael Delisi

	2009
6		Anh Vo, Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur: Formal verification of practical MPI programs. PPOPP 2009: 261-270
5		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: 261-270
	2008
4		Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby: Scheduling considerations for building dynamic verification tools for MPI. PADTAD 2008: 3
3		Guodong Li, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby: Formal specification of the MPI-2.0 standard in TLA+. PPOPP 2008: 283-284
2		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: 248-256
	2007
1		Robert Palmer, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby: An Approach to Formalization and Analysis of Message Passing Libraries. FMICS 2007: 164-181

Coauthor Index

1	Sriram Aananthakrishnan	[5]
2	Ganesh Gopalakrishnan	[1] [2] [3] [4] [5] [6]
3	William Gropp (William D. Gropp, Bill Gropp)	[2]
4	Robert M. Kirby (Mike Kirby)	[1] [2] [3] [4] [5] [6]
5	Guodong Li	[3]
6	Robert Palmer	[1]
7	Rajeev Thakur	[2] [5] [6]
8	Sarvani S. Vakkalanka	[2] [4] [5] [6]
9	Anh Vo	[5] [6]