@InProceedings{SCI:Vak2008c,
  author =    "S. Vakkalanka and G. Gopalakrishnan and R.M.
              Kirby",
  title =     "Dynamic Verification of {MPI} Programs with
              Reductions in Presence of Split Operations and
              Relaxed Orderings",
  booktitle = "Computer Aided Verification Lecture Notes in
              Computer Science ",
  volume =    "5123",
  pages =     "66--79",
  year =      "2008",
  month =     "July",
  doi =       "10.1007/978-3-540-70545-1_9",
}