Publications

2026

Network Change Validation with Relational NetKAT

Han Xu, Zachary Kincaid, Ratul Mahajan, David Walker

ACM POPL, 2026

2025

	Self-Defining Systems Thomas Anderson, Ratul Mahajan, Simon Peter, Luke Zettlemoyer White paper, 2025
	Programmable and Adaptive Scheduling for Distributed Systems Yuyao Wang, Xiangfeng Zhu, Ratul Mahajan, Stephanie Wang ACM HotNets, 2025
	Offloading the Tedious Task of Writing eBPF Programs Xiangyu Gao, Xiangfeng Zhu, Bhavana Vannarth Shobhana, Yiwei Yang, Arvind Krishnamurthy, Ratul Mahajan 3rd Workshop on eBPF and Kernel Extensions (eBPF), 2025
	Rethinking RPC Communication for Microservices-based Applications Xiangfeng Zhu, Yang Zhou, Yuyao Wang, Xiangyu Gao, Arvind Krishnamurthy, Sam Kumar, Ratul Mahajan, Danyang Zhuo ACM HotOS, 2025
	High-level Programming for Application Networks Xiangfeng Zhu, Yuyao Wang, Banruo Liu, Yongtong Wu, Nikola Bojanic, Jingrong Chen, Gilbert Louis Bernstein, Arvind Krishnamurthy, Sam Kumar, Ratul Mahajan, Danyang Zhuo USENIX NSDI, 2025 Code and documentation

2024

	Relational Network Verification Xieyang Xu, Yifei Yuan, Zachary Kincaid, Arvind Krishnamurthy, Ratul Mahajan, David Walker, Ennan Zhai ACM SIGCOMM, 2024 Code
	Sequence Abstractions for Flexible, Line-Rate Network Monitoring Andrew Johnson, Ryan Beckett, Xiaoqi Chen, Ratul Mahajan, David Walker USENIX NSDI, 2024 Code

2023

	Application Defined Networking Xiangfeng Zhu, Weixin Deng, Banruo Liu, Jingrong Chen, Yongji Wu, Tom Anderson, Arvind Krishnamurthy, Ratul Mahajan, Danyang Zhuo ACM HotNets, 2023
	Dissecting Overheads of Service Mesh Sidecars Xiangfeng Zhu, Guozhen She, Bowen Xue, Yu Zhang, Yongsu Zhang, Xuan Kelvin Zou, XiongChun Duan, Peng He, Arvind Krishnamurthy, Matthew Lentz, Danyang Zhuo, Ratul Mahajan ACM SoCC, 2023 Code and documentation
	Anticipatory Resource Allocation for ML Training Tapan Chugh, Srikanth Kandula, Arvind Krishnamurthy, Ratul Mahajan, Ishai Menache ACM SoCC, 2023
	Lessons from the evolution of the Batfish configuration analysis tool Matt Brown, Ari Fogel, Daniel Halperin, Victor Heohiardi, Ratul Mahajan, Todd Millstein ACM SIGCOMM, 2023 ACM SIGCOMM Networking Systems Award Code and documentation
	Test coverage metrics for network configurations Xieyang Xu, Weixin Deng, Ryan Beckett, Ratul Mahajan, David Walker USENIX NSDI, 2023 Code and documentation

2021

Test coverage metrics for the network

Xieyang Xu, Ryan Beckett, Karthick Jayaraman, Ratul Mahajan, David Walker

ACM SIGCOMM, 2021

2020

	Abstract interpretation of distributed network control planes Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker ACM POPL, 2020
	A general framework for compositional network modeling Ryan Beckett, Ratul Mahajan ACM HotNets, 2020

2019

	Putting network verification to good use Ryan Beckett, Ratul Mahajan ACM HotNets, 2019
	Efficient verification of network fault tolerance via counterexample-guided refinement Nick Giannarakis, Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker International Conference on Computer Aided Verification (CAV), 2019 Extended version with proofs

