The Rutgers Computer Science Department is pleased to announce Professor Santosh Nagarakatte has received another unrestricted research gift for an amount of $62,000 from Intel Corporation for his research on developing correctly rounded math libraries in the RLIBM project. This is his third unrestricted research gift for the RLIBM project. Previous ones were awarded in 2022 and 2023.  This gift will enable the technology transfer of ideas and techniques from the RLIBM project to Intel's math libraries and prototypes.

Prof. Nagarakatte's papers on the RLIBM project have been previously recognized with the PLDI 2021 Distinguished Paper Award and the POPL 2022 Distinguished Paper Award. His Ph.D. student Jay Lim's dissertation on this topic was recognized with the 2022 ACM SIGPLAN John C Reynolds Outstanding Dissertation Award.

Congratulations to Prof. Santosh Nagarakatte and the members of the RLIBM project on this research gift!

See more about the RLIBM project here: https://people.cs.rutgers.edu/~sn349/rlibm/