Progressive polynomial approximations for fast correctly rounded math libraries

Mridul Aanjaneya, Jay P. Lim, Santosh Nagarakatte. Progressive polynomial approximations for fast correctly rounded math libraries. In Ranjit Jhala, Isil Dillig, editors, PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13 - 17, 2022. pages 552-565, ACM, 2022. [doi]

Abstract

Abstract is missing.