| Robustness Analysis of Loop-Free Floating-Point Programs via Symbolic Automatic Differentiation | 0 | 0.34 | 2021 |
| FPDetect: Efficient Reasoning About Stencil Programs Using Selective Direct Evaluation | 1 | 0.35 | 2020 |
| FailAmp: Relativization Transformation for Soft Error Detection in Structured Address Generation | 0 | 0.34 | 2020 |
| Scalable yet rigorous floating-point error analysis | 0 | 0.34 | 2020 |
