SPLASH 2023 (series) / 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
Using general profile