VILIB++: High Performance C++ Library for Auto-Vectorizing Interval Arithmetic
Interval arithmetic provides guaranteed error bounds for finite-precision numerical computations, but obtaining these error bounds is much slower than the original computation. Even on highly memory bound workloads like small 1D stencils, the existing approaches fail to hide the overhead of changing from scalar to inte...