Jay P. Lim

Registered user since Mon 14 Feb 2022

Name:Jay P. Lim
Country:United States
Affiliation:Yale University
Research interests:Floating point, error analysis, program verification

Contributions

SPLASH 2023 Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
SPLASH 2022 Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
PLDI 2022 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
POPL 2022 Author of One Polynomial Approximation to Produce Correctly Rounded Results of an Elementary Function for Multiple Representations and Rounding Modes within the POPL-track
PLDI 2021 Author of High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations within the PLDI-track
POPL 2021 Author of An Approach to Generate Correctly Rounded Math Libraries for New Floating Point Variants within the POPL-track
PLDI 2020 Author of Debugging and Detecting Numerical Errors in Computation with Posits within the PLDI Research Papers-track