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…