Ratul Mahajan

ORCID

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 37

Top Venues

Publications

Xieyang Xu, Yifei Yuan, Zachary Kincaid, Arvind Krishnamurthy, Ratul Mahajan, David Walker, Ennan Zhai
Relational Network Verification. SIGCOMM (2024)
Xieyang Xu, Yifei Yuan, Zachary Kincaid, Arvind Krishnamurthy, Ratul Mahajan, David Walker, Ennan Zhai
Relational Network Verification. CoRR (2024)
Andrew Johnson, Ryan Beckett, Xiaoqi Chen, Ratul Mahajan, David Walker
Sequence Abstractions for Flexible, Line-Rate Network Monitoring. NSDI (2024)
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
Dissecting Overheads of Service Mesh Sidecars. SoCC (2023)
Xieyang Xu, Weixin Deng, Ryan Beckett, Ratul Mahajan, David Walker
Test Coverage for Network Configurations. NSDI (2023)
Matt Brown, Ari Fogel, Daniel Halperin, Victor Heorhiadi, Ratul Mahajan, Todd D. Millstein
Lessons from the evolution of the Batfish configuration analysis tool. SIGCOMM (2023)
Xiangfeng Zhu, Weixin Deng, Banruo Liu, Jingrong Chen, Yongji Wu, Thomas Anderson, Arvind Krishnamurthy, Ratul Mahajan, Danyang Zhuo
Application Defined Networks. HotNets (2023)
Tapan Chugh, Srikanth Kandula, Arvind Krishnamurthy, Ratul Mahajan, Ishai Menache
Anticipatory Resource Allocation for ML Training. SoCC (2023)
Xieyang Xu, Weixin Deng, Ryan Beckett, Ratul Mahajan, David Walker
Test Coverage for Network Configurations. CoRR (2022)
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
Dissecting Service Mesh Overheads. CoRR (2022)
Xieyang Xu, Ryan Beckett, Karthick Jayaraman, Ratul Mahajan, David Walker
Test coverage metrics for the network. SIGCOMM (2021)
Ryan Beckett, Ratul Mahajan
A General Framework for Compositional Network Modeling. HotNets (2020)
Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
Abstract interpretation of distributed network control planes. Proc. ACM Program. Lang. 4 (POPL) (2020)
Nick Giannarakis, Ryan Beckett, Ratul Mahajan, David Walker
Efficient Verification of Network Fault Tolerance via Counterexample-Guided Refinement. CAV (2) (2019)
Ryan Beckett, Ratul Mahajan
Putting network verification to good use. HotNets (2019)
Ryan Beckett, Ratul Mahajan, Todd D. Millstein, Jitendra Padhye, David Walker
Don't mind the gap: Bridging network-wide objectives and device-level configurations: brief reflections on abstractions for network programming. Comput. Commun. Rev. 49 (5) (2019)
Matt Calder, Ryan Gao, Manuel Schröder, Ryan Stewart, Jitendra Padhye, Ratul Mahajan, Ganesh Ananthanarayanan, Ethan Katz-Bassett
Odin: Microsoft's Scalable Fault-Tolerant CDN Measurement System. NSDI (2018)
Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
Control plane compression. SIGCOMM (2018)
Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
Control Plane Compression. CoRR (2018)
Danyang Zhuo, Monia Ghobadi, Ratul Mahajan, Klaus-Tycho Förster, Arvind Krishnamurthy, Thomas E. Anderson
Understanding and Mitigating Packet Corruption in Data Center Networks. SIGCOMM (2017)
Bharathan Balaji, Bradford Campbell, Amit Levy, Xiaozhou Li, Addison Mayberry, Nirupam Roy, Vasuki Narasimha Swamy, Longqi Yang, Victor Bahl, Ranveer Chandra, Ratul Mahajan
Modeling Actuation Constraints for IoT Applications. CoRR (2017)
Ryan Beckett, Ratul Mahajan, Jitendra Padhye, Todd D. Millstein, David Walker
Programming Distributed Control Planes: Invited Demo: Demo. SOSR (2017)
Danyang Zhuo, Monia Ghobadi, Ratul Mahajan, Amar Phanishayee, Xuan Kelvin Zou, Hang Guan, Arvind Krishnamurthy, Thomas E. Anderson
RAIL: A Case for Redundant Arrays of Inexpensive Links in Data Center Networks. NSDI (2017)
Ryan Beckett, Ratul Mahajan, Todd D. Millstein, Jitendra Padhye, David Walker
Network configuration synthesis with abstract topologies. PLDI (2017)
Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
A General Approach to Network Configuration Verification. SIGCOMM (2017)
Aaron Gember-Jacobson, Aditya Akella, Ratul Mahajan, Hongqiang Harry Liu
Automatically Repairing Network Control Planes Using an Abstract Representation. SOSP (2017)
Monia Ghobadi, Ratul Mahajan, Amar Phanishayee, Nikhil R. Devanur, Janardhan Kulkarni, Gireeja Ranade, Pierre-Alexandre Blanche, Houman Rastegarfar, Madeleine Glick, Daniel C. Kilper
ProjecToR: Agile Reconfigurable Data Center Interconnect. SIGCOMM (2016)
Chenguang Shen, Rayman Preet Singh, Amar Phanishayee, Aman Kansal, Ratul Mahajan
Beam: Ending Monolithic Applications for Connected Devices. USENIX Annual Technical Conference (2016)
Mark Filer, Jamie Gaudette, Monia Ghobadi, Ratul Mahajan, Tom Issenhuth, Buddy Klinkers, Jeffrey L. Cox
Elastic Optical Networking in the Microsoft Cloud [Invited]. JOCN 8 (7) (2016)
Klaus-Tycho Förster, Ratul Mahajan, Roger Wattenhofer
Consistent updates in software defined networks: On dependencies, loop freedom, and blackholes. Networking (2016)
Monia Ghobadi, Jamie Gaudette, Ratul Mahajan, Amar Phanishayee, Buddy Klinkers, Daniel C. Kilper
Evaluation of elastic modulation gains in microsoft's optical backbone in North America. OFC (2016)
Nikolaj Bjørner, Garvit Juniwal, Ratul Mahajan, Sanjit A. Seshia, George Varghese
ddNF: An Efficient Data Structure for Header Spaces. Haifa Verification Conference (2016)
Aaron Gember-Jacobson, Raajay Viswanathan, Aditya Akella, Ratul Mahajan
Fast Control Plane Analysis Using an Abstract Representation. SIGCOMM (2016)
Ryan Beckett, Ratul Mahajan, Todd D. Millstein, Jitendra Padhye, David Walker
Don't Mind the Gap: Bridging Network-wide Objectives and Device-level Configurations. SIGCOMM (2016)
Hongqiang Harry Liu, Raajay Viswanathan, Matt Calder, Aditya Akella, Ratul Mahajan, Jitendra Padhye, Ming Zhang
Efficiently Delivering Online Services over Integrated Infrastructure. NSDI (2016)
Monia Ghobadi, Ratul Mahajan
Optical Layer Failures in a Large Backbone. Internet Measurement Conference (2016)
Seyed Kaveh Fayaz, Tushar Sharma, Ari Fogel, Ratul Mahajan, Todd D. Millstein, Vyas Sekar, George Varghese
Efficient Network Reachability Analysis Using a Succinct Control Plane Representation. OSDI (2016)
Rayman Preet Singh, Chenguang Shen, Amar Phanishayee, Aman Kansal, Ratul Mahajan
It's Time to End Monolithic Apps for Connected Devices. login Usenix Mag. 40 (5) (2015)
Ari Fogel, Stanley Fung, Luis Pedrosa, Meg Walraed-Sullivan, Ramesh Govindan, Ratul Mahajan, Todd D. Millstein
A General Approach to Network Configuration Analysis. NSDI (2015)
Jason Croft, Ratul Mahajan, Matthew Caesar, Madan Musuvathi
Systematically Exploring the Behavior of Control Programs. USENIX Annual Technical Conference (2015)
Khai N. Truong, Julie A. Kientz, Nilanjan Banerjee, A. J. Bernheim Brush, Ratul Mahajan
Deployment Study Length: How Long Should a System Be Evaluated in the Wild? GetMobile Mob. Comput. Commun. 19 (2) (2015)
Nanxi Kang, Haitao Zheng, David A. Maltz, Jiaxin Cao, Ben Y. Zhao, Ming Zhang, Ratul Mahajan, Lihua Yuan, Albert G. Greenberg, Guohan Lu, Yibo Zhu
Packet-Level Telemetry in Large Datacenter Networks. Computer Communication Review (2015)
Matt Calder, Ashley Flavel, Ethan Katz-Bassett, Ratul Mahajan, Jitendra Padhye
Analyzing the Performance of an Anycast CDN. Internet Measurement Conference (2015)
Yibo Zhu, Nanxi Kang, Jiaxin Cao, Albert G. Greenberg, Guohan Lu, Ratul Mahajan, David A. Maltz, Lihua Yuan, Ming Zhang, Ben Y. Zhao, Haitao Zheng
Packet-Level Telemetry in Large Datacenter Networks. SIGCOMM (2015)
Aaron Gember-Jacobson, Wenfei Wu, Xiujun Li, Aditya Akella, Ratul Mahajan
Management Plane Analytics. Internet Measurement Conference (2015)
Rayman Preet Singh, Chenguang Shen, Amar Phanishayee, Aman Kansal, Ratul Mahajan
A Case for Ending Monolithic Apps for Connected Devices. HotOS (2015)
Luis Pedrosa, Ari Fogel, Nupur Kothari, Ramesh Govindan, Ratul Mahajan, Todd D. Millstein
Analyzing Protocol Implementations for Interoperability. NSDI (2015)
Arjmand Samuel, Dean Mohamedally, Nilanjan Banerjee, A. J. Brush, Ratul Mahajan
Lab of Things in Education. GetMobile Mob. Comput. Commun. 19 (1) (2015)
Arjmand Samuel, A. J. Bernheim Brush, Ratul Mahajan
Lab of Things: Building a Research Platform for Connected Devices in the Home and Beyond. GetMobile Mob. Comput. Commun. 18 (4) (2014)
Peng Sun, Ratul Mahajan, Jennifer Rexford, Lihua Yuan, Ming Zhang, Ahsan Arefin
A network-state management service. SIGCOMM (2014)
Radhika Niranjan Mysore, Ratul Mahajan, Amin Vahdat, George Varghese
Gestalt: Fast, Unified Fault Localization for Networked Systems. USENIX Annual Technical Conference (2014)
Aditya Akella, Ratul Mahajan
A Call to Arms for Management Plane Analytics. HotNets (2014)
Chun-Te Chu, Jaeyeon Jung, Zhicheng Liu, Ratul Mahajan
sTrack: Secure Tracking in Community Surveillance. ACM Multimedia (2014)
Xin Jin, Hongqiang Harry Liu, Rohan Gandhi, Srikanth Kandula, Ratul Mahajan, Ming Zhang, Jennifer Rexford, Roger Wattenhofer
Dynamic scheduling of network updates. SIGCOMM (2014)
Hongqiang Harry Liu, Srikanth Kandula, Ratul Mahajan, Ming Zhang, David Gelernter
Traffic engineering with forward fault correction. SIGCOMM (2014)
Trinabh Gupta, Rayman Preet Singh, Amar Phanishayee, Jaeyeon Jung, Ratul Mahajan
Bolt: Data Management for Connected Homes. NSDI (2014)
Xuan Bao, Mahanth Gowda, Ratul Mahajan, Romit Roy Choudhury
The case for psychological computing. HotMobile (2013)
Lenin Ravindranath, Jitendra Padhye, Ratul Mahajan, Hari Balakrishnan
Timecard: controlling user-perceived delays in server-based mobile applications. SOSP (2013)
Yingying Chen, Ratul Mahajan, Baskar Sridharan, Zhi-Li Zhang
A provider-side view of web search response time. SIGCOMM (2013)
A. J. Bernheim Brush, Jaeyeon Jung, Ratul Mahajan, Frank Martinez
Digital neighborhood watch: investigating the sharing of camera data amongst neighbors. CSCW (2013)
Chi-Yao Hong, Srikanth Kandula, Ratul Mahajan, Ming Zhang, Vijay Gill, Mohan Nanduri, Roger Wattenhofer
Achieving high utilization with software-driven WAN. SIGCOMM (2013)
A. J. Bernheim Brush, Evgeni Filippov, Danny Huang, Jaeyeon Jung, Ratul Mahajan, Frank Martinez, Khurshed Mazhar, Amar Phanishayee, Arjmand Samuel, James Scott, Rayman Preet Singh
Lab of things: a platform for conducting studies with connected devices in multiple homes. UbiComp (Adjunct Publication) (2013)
Rayman Preet Singh, A. J. Bernheim Brush, Evgeni Filippov, Danny Huang, Ratul Mahajan, Khurshed Mazhar, Amar Phanishayee, Arjmand Samuel
HomeLab: a platform for conducting experiments with connected devices in the home. SIGCOMM (2013)
Ratul Mahajan, Roger Wattenhofer
On consistent updates in software defined networks. HotNets (2013)
James Scott, A. J. Bernheim Brush, Ratul Mahajan
Augmenting homes with custom devices using .NET Gadgeteer and HomeOS. BuildSys@SenSys (2012)
A. J. Bernheim Brush, Jaeyeon Jung, Ratul Mahajan, James Scott
HomeLab: shared infrastructure for home technology field studies. UbiComp (2012)
Ratul Mahajan, Jitendra Padhye, Sharad Agarwal, Brian Zill
High Performance Vehicular Connectivity with Opportunistic Erasure Coding. USENIX Annual Technical Conference (2012)
Lenin Ravindranath, Jitendra Padhye, Sharad Agarwal, Ratul Mahajan, Ian Obermiller, Shahin Shayandeh
AppInsight: Mobile App Performance Monitoring in the Wild. OSDI (2012)
Colin Dixon, Ratul Mahajan, Sharad Agarwal, A. J. Bernheim Brush, Bongshin Lee, Stefan Saroiu, Paramvir Bahl
An Operating System for the Home. NSDI (2012)
Hossein Falaki, Ratul Mahajan, Deborah Estrin
SystemSens: a tool for monitoring usage in smartphone research deployments. MobiArch@MobiSys (2011)
Nupur Kothari, Ratul Mahajan, Todd D. Millstein, Ramesh Govindan, Madanlal Musuvathi
Finding protocol manipulation attacks. SIGCOMM (2011)
W. Keith Edwards, Rebecca E. Grinter, Ratul Mahajan, David Wetherall
Advancing the state of home networking. Commun. ACM 54 (6) (2011)
Saleema Amershi, Bongshin Lee, Ashish Kapoor, Ratul Mahajan, Blaine Christian
Human-Guided Machine Learning for Fast and Accurate Network Alarm Triage. IJCAI (2011)
Abhinav Pathak, Ming Zhang, Y. Charlie Hu, Ratul Mahajan, David A. Maltz
Latency inflation with MPLS-based traffic engineering. Internet Measurement Conference (2011)
A. J. Bernheim Brush, Bongshin Lee, Ratul Mahajan, Sharad Agarwal, Stefan Saroiu, Colin Dixon
Home automation in the wild: challenges and opportunities. CHI (2011)
Saleema Amershi, Bongshin Lee, Ashish Kapoor, Ratul Mahajan, Blaine Christian
CueT: human-guided fast and accurate network alarm triage. CHI (2011)
Zhicheng Liu, Bongshin Lee, Srikanth Kandula, Ratul Mahajan
NetClinic: Interactive visualization to enhance automated fault diagnosis in enterprise networks. IEEE VAST (2010)
Colin Dixon, Ratul Mahajan, Sharad Agarwal, A. J. Bernheim Brush, Bongshin Lee, Stefan Saroiu, Victor Bahl
The home needs an operating system (and an app store). HotNets (2010)
Sharad Agarwal, Ratul Mahajan, Alice Zheng, Victor Bahl
Diagnosing mobile applications in the wild. HotNets (2010)
Zheng Zhang, Ming Zhang, Albert G. Greenberg, Y. Charlie Hu, Ratul Mahajan, Blaine Christian
Optimizing Cost and Performance in Online Service Provider Networks. NSDI (2010)
Ratul Mahajan
How to build a research system in your spare time. Comput. Commun. Rev. 40 (2) (2010)
Hossein Falaki, Dimitrios Lymberopoulos, Ratul Mahajan, Srikanth Kandula, Deborah Estrin
A first look at traffic on smartphones. Internet Measurement Conference (2010)
Marcel Dischinger, Massimiliano Marcon, Saikat Guha, P. Krishna Gummadi, Ratul Mahajan, Stefan Saroiu
Glasnost: Enabling End Users to Detect Traffic Differentiation. NSDI (2010)
Frank McSherry, Ratul Mahajan
Differentially-private network trace analysis. SIGCOMM (2010)
Hossein Falaki, Ratul Mahajan, Srikanth Kandula, Dimitrios Lymberopoulos, Ramesh Govindan, Deborah Estrin
Diversity in smartphone usage. MobiSys (2010)
Aruna Balasubramanian, Ratul Mahajan, Arun Venkataramani
Augmenting mobile 3G using WiFi. MobiSys (2010)
Ratul Mahajan
Using redundancy to enable interactive communication for moving vehicles. WiOpt (2009)
Srikanth Kandula, Ratul Mahajan
Sampling biases in network path measurements and what to do about it. Internet Measurement Conference (2009)
Srikanth Kandula, Ratul Mahajan, Patrick Verkaik, Sharad Agarwal, Jitendra Padhye, Paramvir Bahl
Detailed diagnosis in enterprise networks. SIGCOMM (2009)
Ranveer Chandra, Ratul Mahajan, Thomas Moscibroda, Ramya Raghavendra, Paramvir Bahl
A case for adapting channel width in wireless networks. SIGCOMM (2008)
Aruna Balasubramanian, Ratul Mahajan, Arun Venkataramani, Brian Neil Levine, John Zahorjan
Interactive wifi connectivity for moving vehicles. SIGCOMM (2008)
Ratul Mahajan, Ming Zhang, Lindsey Poole, Vivek S. Pai
Uncovering Performance Differences Among Backbone ISPs with Netdiff . NSDI (2008)
Milan Stanojevic, Ratul Mahajan, Todd D. Millstein, Madanlal Musuvathi
Can You Fool Me? Towards Automatically Checking Protocol Gullibility. HotNets (2008)
Yi Li, Lili Qiu, Yin Zhang, Ratul Mahajan, Eric Rozner
Predictable performance optimization for wireless networks. SIGCOMM (2008)
Ratul Mahajan, Jitu Padhye, Ramya Raghavendra, Brian Zill
Eat All You Can in an All-you-can-eat Buffet: A Case for Aggressive Resource Usage. HotNets (2008)
Yi Li, Lili Qiu, Yin Zhang, Ratul Mahajan, Zifei Zhong, Gaurav Deshpande, Eric Rozner
Effects of Interference on Wireless Mesh Networks: Pathologies and a Preliminary Solution. HotNets (2007)
Lili Qiu, Yin Zhang, Feng Wang, Mi Kyung Han, Ratul Mahajan
A general model of wireless interference. MobiCom (2007)
Ratul Mahajan, David Wetherall, Thomas E. Anderson
Mutually Controlled Routing with Independent ISPs. NSDI (2007)
Ratul Mahajan, John Zahorjan, Brian Zill
Understanding wifi-based connectivity from moving vehicles. Internet Measurement Conference (2007)
Daniel Grosu, Ratul Mahajan, Rahul Sami
Joint workshop on the economics of networked systems and incentive-based computing. EC (2007)

Ratul Mahajan.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ratul Mahajan