Congratulations to Prof. Santosh Nagarakatte on receiving another unrestricted research gift from Intel Corporation for his RLIBM project. The gift, for an amount of $62,000, supports his research on developing correctly rounded math libraries in the RLIBM project.
Prof. Nagarakatte had previously received an unrestricted research gift for the RLIBM project from Intel Corporation last year. Prof. Nagarakatte's papers on the RLIBM project have been recognized with the PLDI 2021 Distinguished Paper Award and the POPL 2022 Distinguished Paper Award. His Ph.D student, Jay Lim's dissertation on the RLIBM project was also awarded the 2022 ACM SIGPLAN John C Reynolds Outstanding Doctoral Dissertation Award.
Congratulations to Prof. Santosh Nagarakatte and the members of the RLIBM project on this research gift!