2024
Relational Network Verification
Xieyang Xu, Yifei Yuan, Zachary Kincaid, Arvind Krishnamurthy, Ratul Mahajan, David Walker, Ennan Zhai
SIGCOMM, 2024
Code

Sequence Abstractions for Flexible, Line-Rate Network Monitoring
Andrew Johnson, Ryan Beckett, Xiaoqi Chen, Ratul Mahajan, David Walker
NSDI, 2024
Code

2023
Application Defined Networking
Xiangfeng Zhu, Weixin Deng, Banruo Liu, Jingrong Chen, Yongji Wu, Tom Anderson, Arvind Krishnamurthy, Ratul Mahajan, Danyang Zhu
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
SoCC, 2023
Code and documentation

Anticipatory Resource Allocation for ML Training
Tapan Chugh, Srikanth Kandula, Arvind Krishnamurthy, Ratul Mahajan, Ishai Menache
SoCC, 2023

Lessons from the evolution of the Batfish configuration analysis tool
Matt Brown, Ari Fogel, Daniel Halperin, Victor Heohiardi, Ratul Mahajan, Todd Millstein
SIGCOMM, 2023
Code and documentation

Test coverage metrics for network configurations
Xieyang Xu, Weixin Deng, Ryan Beckett, Ratul Mahajan, David Walker
NSDI, 2023
Code and documentation

2021
Test coverage metrics for the network
Xieyang Xu, Ryan Beckett, Karthick Jayaraman, Ratul Mahajan, David Walker
SIGCOMM, 2021

2020
Abstract interpretation of distributed network control planes
Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
POPL, 2020

A general framework for compositional network modeling
Ryan Beckett, Ratul Mahajan
HotNets, 2020

Efficient verification of network fault tolerance via counterexample-guided refinement
Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
POPL, 2020

2019
Putting network verification to good use
Ryan Beckett, Ratul Mahajan
HotNets, 2019

Efficient verification of network fault tolerance via counterexample-guided refinement
Nick Giannarakis, Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
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 Harry 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 Conferene and Exhibition (OFC), 2016

Efficiently delivering online services over integrated infrastructure
Hongqiang Harry 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

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
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 Harry Liu, Srikanth Kandula, Ratul Mahajan, Ming Zhang, David Gelernter
ACM SIGCOMM, 2014
Appendix

Dynamic scheduling of network updates
Xin Jin, Hongqiang Harry 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
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
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
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
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
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
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
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 measurment (IMW), 2002
IMW talk

Measuring ISP topologies with Rocketfuel
Neil Spring, Ratul Mahajan, David Wetherall
ACM SIGCOMM, 2002
Best Student Paper 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
How Akamai works
Ratul Mahajan
Unpublished report, 2000