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.
Low-level reasoning machine (LLRM), verifying security properties of binaries.
LibrettOS, multiserver/library OS with POSIX and legacy driver support.
Hyflow, concurrency control abstractions and algorithms.

Recent past projects

HermiTux, binary-compatible unikernel OS.
SlimGuard, secure, fast, and memory-efficient heap allocator.
HydraVM, automated concurrency refactoring of legacy software.
KairosVM, KVM-based real-time hypervisor.

Teaching

ECE/CS 5510 Multiprocessor Programming (Fall 2020-2023)
ECE/CS 5544 Compiler Optimizations (Spring 2022-2023)

Recent news

03/03/24. Selective MVX conditionally accepted at Middleware'24.
02/26/24. Hyflow’s safe memory reclamation is conditionally accepted at PLDI'24.
02/17/24. Named to 2023 Class of IEEE CS Distinguished Contributors.
02/16/24. Basavesh Shivakumar joins SSRG as a research associate.
02/02/24. LLRM’s exceptional handling CFG is conditionally accepted at DIMVA'24.
01/31/24. Swarn Priya joins SSRG as a postdoc.
12/12/23. Popcorn Linux-er Abilesh defends his MS thesis and joins NVIDIA.
12/12/23. LLRM-er Sagar completes his MEng project and joins MathWorks.
12/06/23. Gave an invited talk at NSWC Dahlgren on LLRM’s verified binary lifting.
11/30/23. Gave an invited talk at UNC Charlotte on LLRM’s verified binary lifting.
09/08/23. Cindy An joins Shenzhen Technology University as an Assistant Professor.
09/07/23. Dynamic program debloating paper accepted at MIDDLEWARE'23.