2018

	Control Plane Compression Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker ACM SIGCOMM, 2018 Extended version with proofs
	Odin: Microsoft's Scalable Fault-Tolerant CDN Measurement System Matt Calder, Manuel Schroder, Ryan Gao, Ryan Stewart, Jitendra Padhye, Ratul Mahajan, Ganesh Ananthanarayanan, Ethan Katz-Bassett USENIX NSDI, 2018

2017

	Automatically Repairing Network Control Planes Using an Abstract Representation Aaron Gember-Jacobson, Aditya Akella, Ratul Mahajan, Hongqiang Liu ACM SOSP, 2017
	A General Approach to Network Configuration Verification Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker ACM SIGCOMM, 2017
	Understanding and mitigating packet corruption in data center networks Danyang Zhuo, Monia Ghobadi, Ratul Mahajan, Klaus-Tycho Förster, Arvind Krishnamurthy, Thomas Anderson ACM SIGCOMM, 2017
	Network Configuration Synthesis with Abstract Topologies Ryan Beckett, Ratul Mahajan, Jitu Padhye, Todd Millstein, David Walker ACM PLDI, 2017
	RAIL: A case for redundant arrays of inexpensive links in data center networks Danyang Zhuo, Monia Ghobadi, Ratul Mahajan, Amar Phanishayee, Xuan Kelvin Zou, Hang Guan, Arvind Krishnamurthy, Thomas Anderson USENIX NSDI, 2017

2016

	Optical layer failures in a large backbone Monia Ghobadi, Ratul Mahajan ACM IMC, 2016 Best Dataset Award
	Efficient network reachability analysis using a succinct control plane representation Seyed K. Fayaz, Tushar Sharma, Ari Fogel, Ratul Mahajan, Todd Millstein, Vyas Sekar, George Varghese USENIX OSDI, 2016
	ddNF: An efficient data structure for header spaces Nikolaj Bjørner, Garvit Juniwal, Ratul Mahajan, Sanjit A. Seshia, George Varghese Haifa Verification Conference (HVC), 2016 Best Paper Award
	Don't mind the gap: Bridging network-wide objectives and device-level configurations Ryan Beckett, Ratul Mahajan, Jitu Padhye, Todd Millstein, David Walker ACM SIGCOMM, 2016 Best Paper Award
	ProjecToR: Agile reconfigurable datacenter interconnect Monia Ghobadi, Ratul Mahajan, Amar Phanishayee, Houman Rastegarfar, Pierre-Alexandre Blanche, Madeleine Glick, Daniel Kilper, Janardhan Kulkarni, Gireeja Ranade, Nikhil Devanur ACM SIGCOMM, 2016
	Fast control plane analysis using an abstract representation Aaron Gember-Jacobson, Raajay Viswanathan, Aditya Akella, Ratul Mahajan ACM SIGCOMM, 2016
	Beam: Ending monolithic applications for connected devices Chenguang Shen, Rayman Preet Singh, Amar Phanishayee, Aman Kansal, Ratul Mahajan USENIX ATC, 2016
	Elastic optical networking in the Microsoft cloud Mark Filer, Jamie Gaudette, Monia Ghobadi, Ratul Mahajan, Tom Issenhuth, Buddy Klinkers, Jeff Cox Journal of Optical Communications and Networking (JOCN), 2016
	Consistent updates in software-defined networks: On dependencies, loop freedom, and blackholes Klaus-Tycho Forster, Ratul Mahajan, Roger Wattenhofer IFIP Networking, 2016 Selected for forwarding to the IFIP TC6 journal Open Transactions on Communication Systems
	Evaluation of elastic modulation gains in Microsoft's optical backbone in North America Monia Ghobadi, Jamie Gaudette, Ratul Mahajan, Amar Phanishayee, Buddy Klinkers, Daniel Kilper The Optical Fiber Communication Conference and Exhibition (OFC), 2016
	Efficiently delivering online services over integrated infrastructure Hongqiang Liu, Raajay Viswanathan, Matt Calder, Aditya Akella, Ratul Mahajan, Jitendra Padhye, Ming Zhang USENIX NSDI, 2016 Technical report

