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 |