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 in computer systems, with a focus on security, performance, energy-efficiency, and timeliness, spanning the subdisciplines of concurrent, heterogenous, distributed, and real-time computing. Recently, I have been dabbling in software verification.

Current projects

Low-level reasoning machine (LLRM), verifying security properties of binaries.
Popcorn Linux, system software for ISA-heterogeneous hardware.
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)
ECE/CS 5544 Compiler Optimizations (Spring)
ECE 5984/SS Modern Binary Exploitation (Fall)

Service

Editorial Board, IEEE Transactions on Cloud Computing
Editorial Board, ACM Transactions on Embedded Computing Systems
Program Co-Chair, ACM Systor 2025
Program Committee (ERC), ASPLOS 2025, ASPLOS 2026

Recent news

05/09/25. Ilan Buzzetti from UTD and Aadi Rave from Purdue visits SSRG.
04/11/25. Prof. Antonio Barbalace from Edinburgh visits SSRG during April-May'25.
03/28/25. LLRM-er Ruotong Yu finishes his postdoc and joins Fortinet.
02/03/25. LLRM-er Syadus Sefat defends his PhD and joins AMD.
01/27/25. Popcorn Linux’s Stramash OS is conditionally accepted at ASPLOS'25.
01/19/25. LLRM’s verified binary pointer analysis is accepted at ICSE'25.