PhD, Georgia Institute of Technology, Computer Science (2013)
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.