conf.researchr.org / Jay P. Lim
Registered user since Mon 14 Feb 2022
Name:Jay P. Lim
Country:United States
Affiliation:Yale University
GitHub: https://github.com/jpl169
Research interests:Floating point, error analysis, program verification
Contributions
2023
2022
SPLASH
PLDI
- Author of Progressive Polynomial Approximations for Fast Correctly Rounded Math Libraries within the PLDI-track
- Session Chair of Parsing & Verification (part of SIGPLAN Track)
- Author of (POPL 2022) One Polynomial Approximation to Produce Correctly Rounded Results of an Elementary Function for Multiple Representations and Rounding Modes within the SIGPLAN Track-track