@InProceedings{SCI:Oli2013a,
  author =    "D.C.B. de Oliveira and Z. Rakamaric and G.
              Gopalakrishnan and A. Humphrey and Q. Meng and M.
              Berzins",
  title =     "Crash Early, Crash Often, Explain Well: Practical
              Formal Correctness Checking of Million-core Problem
              Solving Environments for {HPC}",
  booktitle = "Proceedings of the 35th International Conference
              on Software Engineering ({ICSE} 2013)",
  pages =     "(accepted)",
  year =      "2013",
  keywords =  "Uintah",
  url =       "http://www.sci.utah.edu/publications/oliveira13/deOliveira_ICSEWS2013.pdf",
}