Jay P. Lim

According to our database, Jay P. Lim authored at least 12 papers between 2017 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Progressive polynomial approximations for fast correctly rounded math libraries.

Mridul Aanjaneya, Jay P. Lim, Santosh Nagarakatte

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

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

RLibm-Prog: Progressive Polynomial Approximations for Fast Correctly Rounded Math Libraries.

Mridul Aanjaneya, 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-32: High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations.

Jay P. Lim, Santosh Nagarakatte

CoRR, 2021

High performance correctly rounded math libraries for 32-bit floating point representations.

Jay P. Lim, Santosh Nagarakatte

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

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

Debugging and detecting numerical errors in computation with posits.

Sangeeta Chowdhary, Jay P. Lim, Santosh Nagarakatte

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Approximating trigonometric functions for posits using the CORDIC method.

Jay P. Lim, Matan Shachnai, Santosh Nagarakatte

Proceedings of the 17th ACM International Conference on Computing Frontiers, 2020

2019

Automatic Equivalence Checking for Assembly Implementations of Cryptography Libraries.

Jay P. Lim, Santosh Nagarakatte

Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2019

2017

Compiler Optimizations with Retrofitting Transformations: Is there a Semantic Mismatch?

Jay P. Lim, Vinod Ganapathy, Santosh Nagarakatte

Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, 2017