I am a Professor in Virginia Tech’s Department of Electrical and Computer Engineering, where I lead the Systems Software Research Group. Here is my bio. Research My research is broadly in computer systems, with a focus on programmability, performance, security, energy efficiency, and real-time. Toward that end, I study concurrency, distributed systems, operating systems, compilers/run-times, and real-time systems. Recently, I have been dabbling in software verification. Current projects Popcorn Linux, system software for ISA-heterogeneous hardware.