Compiler Optimizations with Retrofitting Transformations: Is there a Semantic Mismatch? - Jay P. Lim; Vinod Ganapathy; Santosh Nagarakatte (PLAS@CCS, 2017)

Automatic Equivalence Checking for Assembly Implementations of Cryptography Libraries. - Jay P. Lim; Santosh Nagarakatte (CGO, 2019)

Approximating trigonometric functions for posits using the CORDIC method. - Jay P. Lim; Matan Shachnai; Santosh Nagarakatte (CF, 2020)

Debugging and detecting numerical errors in computation with posits. - Sangeeta Chowdhary; Jay P. Lim; Santosh Nagarakatte (PLDI, 2020)

A Novel Approach to Generate Correctly Rounded Math Libraries for New Floating Point Representations. - Jay P. Lim; Mridul Aanjaneya; John L. Gustafson; Santosh Nagarakatte (CoRR, 2020)

High performance correctly rounded math libraries for 32-bit floating point representations. - Jay P. Lim; Santosh Nagarakatte (PLDI, 2021)

RLIBM-32: High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations. - Jay P. Lim; Santosh Nagarakatte (CoRR, 2021)

RLIBM-ALL: A Novel Polynomial Approximation Method to Produce Correctly Rounded Results for Multiple Representations and Rounding Modes. - Jay P. Lim; Santosh Nagarakatte (CoRR, 2021)

RLibm-Prog: Progressive Polynomial Approximations for Fast Correctly Rounded Math Libraries. - Mridul Aanjaneya; Jay P. Lim; Santosh Nagarakatte (CoRR, 2021)

An approach to generate correctly rounded math libraries for new floating point variants. - Jay P. Lim; Mridul Aanjaneya; John L. Gustafson; Santosh Nagarakatte (Proc. ACM Program. Lang., 2021)

Progressive polynomial approximations for fast correctly rounded math libraries. - Mridul Aanjaneya; Jay P. Lim; Santosh Nagarakatte (PLDI, 2022)

One polynomial approximation to produce correctly rounded results of an elementary function for multiple representations and rounding modes. - Jay P. Lim; Santosh Nagarakatte (Proc. ACM Program. Lang., 2022)