@inproceedings{sarvani-padtad08,
author = {Sarvani Vakkalanka and Michael DeLisi and Ganesh Gopalakrishnan and
Robert M. Kirby},
title = { Scheduling Considerations for Building Dynamic Verification Tools for MPI},
booktitle = {Parallel and Distributed Systems - Testing and Debugging {(PADTAD-VI)}},
month = jul,
ddress = {Seattle, WA},
year = 2008,
note = {To appear}}