Choosing mathematical function implementations for speed and accuracy
Ian Briggs, Pavel Panchekha
2022年份
4被引次数
4顶会引用
摘要
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.
问问这篇 Paper
问问你的智能体。
Lune 读过与它相关的顶会 Paper,每个回答都会注明依据哪几篇。
引用它的顶会 Paper4
- Implementation and Synthesis of Math Library FunctionsIan Briggs, Yash Lad, Pavel PanchekhaPOPL 2024 · 被引用 7 次
- FuzzyFlow: Leveraging Dataflow To Find and Squash Program Optimization BugsPhilipp Schaad, Timo Schneider, Tal Ben-Nun, Alexandru Calotoiu 等SC 2023 · 被引用 3 次
- Cost of Soundness in Mixed-Precision TuningAnastasia Isychev, Debasmita LoharOOPSLA 2025 · 被引用 2 次
- Target-Aware Implementation of Real ExpressionsBrett Saiki, Jackson Brough, Jonas Regehr, Jesús Ponce 等ASPLOS 2025 · 被引用 1 次
相关 Paper
- HierCut: Enabling 16-bit Format Mixed Precision for Molecular Dynamics through Hierarchical CutoffZeyu Song, Lin Gan, Xiaohui Duan, Zhengrui Li 等PPoPP 2026
- Efficient generation of error-inducing floating-point inputs via symbolic executionHui Guo, Cindy Rubio-GonzálezICSE 2020 · 被引用 27 次
- AutoNumerics-Zero: Automated Discovery of State-of-the-Art Mathematical FunctionsEsteban Real, Mirko Rossini, Connal de Souza, Manav Garg 等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 次
- Towards an API for the real numbersHans-Juergen BoehmPLDI 2020 · 被引用 12 次
