Congratulations to Rutgers CS PhD graduate Jay Lim! Jay Lim's dissertation "Novel Polynomial Approximation Methods for Correctly Rounded Elementary Functions" has been selected as the one of the co-winners of the 2022 ACM SIGPLAN John C Reynolds Outstanding Dissertation Award.  Jay Lim's dissertation was supervised by Prof. Santosh Nagarakatte. His dissertation is available here

This award is presented annually to the author of an outstanding doctoral dissertation in the area of Programming Languages. The award includes a prize of $1,000. This year Jay Lim is sharing this award with Uri Alon.

This award recognizes the contributions to computer science that John C. Reynolds made during his life. It is a renaming of the SIGPLAN Outstanding Doctoral Dissertation Award to encourage the clarity and rigor that Reynolds embodied and at the same time provide a reminder of Reynolds's legacy and the difference a person can make in the field of programming language research.

The citation reads:

"Jay Lim's dissertation makes foundational advances on techniques for generating correctly rounded math libraries for numerous elementary functions for multiple representations and rounding modes. The resulting libraries are significantly faster than the state of the art while producing correct results for all inputs.  This is a remarkable achievement that stands out in terms of its direct and immediate impact.... Overall, the dissertation combines elegant theoretical insights with exemplary experimental results to solve an open problem of practical interest."

Jay Lim's papers with Prof. Santosh Nagarakatte as part of the RLIBM project were previously recognized with the following distinguished paper awards.

PLDI 2021 Distinguished Paper Award for the paper "High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations". Read more here.

POPL 2022 Distinguished Paper Award for the paper "One Polynomial Approximation to Produce Correctly Rounded Results of an Elementary Function for Multiple Representations and Rounding Modes". Read more here.

Prof. Santosh Nagarakatte's PhD student David Menendez's dissertation was also awarded the 2018 ACM SIGPLAN John C Reynolds Doctoral Dissertation Award!

Congratulations Jay Lim and Prof. Santosh Nagarakatte on this prestigious honor!