Title
Associate Professor
Education
PhD, Georgia Institute of Technology, Computer Science (2013)
Notable Awards
Inducted into MICRO Hall of Fame [2021]
NSF CAREER Award [2018]
Google Faculty Research Award [2015]
AMD Faculty Research Award [2017]
NSF Career Award [2018]
MICRO Hall of Fame [2021]
Biography
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.