2015

	Management plane analytics Aaron Gember-Jacobson, Wenfei Wu, Xiujun Liu, Aditya Akella, Ratul Mahajan ACM IMC, 2015
	Analyzing the performance of an anycast CDN Matt Calder, Ethan Katz-Bassett, Ratul Mahajan, Jitu Padhye ACM IMC, 2015
	Packet-Level telemetry in large datacenter networks Yibo Zhu, Nanxi Kang, Jiaxin Cao, Albert Greenberg, Guohan Lu, Ratul Mahajan, Dave Maltz, Lihua Yuan, Ming Zhang, Ben Y. Zhao, Haitao Zheng ACM SIGCOMM, 2015
	Measuring and troubleshooting large operational multipath networks with gray box testing Hongyi Zeng, Ratul Mahajan, Nick McKeown, George Varghese, Lihua Yuan, Ming Zhang MSR technical report MSR-TR-2015-55, 2015
	Systematically exploring the behavior of control programs Jason Croft, Ratul Mahajan, Matt Caeser, Madan Musuvathi USENIX ATC, 2015
	A Case for ending monolithic apps for connected devices Rayman Preet Singh, Chenguang Shen, Amar Phanishayee, Aman Kansal, Ratul Mahajan HotOS, 2015
	A general approach to network configuration analysis Ari Fogel, Stanley Fung, Luis Pedrosa, Meg Walraed-Sullivan, Ramesh Govindan, Ratul Mahajan, Todd Millstein USENIX NSDI, 2015 ACM SIGCOMM Networking Systems Award
	Analyzing protocols implementations for interoperability Luis Pedrosa, Ari Fogel, Nupur Kothari, Ramesh Govindan, Ratul Mahajan, Todd Millstein USENIX NSDI, 2015

2014

	A call to arms for management plane analytics Aditya Akella, Ratul Mahajan ACM HotNets, 2014
	sTrack: Secure tracking in community surveillance Chun-Te Chu, Jaeyeon Jung, Zicheng Liu, Ratul Mahajan ACM Multimedia, 2014
	Traffic engineering with forward fault correction Hongqiang Liu, Srikanth Kandula, Ratul Mahajan, Ming Zhang, David Gelernter ACM SIGCOMM, 2014 Appendix
	Dynamic scheduling of network updates Xin Jin, Hongqiang Liu, Rohan Gandhi, Srikanth Kandula, Ratul Mahajan, Ming Zhang, Jennifer Rexford, Roger Wattenhofer ACM SIGCOMM, 2014 Extended version
	A network-state management service Peng Sun, Ratul Mahajan, Jennifer Rexford, Lihua Yuan, Ming Zhang, Ahsan Arefin ACM SIGCOMM, 2014
	Gestalt: Fast, unified fault localization for networked systems Radhika Niranjan Mysore, Ratul Mahajan, Amin Vahdat, George Varghese USENIX ATC, 2014 Technical report
	Bolt: Data management for connected homes Trinabh Gupta, Rayman Preet Singh, Amar Phanishayee, Jaeyeon Jung, Ratul Mahajan USENIX NSDI, 2014

