167 citations · 176 across the 13 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.PL2023
Implementation and Synthesis of Math Library Functions
Ian Briggs, Yash Lad, Pavel Panchekha
Achieving speed and accuracy for math library functions like exp, sin, and log is difficult. This is because low-level implementation languages like C do not help math library deve…
cs.HC2023
Odyssey: An Interactive Workbench for Expert-Driven Floating-Point Expression Rewriting
Edward Misback, Caleb C. Chan, Brett Saiki +3
In recent years, researchers have proposed a number of automated tools to identify and improve floating-point rounding error in mathematical expressions. However, users struggle to…