39 citations · 43 across the 6 of their papers we have counts for
1 paper · 1 filter
Jonas Regehr, Mitch Briles, Zachary Tatlock +1
Numerical software depends on fast, accurate implementations of mathematical primitives like sin, exp, and log. Modern superoptimizers can optimize floating-point kernels against a…