-
Network Change Validation with Relational NetKAT
Han Xu, Zachary Kincaid, Ratul Mahajan, and David Walker
POPL, 2026
-
Self-Defining Systems
Thomas Anderson, Ratul Mahajan, Simon Peter, and Luke Zettlemoyer
White paper, 2025
-
Programmable and Adaptive Scheduling for Distributed Systems
Yuyao Wang, Xiangfeng Zhu, Ratul Mahajan, and Stephanie Wang
HotNets, 2025