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
PLDI 2025
Mon 16 - Fri 20 June 2025 Seoul, South Korea
- Attending
- Tracks
- Organization
- PLDI 2025 Committees
- Organizing Committee
- Track Committees
- PLDI Review Committee
- Contributors
- People Index
- Search
- Series