Congratulations to Profs. Santosh Nagarakatte and Mridul Aanjaneya, who have received an NSF SHF Small Grant for their project titled "Techniques for Generating Correctly Rounded Math Libraries", for an amount of $499, 979, covering a three-year period starting from 06/1/2021.

Every programming language needs math libraries, which provide implementations of elementary functions for the floating-point representation and its variants. This project aims to develop correctly rounded math libraries for a wide range of representations that approximate real numbers. This project's novelty lies in creating polynomial approximations that produce the correctly rounded value of an elementary function f(x) (i.e., the value of f(x) rounded to the target representation) rather than the real value of f(x). It provides more margin to identify correct polynomials while generating efficient implementations. This project structures the task of generating efficient polynomial approximations that produce correctly rounded results as a linear-programming problem. It advances the state-of-the-art in approximating elementary functions for a large number of data types while allowing domain scientists to experiment with both precision and dynamic range of the data types. 

More details can be found on the National Science Foundation's webpage at