Jay P. Lim

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

Collaborative distances:

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

2026

FLoPS: Semantics, Operations, and Properties of P3109 Floating-Point Representations in Lean.

Tung-Che Chang, Sehyeok Park, Jay P. Lim, Santosh Nagarakatte

CoRR, February, 2026

Odd but Error-Free FastTwoSum: More General Conditions for FastTwoSum as an Error-Free Transformation for Faithful Rounding Modes.

Sehyeok Park, Jay P. Lim, Santosh Nagarakatte

CoRR, January, 2026

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