He obtained his PhD from the University of Pennsylvania in 2012. His broad research goal is to build robust, correct, and secure computing systems. His research interests are in Hardware-Software Interfaces spanning Programming Languages, Compilers, Software Engineering, and Computer Architecture. His papers have been selected as IEEE MICRO TOP Picks papers of computer architecture conferences in 2010 and 2013. He has received the NSF CAREER Award in 2015, ACM SIGPLAN PLDI 2015 Distinguished Paper Award, ACM SIGSOFT ICSE 2016 Distinguished Paper Award, and the Google Faculty Research Award in 2014 for his research on LLVM compiler verification. His papers have also been selected as SIGPLAN Research Highlights Paper in 2016 and Communications of the ACM Research Highlights Paper in 2017.