Congratulations to Prof. Santosh Nagarakatte, who has received an unrestricted research gift from Intel Corporation. The gift, for an amount of $62,000, funds his research on developing correctly rounded math libraries in the RLIBM project. It will also 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!