1 citations · 1 across the 4 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.PL2017
On Sound Relative Error Bounds for Floating-Point Arithmetic
Anastasiia Izycheva, Eva Darulova
State-of-the-art static analysis tools for verifying finite-precision code compute worst-case absolute error bounds on numerical errors. These are, however, often not a good estima…
cs.PL2017
Sound Mixed-Precision Optimization with Rewriting
Eva Darulova, Einar Horn, Saksham Sharma
Finite-precision arithmetic computations face an inherent tradeoff between accuracy and efficiency. The points in this tradeoff space are determined, among other factors, by differ…