Arnab Das, Sriram Krishnamoorthy, Ian Briggs, Ganesh Gopalakrishnan, Ramakrishna Tipireddy. FPDetect: Efficient Reasoning About Stencil Programs Using Selective Direct Evaluation. TACO, 17(3), 2020. [doi]
@article{DasKBGT20,
title = {FPDetect: Efficient Reasoning About Stencil Programs Using Selective Direct Evaluation},
author = {Arnab Das and Sriram Krishnamoorthy and Ian Briggs and Ganesh Gopalakrishnan and Ramakrishna Tipireddy},
year = {2020},
url = {https://dl.acm.org/doi/10.1145/3402451},
researchr = {https://researchr.org/publication/DasKBGT20},
cites = {0},
citedby = {0},
journal = {TACO},
volume = {17},
number = {3},
}