Jay P. Lim

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 12

Top Topics

Instruction Set

Fast Fourier Transform

Digital Libraries

Top Venues

Proc. ACM Program. Lang.

Publications

Jay P. Lim, Santosh Nagarakatte
One polynomial approximation to produce correctly rounded results of an elementary function for multiple representations and rounding modes. Proc. ACM Program. Lang. 6 (POPL) (2022)
Mridul Aanjaneya, Jay P. Lim, Santosh Nagarakatte
Progressive polynomial approximations for fast correctly rounded math libraries. PLDI (2022)
Mridul Aanjaneya, Jay P. Lim, Santosh Nagarakatte
RLibm-Prog: Progressive Polynomial Approximations for Fast Correctly Rounded Math Libraries. CoRR (2021)
Jay P. Lim, Santosh Nagarakatte
RLIBM-32: High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations. CoRR (2021)
Jay P. Lim, Santosh Nagarakatte
High performance correctly rounded math libraries for 32-bit floating point representations. PLDI (2021)
Jay P. Lim, Santosh Nagarakatte
RLIBM-ALL: A Novel Polynomial Approximation Method to Produce Correctly Rounded Results for Multiple Representations and Rounding Modes. CoRR (2021)
Jay P. Lim, Mridul Aanjaneya, John Gustafson, Santosh Nagarakatte
An approach to generate correctly rounded math libraries for new floating point variants. Proc. ACM Program. Lang. 5 (POPL) (2021)
Jay P. Lim, Mridul Aanjaneya, John Gustafson, Santosh Nagarakatte
A Novel Approach to Generate Correctly Rounded Math Libraries for New Floating Point Representations. CoRR (2020)
Sangeeta Chowdhary, Jay P. Lim, Santosh Nagarakatte
Debugging and detecting numerical errors in computation with posits. PLDI (2020)
Jay P. Lim, Matan Shachnai, Santosh Nagarakatte
Approximating trigonometric functions for posits using the CORDIC method. CF (2020)
Jay P. Lim, Santosh Nagarakatte
Automatic Equivalence Checking for Assembly Implementations of Cryptography Libraries. CGO (2019)
Jay P. Lim, Vinod Ganapathy, Santosh Nagarakatte
Compiler Optimizations with Retrofitting Transformations: Is there a Semantic Mismatch? PLAS@CCS (2017)