@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",
}

{"_id":"WbMj4An6Gp8iYTmn9","bibbaseid":"palmer-gopalakrishnan-kirby-semanticsdrivendynamicpartialorderreductionofmpibasedparallelprograms-2007","author_short":["Palmer, R.","Gopalakrishnan, G.","Kirby, R."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["R."],"propositions":[],"lastnames":["Palmer"],"suffixes":[]},{"firstnames":["G."],"propositions":[],"lastnames":["Gopalakrishnan"],"suffixes":[]},{"firstnames":["R.M."],"propositions":[],"lastnames":["Kirby"],"suffixes":[]}],"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","bibtex":"@InProceedings{SCI:Pal2007a,\n author = \"R. Palmer and G. Gopalakrishnan and R.M. Kirby\",\n title = \"Semantics Driven Dynamic Partial-Order Reduction\n of MPI-based Parallel Programs\",\n booktitle = \"Proceedings of Parallel and Distributed Systems:\n Testing and Debugging (PADTAD)\",\n year = \"2007\",\n location = \"London, UK\",\n note = \"Awarded Best Paper\",\n keywords = \"parallel visualization\",\n}\n\n","author_short":["Palmer, R.","Gopalakrishnan, G.","Kirby, R."],"key":"SCI:Pal2007a","id":"SCI:Pal2007a","bibbaseid":"palmer-gopalakrishnan-kirby-semanticsdrivendynamicpartialorderreductionofmpibasedparallelprograms-2007","role":"author","urls":{},"keyword":["parallel visualization"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"http://www.sci.utah.edu/publications/sci.bib","dataSources":["5G2skx26SJtreWr4m"],"keywords":["parallel visualization"],"search_terms":["semantics","driven","dynamic","partial","order","reduction","mpi","based","parallel","programs","palmer","gopalakrishnan","kirby"],"title":"Semantics Driven Dynamic Partial-Order Reduction of MPI-based Parallel Programs","year":2007}