@InProceedings{SCI:Vak2008b, author = "S. Vakkalanka and M. DeLisi and G. Gopalakrishnan and R.M. Kirby", title = "Scheduling Considerations for Building Dynamic Verification Tools for {MPI}", booktitle = "Proceedings of the 6th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging", volume = "3", pages = "1--6", year = "2008", series = "PADTAD '08", publisher = "ACM", location = "Seattle, WA", isbn = "978-1-60558-052-4", }