My research focuses on making computing infrastructure programmable, efficient, and dependable, from datacenters to the network edge. I build abstractions and runtime systems for predictable performance and resilience, and develop methods to automate systems policy design and enable realistic evaluation.

Recent News [all]

Current Projects

Programmable, Efficient, and Resilient Datacenter Infrastructure

Abstractions and runtime systems for programming heterogeneous hardware, managing communication and memory, and preserving application progress through failures

Alkali (NSDI'25)  ·  ExoPlane (NSDI'23)  ·  RedPlane (SIGCOMM'21)  ·  TEA (SIGCOMM'20)

Predictable and Resilient Real-Time Edge Computing

Systems and abstractions for sharing wireless network and nearby server resources to deliver predictable, secure, and resilient interactive applications

SMEC (NSDI'26)  ·  ARMA (MobiSys'25)  ·  5G Fronthaul Security (USENIX Security'24)  ·  Slingshot (SIGCOMM'23)  ·  Atlas (MobiCom'23)

Automating Systems Design and Evaluation

Safe policy synthesis, efficient performance modeling, and realistic testing environments for diverse hardware and workloads

Mimesys (OSDI'26)  ·  Dooly (arXiv'26)  ·  TraceLLM (EMNLP'25)