PhD, Georgia Institute of Technology, Computer Science (2013)
Google Faculty Research Award 
AMD Faculty Research Award 
NSF Career Award 
MICRO Hall of Fame 
My research interests are in compilers and computer architecture, with an emphasis on performance, reliability, and security. I have developed program analysis and microarchitecture optimization techniques for soft error resilience, concurrency bug detection, and system security such as memory safety and Linux kernel permission check. Currently, I am working on speculative intermittent computation and nonvolatile memory crash consistency. My research approach is to question current practices, that are considered as norms in the literature, and develop alternative desgin. To achieve this, I often leverage compiler-architecture interation and repurpose existing hardware features.