Congratulations to PhD student Jay Lim and Prof. Santosh Nagarakatte on being recognized with the ACM SIGPLAN PLDI 2021 Distinguished Paper Award for their paper "High Performance Correctly Rounded Libraries for 32-bit Floating Point Representations"!
PLDI is a premier forum for programming language research, broadly construed, including design, implementation, theory, applications, and performance. This year, PLDI accepted 87 papers out of 320 submissions and 8 of the accepted papers were designated as Distinguished papers.
Jay Lim and Prof. Santosh Nagarakatte have developed a collection of fast, yet correct math library functions for 32-bit floats, which is significantly faster than all mainstream libraries. This is a significant advance as everyone in science and engineering uses functions from these libraries.
Read Jay Lim and Prof. Santosh Nagarakatte's PLDI 2021 paper at https://go.rutgers.edu/j1mts2z8
The list of distinguished papers at PLDI 2021 is available here: https://pldi21.sigplan.org/track/pldi-2021-papers