Follow
Jay P. Lim
Jay P. Lim
Computer Science, Yale University
Verified email at yale.edu - Homepage
Title
Cited by
Cited by
Year
Debugging and detecting numerical errors in computation with posits
S Chowdhary, JP Lim, S Nagarakatte
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
212020
An approach to generate correctly rounded math libraries for new floating point variants
JP Lim, M Aanjaneya, J Gustafson, S Nagarakatte
Proceedings of the ACM on Programming Languages 5 (POPL), 1-30, 2021
202021
High performance correctly rounded math libraries for 32-bit floating point representations
JP Lim, S Nagarakatte
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
172021
Automatic equivalence checking for assembly implementations of cryptography libraries
JP Lim, S Nagarakatte
2019 IEEE/ACM International Symposium on Code Generation and Optimization …, 2019
162019
A novel approach to generate correctly rounded math libraries for new floating point representations
JP Lim, M Aanjaneya, J Gustafson, S Nagarakatte
arXiv preprint arXiv:2007.05344, 2020
142020
One polynomial approximation to produce correctly rounded results of an elementary function for multiple representations and rounding modes
JP Lim, S Nagarakatte
Proceedings of the ACM on Programming Languages 6 (POPL), 1-28, 2022
112022
Approximating trigonometric functions for posits using the CORDIC method
JP Lim, M Shachnai, S Nagarakatte
Proceedings of the 17th ACM International Conference on Computing Frontiers …, 2020
112020
RLIBM-32: high performance correctly rounded math libraries for 32-bit floating point representations
JP Lim, S Nagarakatte
arXiv preprint arXiv:2104.04043, 2021
92021
RLIBM-ALL: A Novel Polynomial Approximation Method to Produce Correctly Rounded Results for Multiple Representations and Rounding Modes
JP Lim, S Nagarakatte
arXiv preprint arXiv:2108.06756, 2021
72021
Progressive polynomial approximations for fast correctly rounded math libraries
M Aanjaneya, JP Lim, S Nagarakatte
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
52022
Novel Polynomial Approximation Methods for Generating Correctly Rounded Elementary Functions
JP Lim
Rutgers The State University of New Jersey, School of Graduate Studies, 2021
52021
Compiler optimizations with retrofitting transformations: Is there a semantic mismatch?
JP Lim, V Ganapathy, S Nagarakatte
Proceedings of the 2017 Workshop on Programming Languages and Analysis for …, 2017
42017
RLibm-Prog: Progressive Polynomial Approximations for Fast Correctly Rounded Math Libraries
M Aanjaneya, JP Lim, S Nagarakatte
arXiv preprint arXiv:2111.12852, 2021
12021
The system can't perform the operation now. Try again later.
Articles 1–13