2013

	On consistent updates in software-defined networks Ratul Mahajan, Roger Wattenhofer ACM HotNets, 2013 Extended version
	Timecard: Controlling user-perceived delays in server-based mobile applications Lenin Ravindranath, Jitendra Padhye, Ratul Mahajan, Hari Balakrishnan ACM SOSP, 2013
	Towards a storage system for connected homes Trinabh Gupta, Amar Phanishayee, Jaeyeon Jung, Ratul Mahajan Workshop on Large-Scale Distributed Systems and Middleware (LADIS), 2013
	Achieving high utilization with software-driven WAN Chi-Yao Hong, Srikanth Kandula, Ratul Mahajan, Ming Zhang, Vijay Gill, Mohan Nanduri, Roger Wattenhofer ACM SIGCOMM, 2013 Extended version
	A provider-side view of Web search response time Yingying Chen, Ratul Mahajan, Baskar Sridharan, Zhi-Li Zhang ACM SIGCOMM, 2013
	The case for psychological computing Xuan Bao, Mahanth Gowda, Ratul Mahajan, Romit Roy Choudhury International Workshop on Mobile Computing Systems and Applications (HotMobile), 2013
	Digital neighborhood watch: Investigating the sharing of camera data amongst neighbors AJ Brush, Jaeyeon Jung, Ratul Mahajan, Frank Martinez Computer Supported Collaborative Work (CSCW), 2013

2012

	AppInsight: Mobile app performance monitoring in the wild Lenin Ravindranath, Jitendra Padhye, Sharad Agarwal, Ratul Mahajan, Ian Obermiller, Shahin Shayandeh USENIX OSDI, 2012
	HomeLab: Shared infrastructure for home technology field studied AJ Brush, Jaeyeon Jung, Ratul Mahajan, James Scott Workshop on Systems and Infrastructure for the Digital Home (HomeSys), 2012
	High performance vehicular connectivity using opportunistic erasure coding Ratul Mahajan, Jitendra Padhye, Sharad Agarwal, Brian Zill USENIX ATC, 2012 Extended version
	An operating system for the home Colin Dixon, Ratul Mahajan, Sharad Agarwal, AJ Brush, Bongshin Lee, Stefan Saroiu, Paramvir Bahl USENIX NSDI, 2012

2011

	Latency inflation with MPLS-based traffic engineering Abhinav Pathak, Ming Zhang, Y. Charlie Hu, Ratul Mahajan, Dave Maltz ACM IMC, 2011
	Finding protocol manipulation attacks Nupur Kothari, Ratul Mahajan, Todd Millstein, Ramesh Govindan, Madan Musuvathi ACM SIGCOMM, 2011
	Human-guided machine learning for fast and accurate network alarm triage Saleema Amershi, Bongshin Lee, Ashish Kapoor, Ratul Mahajan, Blaine Christian International Joint Conference on Artificial Intelligence (IJCAI), 2011 Selected for the Best Papers Track
	Advancing the state of home networking W. Keith Edwards, Rebecca Grinter, Ratul Mahajan, David Wetherall Communications of the ACM (CACM), 2011
	SystemSens: a tool for monitoring usage in smartphone research deployments Hossein Falaki, Ratul Mahajan, Deborah Estrin MobiArch workshop, 2011
	CueT: Human-guided fast and accurate network alarm triage Saleema Amershi, Bongshin Lee, Ashish Kapoor, Ratul Mahajan, Blaine Christian ACM CHI, 2011 Honorable Mention Award
	Home automation in the wild: Challenges and opportunities AJ Brush, Bongshin Lee, Ratul Mahajan, Sharad Agarwal, Stefan Saroiu, Colin Dixon ACM CHI, 2011

