@misc{indiciaef4a35d12fd9c,
  title = {Final Report: Correctness Tools for Petascale Computing},
  author = {Mellor-Crummey, John},
  year = {2014},
  doi = {10.2172/1160304},
  url = {https://www.osti.gov/biblio/1160304},
  note = {Source identifier: 1160304}
}