Skip to content Skip to navigation

Intel grant for Santosh Nagarakatte

Friday, October 9, 2015

Congratulations to Prof. Santosh Nagarakatte, who has just received a research grant from Intel Corp. The grant, for an amount of $75000, funds his research in the area of “Lightweight Formal Methods for LLVM Verification and a MPX target for LLVM.” Compilers form an integral component of the software development ecosystem. Unfortunately, compiler bugs in mainstream compilers are common, which manifest either as crashes during compilation, or, much worse, result in the silent generation of incorrect programs. This award supports research to develop tools and techniques to prove the correctness of the specification of optimizations in the LLVM compiler and to generate C++ implementations from the specification. The award also supports the exploration of a LLVM target for Intel Memory Protection Extensions.]]>