dblp.uni-trier.dewww.uni-trier.de

Michael Delisi

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)