2010

	The home needs an operating system (and an app store) Colin Dixon, Ratul Mahajan, Sharad Agarwal, AJ Brush, Bongshin Lee, Stefan Saroiu, Paramvir Bahl ACM HotNets, 2010
	There's an app for that, but it doesn't work. Diagnosing mobile applications in the wild Sharad Agarwal, Ratul Mahajan, Alice Zheng, Paramvir Bahl ACM HotNets, 2010
	A first look at traffic on smartphones Hossein Falaki, Dimitrios Lymberopoulos, Ratul Mahajan, Srikanth Kandula, Deborah Estrin ACM IMC, 2010
	NetClinic: Interactive visualization to enhance automated fault diagnosis in enterprise networks Zhicheng Liu, Bongshin Lee, Srikanth Kandula, Ratul Mahajan IEEE Symposium on Visual Analytics Science and Technology (VAST), 2010 Selected for forwarding to Information Visualization journal
	Differentially-private network trace analysis Frank McSherry, Ratul Mahajan ACM SIGCOMM, 2010
	Augmenting mobile 3G using WiFi Aruna Balasubramanian, Ratul Mahajan, Arun Venkataramani ACM MobiSys, 2010
	Diversity in smartphone usage Hossein Falaki, Ratul Mahajan, Srikanth Kandula, Dimitrios Lymberopoulos, Ramesh Govindan, Deborah Estrin ACM MobiSys, 2010
	Glasnost: Enabling end users to detect traffic differentiation Marcel Dischinger, Max Marcon, Saikat Guha, Krishna Gummadi, Ratul Mahajan, Stefan Saroiu USENIX NSDI, 2010
	Optimizing cost and performance in online service provider networks Zheng Zhang, Ming Zhang, Albert Greenberg, Y. Charlie Hu, Ratul Mahajan, Blaine Christian USENIX NSDI, 2010
	How to build a research system in your spare time Ratul Mahajan Computer communication review (CCR), 2010 CoNext keynote

2009

	Sampling biases in network path measurements and what to do about it Srikanth Kandula, Ratul Mahajan ACM IMC, 2009
	Detailed diagnosis in enterprise networks Srikanth Kandula, Ratul Mahajan, Patrick Verkaik, Sharad Agarwal, Jitendra Padhye, Paramvir Bahl ACM SIGCOMM, 2009 SIGCOMM talk
	Wi-Fi networks are underutilized Raghavendra, R., Jitendra Padhye, Ratul Mahajan, Belding, E. MSR technical report MSR-2009-108, 2009

2008

	Can you fool me? towards automatically checking protocol gullibility Milan Stanojevic, Ratul Mahajan, Todd Millstein, Madan Musuvathi ACM HotNets, 2008 HotNets talk
	Eat all you can in an all-you-can-eat buffet: A case for aggressive resource usage Ratul Mahajan, Jitendra Padhye, Ramya Raghavendra, Brian Zill ACM HotNets, 2008 HotNets talk
	Interactive WiFi connectivity for moving vehicles Aruna Balasubramanian, Ratul Mahajan, Arun Venkataramani, Brian N. Levine, John Zahorjan ACM SIGCOMM, 2008 Extended version
	A case for adapting channel width in wireless networks Ranveer Chandra, Ratul Mahajan, Thomas Moscibroda, Ramya Raghavendra, Paramvir Bahl ACM SIGCOMM, 2008
	Predictable performance optimization for wireless networks Yi Li, Lili Qiu, Yin Zhang, Ratul Mahajan, Eric Rozner ACM SIGCOMM, 2008
	Uncovering performance differences among backbone ISPs with NetDiff Ratul Mahajan, Ming Zhang, Lindsey Poole, Vivek Pai USENIX NSDI, 2008

2007

	Effects of interference on wireless mesh networks: Pathologies and a preliminary solution Yi Li, Lili Qiu, Yin Zhang, Ratul Mahajan, Zifei Zhong, Gaurav Deshpande, Eric Rozner ACM HotNets, 2007 HotNets talk
	Understanding WiFi-based connectivity from moving vehicles Ratul Mahajan, John Zahorjan, Brian Zill ACM IMC, 2007 IMC talk
	A general model of wireless interference Lili Qiu, Yin Zhang, Feng Wang, Mi Kyung Han, Ratul Mahajan ACM MobiCom, 2007
	Mutually controlled routing with independent ISPs Ratul Mahajan, David Wetherall, Tom Anderson USENIX NSDI, 2007 NSDI talk \| NANOG 37 talk

