@misc{indiciae96632efd369a,
  title = {Report of the HPC Correctness Summit, Jan 25--26, 2017, Washington, DC},
  author = {Ganesh Gopalakrishnan and Paul D. Hovland and Costin Iancu and Sriram Krishnamoorthy and Ignacio Laguna and Richard A. Lethin and Koushik Sen and Stephen F. Siegel and Armando Solar-Lezama},
  year = {2017},
  url = {https://arxiv.org/abs/1705.07478},
  note = {Source identifier: 1705.07478}
}