Image of Santosh Nagarakatte

Jay P. Lim

PhD Student
Department of Computer Science
Rutgers, The State University of New Jersey

Email: jpl169 (at) cs (dot) rutgers (dot) edu

[dblp] [CV]


I am a Computer Science PhD student under Professor Santosh Nagarakatte at Rutgers University. I am a programming languages and systems researcher. My goal is to develop fundamental principles to generate and verify correct low-level software systems to make them safe. I have worked on (1) creating efficient and correctly rounded math library, (2) verifying functional correctness of cryptography algorithms hand-written in assembly, and (3) verifying compiler optimizations of programs with retrofitting transformation. I will be in the market this year! If you have any questions, please feel free to contact me via email.

Ongoing Research

I am currently researching on techniques to create efficient and correctly rounded math libraries for various representations. Our initial results in creating correctly rounded math library for bfloat16 and posit16 are accepted in POPL 2021 (Link)!


  • Jay P. Lim and Santosh Nagarakatte. High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations. (To appear in PLDI 2021)
  • Jay P. Lim, Mridul Aanjaneya, John Gustafson, and Santosh Nagarakatte. 2021. An Approach to Generate Correctly Rounded Math Libraries for New Floating Point Variants. 48th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2021). (PDF)
  • Jay P. Lim, Matan Shachnai, and Santosh Nagarakatte. 2020. Approximating trigonometric functions for posits using the CORDIC method. In Proceedings of the 17th ACM International Conference on Computing Frontiers (CF 2020). (PDF)
  • Sangeeta Chowdhary, Jay P Lim, and Santosh Nagarakatte. 2020. Debugging and Detecting Numerical Errors in Computation with Posits. In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2020). (PDF)
  • Jay P Lim and Santosh Nagarakatte. 2019. Automatic Equivalence Checking for Assembly Implementations for Cryptography Libraries. Proceedings of the International Symposium on Code Generation (CGO 2019). (PDF)
  • Jay P Lim, Santosh Nagarakatte, and Vinod Ganapathy. 2017. Compiler Optimizations with Retrofitting Transformation: Is there a Semantic Mismatch? ACM SIGSAC Workshop and Programming Languages and Analysis for Security (PLAS 2017). (PDF)


  • Rutgers University Rizvi Family Graduate Fellowship
  • Student Research Competition Gold Medal (PLDI 2018) Automatic Verification of Assembly Implementation of Cryptographic Algorithms