Choosing mathematical function implementations for speed and accuracy
Ian Briggs, Pavel Panchekha
2022Year
4Citations
4Top-tier citations
Abstract
Standard implementations of functions like sin and exp optimize for accuracy, not speed, because they are intended for general-purpose use. But just like many applications tolerate inaccuracy from cancellation, rounding error, and singularities, many application could also tolerate less-accurate function implementations. This raises an intriguing possibility: speeding up numerical code by using different function implementations.
Ask about this paper
Ask your agent about it.
Lune has read the top-tier papers around this one, so every answer names the papers it rests on.
Cited by top-tier papers4
- Implementation and Synthesis of Math Library FunctionsIan Briggs, Yash Lad, Pavel PanchekhaPOPL 2024 · 7 citations
- FuzzyFlow: Leveraging Dataflow To Find and Squash Program Optimization BugsPhilipp Schaad, Timo Schneider, Tal Ben-Nun, Alexandru Calotoiu et al.SC 2023 · 3 citations
- Cost of Soundness in Mixed-Precision TuningAnastasia Isychev, Debasmita LoharOOPSLA 2025 · 2 citations
- Target-Aware Implementation of Real ExpressionsBrett Saiki, Jackson Brough, Jonas Regehr, Jesús Ponce et al.ASPLOS 2025 · 1 citation
Related papers
- HierCut: Enabling 16-bit Format Mixed Precision for Molecular Dynamics through Hierarchical CutoffZeyu Song, Lin Gan, Xiaohui Duan, Zhengrui Li et al.PPoPP 2026
- Efficient generation of error-inducing floating-point inputs via symbolic executionHui Guo, Cindy Rubio-GonzálezICSE 2020 · 27 citations
- AutoNumerics-Zero: Automated Discovery of State-of-the-Art Mathematical FunctionsEsteban Real, Mirko Rossini, Connal de Souza, Manav Garg et al.ICML 2026
- An approach to generate correctly rounded math libraries for new floating point variantsJay P. Lim, Mridul Aanjaneya, John L. Gustafson, Santosh NagarakattePOPL 2021 · 21 citations
- Towards an API for the real numbersHans-Juergen BoehmPLDI 2020 · 12 citations
