Jay P. Lim

14 papers A* 3A 1Journal 8Unranked 2

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	FLoPS: Semantics, Operations, and Properties of P3109 Floating-Point Representations in Lean. CoRR Tung-Che Chang, Sehyeok Park, Jay P. Lim, Santosh Nagarakatte
2026	J	`jnl`	Odd but Error-Free FastTwoSum: More General Conditions for FastTwoSum as an Error-Free Transformation for Faithful Rounding Modes. CoRR Sehyeok Park, Jay P. Lim, Santosh Nagarakatte
2022	J	`jnl`	One polynomial approximation to produce correctly rounded results of an elementary function for multiple representations and rounding modes. Proc. ACM Program. Lang. Jay P. Lim, Santosh Nagarakatte
2022	A*	`conf`	Progressive polynomial approximations for fast correctly rounded math libraries. PLDI Mridul Aanjaneya, Jay P. Lim, Santosh Nagarakatte
2021	J	`jnl`	An approach to generate correctly rounded math libraries for new floating point variants. Proc. ACM Program. Lang. Jay P. Lim, Mridul Aanjaneya, John L. Gustafson, Santosh Nagarakatte
2021	A*	`conf`	High performance correctly rounded math libraries for 32-bit floating point representations. PLDI Jay P. Lim, Santosh Nagarakatte
2021	J	`jnl`	RLIBM-32: High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations. CoRR Jay P. Lim, Santosh Nagarakatte
2021	J	`jnl`	RLIBM-ALL: A Novel Polynomial Approximation Method to Produce Correctly Rounded Results for Multiple Representations and Rounding Modes. CoRR Jay P. Lim, Santosh Nagarakatte
2021	J	`jnl`	RLibm-Prog: Progressive Polynomial Approximations for Fast Correctly Rounded Math Libraries. CoRR Mridul Aanjaneya, Jay P. Lim, Santosh Nagarakatte
2020	J	`jnl`	A Novel Approach to Generate Correctly Rounded Math Libraries for New Floating Point Representations. CoRR Jay P. Lim, Mridul Aanjaneya, John L. Gustafson, Santosh Nagarakatte
2020	—	`conf`	Approximating trigonometric functions for posits using the CORDIC method. CF Jay P. Lim, Matan Shachnai, Santosh Nagarakatte
2020	A*	`conf`	Debugging and detecting numerical errors in computation with posits. PLDI Sangeeta Chowdhary, Jay P. Lim, Santosh Nagarakatte
2019	A	`conf`	Automatic Equivalence Checking for Assembly Implementations of Cryptography Libraries. CGO Jay P. Lim, Santosh Nagarakatte
2017	—	`conf`	Compiler Optimizations with Retrofitting Transformations: Is there a Semantic Mismatch? PLAS@CCS Jay P. Lim, Vinod Ganapathy, Santosh Nagarakatte