Skip to content Skip to navigation

Santosh Nagarakatte awarded Google grant

Saturday, February 15, 2014

Congratulations to Prof. Santosh Nagarakatte, who has just received a Google Faculty Research Award. He was awarded an amount of $63500 for his project entitled “Semi-Automated Verification of LLVM Optimizations using SMT Solvers”. This project addresses the goal of of building a robust verified LLVM compiler by (1) formalizing the semantics of various components of the LLVM compiler  and (2) developing tools and techniques to automate the process of verifying compiler optimizations leveraging SMT (satisfiability modulo theories) solvers while minimizing the need for interactive proofs.]]>