Name
Title | ||
|---|---|---|
FPDetect: Efficient Reasoning About Stencil Programs Using Selective Direct Evaluation |
Abstract | ||
|---|---|---|
AbstractWe present FPDetect, a low-overhead approach for detecting logical errors and soft errors affecting stencil computations without generating false positives. We develop an offline analysis that tightly estimates the number of floating-point bits preserved across stencil applications. This estimate rigorously bounds the values expected in the data space of the computation. Violations of this bound can be attributed with certainty to errors. FPDetect helps synthesize error detectors customized for user-specified levels of accuracy and coverage. FPDetect also enables overhead reduction techniques based on deploying these detectors coarsely in space and time. Experimental evaluations demonstrate the practicality of our approach. |
Year | DOI | Venue |
|---|---|---|
2020 | 10.1145/3402451 | ACM Transactions on Architecture and Code Optimization |
Keywords | DocType | Volume |
Soft error detection, floating point round-off error, stencil computations, affine analysis, interval analysis, silent data corruption, software bug detection | Journal | 17 |
Issue | ISSN | Citations |
3 | 1544-3566 | 1 |
PageRank | References | Authors |
0.35 | 0 | 5 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Arnab Das | 1 | 1 | 1.37 |
| Sriram Krishnamoorthy | 2 | 1202 | 86.68 |
| Ian Briggs | 3 | 26 | 4.56 |
| Ganesh Gopalakrishnan | 4 | 14 | 4.79 |
| Ramakrishna Tipireddy | 5 | 11 | 3.07 |