@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",
  doi =       "10.1145/1390841.1390844",
}