TY  - RPRT
TI  - FPDetect: Efficient Reasoning About Stencil Programs Using Selective Direct Evaluation
AU  - Das, Arnab
AU  - Krishnamoorthy, Sriram
AU  - Briggs, Ian
AU  - Gopalakrishnan, Ganesh
AU  - Tipireddy, Ramakrishna
PY  - 2020
DO  - 10.1145/3402451
UR  - https://www.osti.gov/biblio/1673584
ID  - 1673584
ER  -