TY  - RPRT
TI  - FPDetect: Efficient Reasoning About Stencil Programs Using Selective Direct Evaluation
AU  - Arnab Das
AU  - Sriram Krishnamoorthy
AU  - Ian Briggs
AU  - Ganesh Gopalakrishnan
AU  - Ramakrishna Tipireddy
PY  - 2020
UR  - https://arxiv.org/abs/2004.04359
ID  - 2004.04359
ER  -