![Jay P. Lim](https://pldi22.sigplan.org/getProfileImage/jayplim/57d7e48a-7753-4a90-9f66-f2a75aa16a9e/small.jpg?1711482419000)
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
PLDI 2022-profile
View general profile
View general profile