@InProceedings{SCI:Pal2007a,
  author =    "R. Palmer and G. Gopalakrishnan and R.M. Kirby",
  title =     "Semantics Driven Dynamic Partial-Order Reduction
              of MPI-based Parallel Programs",
  booktitle = "Proceedings of Parallel and Distributed Systems:
              Testing and Debugging (PADTAD)",
  year =      "2007",
  location =  "London, UK",
  note =      "Awarded Best Paper",
  keywords =  "parallel visualization",
}