Jay P. Lim - ISMM 2022

Tue 14 Jun 2022 San Diego, California, United States

co-located with PLDI 2022

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

2022

PLDI

Progressive Polynomial Approximations for Fast Correctly Rounded Math Libraries
Session Chair of Parsing & Verification (part of SIGPLAN Track)
(POPL 2022) One Polynomial Approximation to Produce Correctly Rounded Results of an Elementary Function for Multiple Representations and Rounding Modes

Show activities from other conferences

PLDI 2022-profile
View general profile