FPDetect: Efficient Reasoning About Stencil Programs Using Selective Direct Evaluation

Arnab Das, Sriram Krishnamoorthy, Ian Briggs +2

We present FPDetect, a low overhead approach for detecting logical errors and soft errors affecting stencil computations without generating false positives. We develop an offline a…