Rethinking Cloud Racks for Agentic AI

Picture
With the significant rise of compute and memory cost due to the rise of agentic AI, there is an ever pressing need for compute resource efficiency. New resource pooling technologies allow us to reimagine the cloud from the ground up to be orders of magnitude more efficient than "traditional" general-purpose clouds.

​Recent work: Oasis [SOSP'25], Memstrata [OSDI'24]

Kernel Extensibility with eBPF

Picture
eBPF is an exciting Linux-supported framework that allows userspace applications to write their custom functions that can be run in the kernel. We are exploring new use cases for eBPF, such as accelerating storage and database requests, allowing users to tweak and modify different kernel policies, and exploring how eBPF can be used as an interface to program various hardware accelerators.

​Recent work: bpf_fault [SOSP'26] cache_ext [SOSP'25]​, XRP [OSDI'22]

Distributed Transactional Databases

Picture
With the wide availability of low latency networking and storage, classical distributed database protocols, such as 2PC, are no longer a scalability bottleneck when building distributed transactional systems. Armed with this observation, we are designing the next generation of distributed transactional databases that are both fast (millions of transactions per second) and general (full SQL, strong semantics).

​Recent work: Rosé [CIDR'26], Chablis [CIDR'24], Chardonnay [OSDI'23]

Compute Infrastructure for Deep Space

Picture
Space is becoming an increasingly important computing environment, with thousands of satellites now operating in orbit and ambitious missions planned for the Moon, Mars, and beyond. However, space presents unique challenges, such as radiation, limited connectivity, constrained computing and power. Our research develops software system designs that enable robust, scalable computing infrastructure for space missions.

​Recent work: Radshield [ASPLOS'26], Above the Clouds [HotNets'25]