@misc{indiciaeb22faec5decd,
  title = {HPC Software Verification in Action: A Case Study with Tensor Transposition},
  author = {Mutlu, Erdal and Panyala, Ajay R. and Krishnamoorthy, Sriram},
  year = {2018},
  doi = {10.1109/correctness.2018.00006},
  url = {https://www.osti.gov/biblio/1591770},
  note = {Source identifier: 1591770}
}