About Me

I am an assistant professor at the University of California, Riverside. I joined UCR in Fall 2025. My primary research interest is developing fundamental principles for building more robust software systems. I am especially interested in widely used systems whose correctness people assume, including compilers, open-source libraries, and even tools that are allowed to produce some error (e.g., math.h). My goal is to ensure that these existing systems are indeed correct and to develop techniques for building systems that are correct-by-construction.

My research on building correctly rounded math libraries has been recognized with two distinguished paper awards (PLDI 2021, POPL 2022) and 2022 ACM SIGPLAN John C. Reynolds Doctoral Dissertation Award . Several elementary functions developed through our RLibm project are now implemented in LLVM's libc.

Before joining UCR, I was a lecturer at Yale University beginning in Fall 2021. I received my Ph.D. from Rutgers University in 2021, where I was advised by Santosh Nagarakatte.

Students

I am always looking for PhD students. If you are a motivated student with a strong CS background and are excited to make computer systems robust and correct, please reach out and introduce yourself!

Current Students

• Nathan Diamond
  Ph.D. Student, 2026-present
• Aditya Chaudhari
  Ph.D. Student, 2026-present
• Luke Baring
  Undergraduate Researcher, 2026-present
• Advit Singh
  Undergraduate Researcher, 2026-present

Awards

• 2022 ACM SIGPLAN John C. Reynolds Doctoral Dissertation Award: Novel Polynomial Approximation Methods for Generating Correctly Rounded Elementary Functions. PDF
• Distinguished Paper Award at POPL 2022: One Polynomial Approximation to Produce Correctly Rounded Results of an Elementary Function for Multiple Representations and Rounding Modes. PDF DOI
• Distinguished Paper Award at PLDI 2021: High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations. PDF DOI
• Rutgers University Rizvi Family Graduate Fellowship
• Student Research Competition Gold Medal at PLDI 2018: Automatic Verification of Assembly Implementation of Cryptographic Algorithms

Selected Publications

• Semantics, Operations, and Properties of P3109 Floating-Point Representations in Lean.
  Tung-Che Chang, Sehyeok Park, Jay P. Lim, and Santosh Nagarakatte.
  Formal Methods in Computer-Aided Design (FMCAD), 2026.
  PDF
• Odd but Error-Free FastTwoSum.
  Sehyeok Park, Jay P. Lim, and Santosh Nagarakatte.
  Proceedings of the 33rd IEEE International Symposium on Computer Arithmetic (ARITH), 2026.
  PDF
• Distinguished paper award
  One Polynomial Approximation to Produce Correctly Rounded Results of an Elementary Function for Multiple Representations and Rounding Modes.
  Jay P. Lim and Santosh Nagarakatte.
  49th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2022.
  PDF DOI
• Distinguished paper award
  High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations.
  Jay P. Lim and Santosh Nagarakatte.
  Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI), 2021.
  PDF DOI

View all publications

Professional Activities

University and Departmental Activities

• 2025-27: Grad Admission Committee
• 2021-25: CS Academic Honesty Committee
• 2022-24: Camp Yale - Build Program Advisor

Program Committee Member

• 2027: POPL'27
• 2026: PLDI'26 External Member, ASPLOS'26
• 2025: PLDI'25, ARITH'25
• 2023: OOPSLA'23, SIGCSE TS'23
• 2022: OOPSLA'22

Conference and Workshop Organization

• 2027: PLMW@POPL'27 Organizing Committee Member

Teaching @ UCR

• S26CS152 - Compiler Design
• F25CS260 - Seminar in Computer Science

View full teaching history