Skip to content Skip to navigation

Prof. Santosh Nagarakatte awarded Intel Grant

Congratulations to Prof. Santosh Nagarakatte, who has just received an unrestricted research gift from Intel Corporation. The gift, for an amount of $75000, funds his research in the area of “Pragmatic abstractions, techniques, and tools for LLVM verification”. Prof. Nagarakatte's research group is designing lightweight formal tools that enable compiler writers to develop correct peephole optimizations for LLVM, a widely used mainstream compiler. This award supports further enhancements to the Alive-NJ prototype to reason about the correctness of floating point optimizations, to assist compiler writers when optimizations are not correct, and to extend the class of optimizations handled by Alive-NJ.