Network verification and high-level programming
A General Approach to Network Configuration Verification
Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
ACM SIGCOMM, 2017

Network Configuration Synthesis with Abstract Topologies
Ryan Beckett, Ratul Mahajan, Jitu Padhye, Todd Millstein, David Walker
ACM PLDI, 2017

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

Fast control plane analysis using an abstract representation
Aaron Gember-Jacobson, Raajay Viswanathan, Aditya Akella, Ratul Mahajan
ACM SIGCOMM, 2016

Systematically exploring the behavior of control programs
Jason Croft, Ratul Mahajan, Matt Caeser, Madan Musuvathi
USENIX ATC, 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

Finding protocol manipulation attacks
Nupur Kothari, Ratul Mahajan, Todd Millstein, Ramesh Govindan, Madan Musuvathi
ACM SIGCOMM, 2011

Can you fool me? towards automatically checking protocol gullibility
Milan Stanojevic, Ratul Mahajan, Todd Millstein, Madan Musuvathi
HotNets, 2008
HotNets talk

Optical networking
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

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

Optical layer failures in a large backbone
Monia Ghobadi, Ratul Mahajan
ACM IMC, 2016
Best Dataset 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

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

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

Software-defined networking
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

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

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

On consistent updates in software-defined networks
Ratul Mahajan, Roger Wattenhofer
HotNets, 2013
Extended version

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

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

Connected homes
Beam: Ending monolithic applications for connected devices
Chenguang Shen, Rayman Preet Singh, Amar Phanishayee, Aman Kansal, Ratul Mahajan
USENIX ATC, 2016

A Case for ending monolithic apps for connected devices
Rayman Preet Singh, Chenguang Shen, Amar Phanishayee, Aman Kansal, Ratul Mahajan
HotOS, 2015

sTrack: Secure tracking in community surveillance
Chun-Te Chu, Jaeyeon Jung, Zicheng Liu, Ratul Mahajan
ACM Multimedia, 2014

Bolt: Data management for connected homes
Trinabh Gupta, Rayman Preet Singh, Amar Phanishayee, Jaeyeon Jung, Ratul Mahajan
USENIX NSDI, 2014

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

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

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

An operating system for the home
Colin Dixon, Ratul Mahajan, Sharad Agarwal, AJ Brush, Bongshin Lee, Stefan Saroiu, Paramvir Bahl
USENIX NSDI, 2012

Advancing the state of home networking
W. Keith Edwards, Rebecca Grinter, Ratul Mahajan, David Wetherall
Communications of the ACM (CACM), 2011

Home automation in the wild: Challenges and opportunities
AJ Brush, Bongshin Lee, Ratul Mahajan, Sharad Agarwal, Stefan Saroiu, Colin Dixon
ACM CHI, 2011

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

Mobile systems
Timecard: Controlling user-perceived delays in server-based mobile applications
Lenin Ravindranath, Jitendra Padhye, Ratul Mahajan, Hari Balakrishnan
ACM SOSP, 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

AppInsight: Mobile app performance monitoring in the wild
Lenin Ravindranath, Jitendra Padhye, Sharad Agarwal, Ratul Mahajan, Ian Obermiller, Shahin Shayandeh
USENIX OSDI, 2012

High performance vehicular connectivity using opportunistic erasure coding
Ratul Mahajan, Jitendra Padhye, Sharad Agarwal, Brian Zill
USENIX ATC, 2012
Extended version

SystemSens: a tool for monitoring usage in smartphone research deployments
Hossein Falaki, Ratul Mahajan, Deborah Estrin
MobiArch workshop, 2011

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

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

Network monitoring and diagnosis
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

Gestalt: Fast, unified fault localization for networked systems
Radhika Niranjan Mysore, Ratul Mahajan, Amin Vahdat, George Varghese
USENIX ATC, 2014
Technical report

A provider-side view of Web search response time
Yingying Chen, Ratul Mahajan, Baskar Sridharan, Zhi-Li Zhang
ACM SIGCOMM, 2013

Latency inflation with MPLS-based traffic engineering
Abhinav Pathak, Ming Zhang, Y. Charlie Hu, Ratul Mahajan, Dave Maltz
ACM IMC, 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

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

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

Detailed diagnosis in enterprise networks
Srikanth Kandula, Ratul Mahajan, Patrick Verkaik, Sharad Agarwal, Jitendra Padhye, Paramvir Bahl
ACM SIGCOMM, 2009
SIGCOMM talk

Wireless networks
Wi-Fi networks are underutilized
Raghavendra, R., Jitendra Padhye, Ratul Mahajan, Belding, E.
MSR technical report MSR-2009-108, 2009

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

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

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

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

Internet measurements
Analyzing the performance of an anycast CDN
Matt Calder, Ethan Katz-Bassett, Ratul Mahajan, Jitu Padhye
ACM IMC, 2015

Glasnost: Enabling end users to detect traffic differentiation
Marcel Dischinger, Max Marcon, Saikat Guha, Krishna Gummadi, Ratul Mahajan, Stefan Saroiu
USENIX NSDI, 2010

Sampling biases in network path measurements and what to do about it
Srikanth Kandula, Ratul Mahajan
ACM IMC, 2009

Uncovering performance differences among backbone ISPs with NetDiff
Ratul Mahajan, Ming Zhang, Lindsey Poole, Vivek Pai
USENIX NSDI, 2008

Measuring ISP topologies with Rocketfuel
Neil Spring, Ratul Mahajan, David Wetherall, Tom Anderson
IEEE/ACM Transactions on Networking (ToN), 2004
William R. Bennett Prize

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

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

Incentives in networked systems
Mutually controlled routing with independent ISPs
Ratul Mahajan, David Wetherall, Tom Anderson
USENIX NSDI, 2007
NSDI talk | NANOG 37 talk

A polytheistic approach to securing interdomain routing
Ratul Mahajan
WIRED workshop (invited position paper), 2006
WIRED talk

Practical and efficient internet routing with competing interests
Ratul Mahajan
PhD Thesis, 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

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

Negotiation-based routing
Ratul Mahajan
WIRED workshop (invited position paper), 2003
WIRED talk

Miscellaneous
Management plane analytics
Aaron Gember-Jacobson, Wenfei Wu, Xiujun Liu, Aditya Akella, Ratul Mahajan
ACM IMC, 2015

A call to arms for management plane analytics
Aditya Akella, Ratul Mahajan
HotNets, 2014

Differentially-private network trace analysis
Frank McSherry, Ratul Mahajan
ACM SIGCOMM, 2010

How to build a research system in your spare time
Ratul Mahajan
Computer communication review (CCR), 2010
CoNext keynote

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

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

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

Controlling high-bandwidth flows at the congested router
Ratul Mahajan, Sally Floyd, David Wetherall
International Conference on Network Protocols (ICNP), 2001
ICNP talk

How Akamai works
Ratul Mahajan
Unpublished report, 2000