My research interests include computer systems in general with particular focus on computer architecture. I am interested in combining architectural techniques with low-level software to enhance various aspects of computing systems such as performance, energy-efficiency, and security. My current research projects focus on two major directions, one on building secure computing systems with verifiable security properties and the other on developing architecture and tools to enable efficient heterogeneous computing systems with minimal manual efforts.