News

Congratulations to Prof. Santosh Nagarakatte and Jay Lim, a recent PhD graduate from Rutgers CS, on being recognized with the ACM SIGPLAN POPL 2022 Distinguished Paper Award for their paper "One Polynomial Approximation to Produce Correctly Rounded Results of an Elementary Function for Multiple Representations and Multiple Rounding Modes"!

The annual symposium on Principles of Programming Languages (POPL) is a premier forum for programming language research.  This year POPL accepted 65 papers and 7 of the accepted papers were recognized with Distinguished Paper awards. See the POPL program and the distinguished papers here: https://go.rutgers.edu/p0ubjwjc

Prof. Santosh Nagarakatte's research group has been building correctly rounded math libraries as part of the RLIBM project. Read more about the RLIBM project at https://people.cs.rutgers.edu/~sn349/rlibm/ . The POPL 2022 paper is available here: https://go.rutgers.edu/x0szlfkr

Prof. Santosh Nagarakatte and Jay Lim's prior work in the project was also recognized with the ACM SIGPLAN PLDI 2021 Distinguished Paper Award!  Read more about it here: https://go.rutgers.edu/fidznpzn

Congratulations Prof. Santosh Nagarakatte and Jay Lim!