2006

	Analyzing the MAC-level behavior of wireless networks in the wild Ratul Mahajan, Maya Rodrig, David Wetherall, John Zahorjan ACM SIGCOMM, 2006 SIGCOMM talk
	Measurement-based models of delivery and interference in static wireless networks Charles Reis, Ratul Mahajan, Maya Rodrig, David Wetherall, John Zahorjan ACM SIGCOMM, 2006
	A polytheistic approach to securing interdomain routing Ratul Mahajan WIRED workshop (invited position paper), 2006 WIRED talk

2005

	Practical and efficient internet routing with competing interests Ratul Mahajan PhD Thesis, 2005
	Measurement-based characterization of 802.11 in a hotspot setting Maya Rodrig, Charles Reis, Ratul Mahajan, David Wetherall, John Zahorjan Workshop on Experimental approaches to wireless network design and analysis (E-WIND), 2005
	Sustaining cooperation in multi-hop wireless networks Ratul Mahajan, Maya Rodrig, David Wetherall, John Zahorjan USENIX NSDI, 2005
	Negotiation-based routing between neighboring ISPs Ratul Mahajan, David Wetherall, Tom Anderson USENIX NSDI, 2005 NANOG 31 talk

2004

	Towards coordinated interdomain traffic engineering Ratul Mahajan, David Wetherall, Tom Anderson ACM HotNets, 2004 HotNets talk
	Experiences applying game theory to system design Ratul Mahajan, Maya Rodrig, David Wetherall, John Zahorjan Workshop on Practice and theory of incentives in networked systems (PINS), 2004
	Measuring ISP topologies with Rocketfuel Neil Spring, Ratul Mahajan, David Wetherall, Tom Anderson IEEE/ACM Transactions on Networking (ToN), 2004 William R. Bennett Prize

2003

	User-level Internet path diagnosis Ratul Mahajan, Neil Spring, David Wetherall, Tom Anderson ACM SOSP, 2003 SOSP talk \| NANOG 31 talk
	Quantifying the causes of path inflation Neil Spring, Ratul Mahajan, Tom Anderson ACM SIGCOMM, 2003
	A study of the performance potential of DHT-based overlays Sushant Jain, Ratul Mahajan, David Wetherall USENIX Symposium on Internet Technologies and Systems (USITS), 2003
	Controlling the cost of reliability in peer-to-peer overlays Ratul Mahajan, Miguel Castro, Ant Rowstron International Workshop on Peer-to-Peer Systems (IPTPS), 2003 IPTPS talk
	Negotiation-based routing Ratul Mahajan WIRED workshop (invited position paper), 2003 WIRED talk

2002

	Inferring link weights using end-to-end measurements Ratul Mahajan, Neil Spring, David Wetherall, Tom Anderson Workshop on Internet measurement (IMW), 2002 IMW talk
	Measuring ISP topologies with Rocketfuel Neil Spring, Ratul Mahajan, David Wetherall ACM SIGCOMM, 2002 Best Student Paper Award. Test of Time Award. IPAM talk
	Understanding BGP misconfiguration Ratul Mahajan, David Wetherall, Tom Anderson ACM SIGCOMM, 2002 SIGCOMM talk
	Controlling high bandwidth aggregates in the network Ratul Mahajan, Steve Bellovin, Sally Floyd, John Ioannidis, Vern Paxson, Scott Shenker Computer Communication Review (CCR), 2002
	Translating XSLT programs to efficient SQL queries Sushant Jain, Ratul Mahajan, Dan Suciu World Wide Web (WWW), 2002
	Scalable self-organizing overlays Sushant Jain, Ratul Mahajan, David Wetherall, Gaetano Borriello, Steve Gribble UW-CSE Technical report, 2002

2001

Controlling high-bandwidth flows at the congested router

Ratul Mahajan, Sally Floyd, David Wetherall

International Conference on Network Protocols (ICNP), 2001

ICNP talk

2000