Skip to content Skip to navigation

CAREER award for Santosh Nagarakatte

Friday, January 16, 2015

Congratulations to Prof. Santosh Nagarakatte, who has just been awarded the prestigious NSF CAREER award for his project entitled “CAREER: Semantics, Abstractions, and Tools for a Pragmatic Verified LLVM Compiler.” The grant runs for a period of 5 years, from 2015 to 2019, and is for an amount of $545,000
The main aim of the project is to develop tools to assist compiler writers to build compilers that are correct by construction. Compilers are complex pieces of software, and prior research has shown that even mature compilers have subtle bugs in them that can manifest themselves in various ways in the applications that they are used to compile. Santosh’s CAREER award proposes a research, education and outreach plan that will develop lightweight formal methods to assist in the creation of verified compilers, particularly targeting the popular, open-source LLVM compiler. For a flavor of the work proposed in Santosh’s project, check out the following blog post on the ALIVE (Automatic LLVM InstCombine Verifier) project:
For more details on Santosh’s CAREER grant, please consult NSF’s website:
To quote the NSF, “The Faculty Early Career Development (CAREER) Program is a Foundation-wide activity that offers the National Science Foundation’s most prestigious awards in support of junior faculty who exemplify the role of teacher-scholars through outstanding research, excellent education and the integration of education and research within the context of the mission of their organizations. Such activities should build a firm foundation for a lifetime of leadership in integrating education and research.”]]>