@inproceedings{europvm08-isp,
author = {Sarvani Vakkalanka and Michael DeLisi
 and Ganesh Gopalakrishnan and 
Robert M. Kirby and  Rajeev Thakur and William Gropp},
title = {Implementing 
  Efficient Dynamic Formal Verification Methods for MPI
  Programs},
booktitle  = {Recent Advances in Parallel
Virtual Machine and Message Passing Interface
  (EuroPVM/MPI)}, 
pages = {248-256},
note = {LNCS 5205},
year = 2008}