@misc{indiciaeea764dd8c2fd,
  title = {FPDetect: Efficient Reasoning About Stencil Programs Using Selective Direct Evaluation},
  author = {Das, Arnab and Krishnamoorthy, Sriram and Briggs, Ian and Gopalakrishnan, Ganesh and Tipireddy, Ramakrishna},
  year = {2020},
  doi = {10.1145/3402451},
  url = {https://www.osti.gov/biblio/1673584},
  note = {Source identifier: 1673584}
}