Publications

Back to home

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

PhD Dissertation

  • ACM SIGPLAN John C. Reynolds Doctoral Dissertation Award
    Novel Polynomial Approximation Methods for Generating Correctly Rounded Elementary Functions.
    PhD Dissertation, Rutgers, the State University of New Jersey, August 2021
    PDF

Technical Reports

  • RLibm-Prog: Progressive Polynomial Approximations for Fast Correctly Rounded Math Libraries.
    Mridul Aanjaneya, Jay P. Lim, and Santosh Nagarakatte.
    Department of Computer Science, Rutgers University, Technical Report DCS-TR-758, November 2021
  • RLIBM-ALL: A Novel Polynomial Approximation Method to Produce Correctly Rounded Results for Multiple Representations and Rounding Modes.
    Jay P. Lim and Santosh Nagarakatte.
    Department of Computer Science, Rutgers University, Technical Report DCS-TR-757, August 2021
  • RLIBM-32: High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations.
    Jay P. Lim and Santosh Nagarakatte.
    Department of Computer Science, Rutgers University, Technical Report DCS-TR-754, April 2021
  • A Novel Approach to Generate Correctly Rounded Math Libraries for New Floating Point Representations.
    Jay P. Lim, Mridul Aanjaneya, John Gustafson, and Santosh Nagarakatte.
    Department of Computer Science, Rutgers University, Technical Report DCS-TR-753, July 2020

Back to home