Ratul Mahajan

Orcid: 0009-0005-8005-6948

According to our database1, Ratul Mahajan authored at least 113 papers between 2001 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Relational Network Verification.
Proceedings of the ACM SIGCOMM 2024 Conference, 2024

Sequence Abstractions for Flexible, Line-Rate Network Monitoring.
Proceedings of the 21st USENIX Symposium on Networked Systems Design and Implementation, 2024

2023
Lessons from the evolution of the Batfish configuration analysis tool.
Proceedings of the ACM SIGCOMM 2023 Conference, 2023

Test Coverage for Network Configurations.
Proceedings of the 20th USENIX Symposium on Networked Systems Design and Implementation, 2023

Application Defined Networks.
Proceedings of the 22nd ACM Workshop on Hot Topics in Networks, 2023

Dissecting Overheads of Service Mesh Sidecars.
Proceedings of the 2023 ACM Symposium on Cloud Computing, SoCC 2023, 2023

Anticipatory Resource Allocation for ML Training.
Proceedings of the 2023 ACM Symposium on Cloud Computing, SoCC 2023, 2023

2022
Dissecting Service Mesh Overheads.
CoRR, 2022

2021
Test coverage metrics for the network.
Proceedings of the ACM SIGCOMM 2021 Conference, Virtual Event, USA, August 23-27, 2021., 2021

2020
Abstract interpretation of distributed network control planes.
Proc. ACM Program. Lang., 2020

A General Framework for Compositional Network Modeling.
Proceedings of the HotNets '20: The 19th ACM Workshop on Hot Topics in Networks, 2020

2019
Don't mind the gap: Bridging network-wide objectives and device-level configurations: brief reflections on abstractions for network programming.
Comput. Commun. Rev., 2019

Putting network verification to good use.
Proceedings of the 18th ACM Workshop on Hot Topics in Networks, 2019

Efficient Verification of Network Fault Tolerance via Counterexample-Guided Refinement.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018
Control plane compression.
Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication, 2018

Odin: Microsoft's Scalable Fault-Tolerant CDN Measurement System.
Proceedings of the 15th USENIX Symposium on Networked Systems Design and Implementation, 2018

2017
Modeling Actuation Constraints for IoT Applications.
CoRR, 2017

Programming Distributed Control Planes: Invited Demo: Demo.
Proceedings of the Symposium on SDN Research, 2017

Automatically Repairing Network Control Planes Using an Abstract Representation.
Proceedings of the 26th Symposium on Operating Systems Principles, 2017

Understanding and Mitigating Packet Corruption in Data Center Networks.
Proceedings of the Conference of the ACM Special Interest Group on Data Communication, 2017

A General Approach to Network Configuration Verification.
Proceedings of the Conference of the ACM Special Interest Group on Data Communication, 2017

Network configuration synthesis with abstract topologies.
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

RAIL: A Case for Redundant Arrays of Inexpensive Links in Data Center Networks.
Proceedings of the 14th USENIX Symposium on Networked Systems Design and Implementation, 2017

2016
Elastic Optical Networking in the Microsoft Cloud [Invited].
JOCN, 2016

Beam: Ending Monolithic Applications for Connected Devices.
Proceedings of the 2016 USENIX Annual Technical Conference, 2016

ProjecToR: Agile Reconfigurable Data Center Interconnect.
Proceedings of the ACM SIGCOMM 2016 Conference, Florianopolis, Brazil, August 22-26, 2016, 2016

Fast Control Plane Analysis Using an Abstract Representation.
Proceedings of the ACM SIGCOMM 2016 Conference, Florianopolis, Brazil, August 22-26, 2016, 2016

Don't Mind the Gap: Bridging Network-wide Objectives and Device-level Configurations.
Proceedings of the ACM SIGCOMM 2016 Conference, Florianopolis, Brazil, August 22-26, 2016, 2016

Efficient Network Reachability Analysis Using a Succinct Control Plane Representation.
Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016

Evaluation of elastic modulation gains in microsoft's optical backbone in North America.
Proceedings of the Optical Fiber Communications Conference and Exhibition, 2016

Efficiently Delivering Online Services over Integrated Infrastructure.
Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation, 2016

Consistent updates in software defined networks: On dependencies, loop freedom, and blackholes.
Proceedings of the 2016 IFIP Networking Conference, 2016

Optical Layer Failures in a Large Backbone.
Proceedings of the 2016 ACM on Internet Measurement Conference, 2016

ddNF: An Efficient Data Structure for Header Spaces.
Proceedings of the Hardware and Software: Verification and Testing, 2016

2015
It's Time to End Monolithic Apps for Connected Devices.
login Usenix Mag., 2015

Deployment Study Length: How Long Should a System Be Evaluated in the Wild?
GetMobile Mob. Comput. Commun., 2015

Lab of Things in Education.
GetMobile Mob. Comput. Commun., 2015

Systematically Exploring the Behavior of Control Programs.
Proceedings of the 2015 USENIX Annual Technical Conference, 2015

Packet-Level Telemetry in Large Datacenter Networks.
Proceedings of the 2015 ACM Conference on Special Interest Group on Data Communication, 2015

Analyzing Protocol Implementations for Interoperability.
Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, 2015

A General Approach to Network Configuration Analysis.
Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, 2015

Management Plane Analytics.
Proceedings of the 2015 ACM Internet Measurement Conference, 2015

Analyzing the Performance of an Anycast CDN.
Proceedings of the 2015 ACM Internet Measurement Conference, 2015

A Case for Ending Monolithic Apps for Connected Devices.
Proceedings of the 15th Workshop on Hot Topics in Operating Systems, 2015

2014
Lab of Things: Building a Research Platform for Connected Devices in the Home and Beyond.
GetMobile Mob. Comput. Commun., 2014

Gestalt: Fast, Unified Fault Localization for Networked Systems.
Proceedings of the 2014 USENIX Annual Technical Conference, 2014

A network-state management service.
Proceedings of the ACM SIGCOMM 2014 Conference, 2014

Traffic engineering with forward fault correction.
Proceedings of the ACM SIGCOMM 2014 Conference, 2014

Dynamic scheduling of network updates.
Proceedings of the ACM SIGCOMM 2014 Conference, 2014

Bolt: Data Management for Connected Homes.
Proceedings of the 11th USENIX Symposium on Networked Systems Design and Implementation, 2014

sTrack: Secure Tracking in Community Surveillance.
Proceedings of the ACM International Conference on Multimedia, MM '14, Orlando, FL, USA, November 03, 2014

A Call to Arms for Management Plane Analytics.
Proceedings of the 13th ACM Workshop on Hot Topics in Networks, 2014

2013
The case for psychological computing.
Proceedings of the 14th Workshop on Mobile Computing Systems and Applications, 2013

Timecard: controlling user-perceived delays in server-based mobile applications.
Proceedings of the ACM SIGOPS 24th Symposium on Operating Systems Principles, 2013

HomeLab: a platform for conducting experiments with connected devices in the home.
Proceedings of the ACM SIGCOMM 2013 Conference, 2013

Achieving high utilization with software-driven WAN.
Proceedings of the ACM SIGCOMM 2013 Conference, 2013

A provider-side view of web search response time.
Proceedings of the ACM SIGCOMM 2013 Conference, 2013

Lab of things: a platform for conducting studies with connected devices in multiple homes.
Proceedings of the 2013 ACM International Joint Conference on Pervasive and Ubiquitous Computing, 2013

On consistent updates in software defined networks.
Proceedings of the Twelfth ACM Workshop on Hot Topics in Networks, 2013

Digital neighborhood watch: investigating the sharing of camera data amongst neighbors.
Proceedings of the Computer Supported Cooperative Work, 2013

2012
High Performance Vehicular Connectivity with Opportunistic Erasure Coding.
Proceedings of the 2012 USENIX Annual Technical Conference, 2012

Augmenting homes with custom devices using .NET Gadgeteer and HomeOS.
Proceedings of the BuildSys '12 Proceedings of the Fourth ACM Workshop on Embedded Sensing Systems for Energy-Efficiency in Buildings, 2012

AppInsight: Mobile App Performance Monitoring in the Wild.
Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation, 2012

An Operating System for the Home.
Proceedings of the 9th USENIX Symposium on Networked Systems Design and Implementation, 2012

HomeLab: shared infrastructure for home technology field studies.
Proceedings of the 2012 ACM Conference on Ubiquitous Computing, 2012

2011
Advancing the state of home networking.
Commun. ACM, 2011

Finding protocol manipulation attacks.
Proceedings of the ACM SIGCOMM 2011 Conference on Applications, 2011

SystemSens: a tool for monitoring usage in smartphone research deployments.
Proceedings of the sixth international workshop on MobiArch, MobiArch '11, Bethesda, 2011

Latency inflation with MPLS-based traffic engineering.
Proceedings of the 11th ACM SIGCOMM Internet Measurement Conference, 2011

Human-Guided Machine Learning for Fast and Accurate Network Alarm Triage.
Proceedings of the IJCAI 2011, 2011

Home automation in the wild: challenges and opportunities.
Proceedings of the International Conference on Human Factors in Computing Systems, 2011

CueT: human-guided fast and accurate network alarm triage.
Proceedings of the International Conference on Human Factors in Computing Systems, 2011

2010
How to build a research system in your spare time.
Comput. Commun. Rev., 2010

Differentially-private network trace analysis.
Proceedings of the ACM SIGCOMM 2010 Conference on Applications, 2010

Optimizing Cost and Performance in Online Service Provider Networks.
Proceedings of the 7th USENIX Symposium on Networked Systems Design and Implementation, 2010

Glasnost: Enabling End Users to Detect Traffic Differentiation.
Proceedings of the 7th USENIX Symposium on Networked Systems Design and Implementation, 2010

Diversity in smartphone usage.
Proceedings of the 8th International Conference on Mobile Systems, 2010

Augmenting mobile 3G using WiFi.
Proceedings of the 8th International Conference on Mobile Systems, 2010

A first look at traffic on smartphones.
Proceedings of the 10th ACM SIGCOMM Internet Measurement Conference, 2010

NetClinic: Interactive visualization to enhance automated fault diagnosis in enterprise networks.
Proceedings of the 5th IEEE Conference on Visual Analytics Science and Technology, 2010

The home needs an operating system (and an app store).
Proceedings of the 9th ACM Workshop on Hot Topics in Networks. HotNets 2010, Monterey, CA, USA - October 20, 2010

Diagnosing mobile applications in the wild.
Proceedings of the 9th ACM Workshop on Hot Topics in Networks. HotNets 2010, Monterey, CA, USA - October 20, 2010

2009
Using redundancy to enable interactive communication for moving vehicles.
Proceedings of the 7th International Symposium on Modeling and Optimization in Mobile, 2009

Detailed diagnosis in enterprise networks.
Proceedings of the ACM SIGCOMM 2009 Conference on Applications, 2009

Sampling biases in network path measurements and what to do about it.
Proceedings of the 9th ACM SIGCOMM Internet Measurement Conference, IMC 2009, Chicago, 2009

2008
Predictable performance optimization for wireless networks.
Proceedings of the ACM SIGCOMM 2008 Conference on Applications, 2008

A case for adapting channel width in wireless networks.
Proceedings of the ACM SIGCOMM 2008 Conference on Applications, 2008

Interactive wifi connectivity for moving vehicles.
Proceedings of the ACM SIGCOMM 2008 Conference on Applications, 2008

Uncovering Performance Differences Among Backbone ISPs with Netdiff .
Proceedings of the 5th USENIX Symposium on Networked Systems Design & Implementation, 2008

Can You Fool Me? Towards Automatically Checking Protocol Gullibility.
Proceedings of the 7th ACM Workshop on Hot Topics in Networks, 2008

Eat All You Can in an All-you-can-eat Buffet: A Case for Aggressive Resource Usage.
Proceedings of the 7th ACM Workshop on Hot Topics in Networks, 2008

2007
Joint workshop on the economics of networked systems and incentive-based computing.
Proceedings of the Proceedings 8th ACM Conference on Electronic Commerce (EC-2007), 2007

Mutually Controlled Routing with Independent ISPs.
Proceedings of the 4th Symposium on Networked Systems Design and Implementation (NSDI 2007), 2007

A general model of wireless interference.
Proceedings of the 13th Annual International Conference on Mobile Computing and Networking, 2007

Understanding wifi-based connectivity from moving vehicles.
Proceedings of the 7th ACM SIGCOMM Internet Measurement Conference, 2007

Effects of Interference on Wireless Mesh Networks: Pathologies and a Preliminary Solution.
Proceedings of the 6th ACM Workshop on Hot Topics in Networks, 2007

2006
Measurement-based models of delivery and interference in static wireless networks.
Proceedings of the ACM SIGCOMM 2006 Conference on Applications, 2006

Analyzing the MAC-level behavior of wireless networks in the wild.
Proceedings of the ACM SIGCOMM 2006 Conference on Applications, 2006

2005
Measurement-based characterization of 802.11 in a hotspot setting.
Proceedings of the 2005 ACM SIGCOMM Workshop on Experimental Approaches to Wireless Network Design and Analysis, 2005

Negotiation-Based Routing Between Neighboring ISPs.
Proceedings of the 2nd Symposium on Networked Systems Design and Implementation (NSDI 2005), 2005

Sustaining Cooperation in Multi-hop Wireless Networks.
Proceedings of the 2nd Symposium on Networked Systems Design and Implementation (NSDI 2005), 2005

2004
Measuring ISP topologies with rocketfuel.
IEEE/ACM Trans. Netw., 2004

2003
A Study of the Performance Potential of DHT-based Overlays.
Proceedings of the 4th USENIX Symposium on Internet Technologies and Systems, 2003

User-level internet path diagnosis.
Proceedings of the 19th ACM Symposium on Operating Systems Principles 2003, 2003

The causes of path inflation.
Proceedings of the ACM SIGCOMM 2003 Conference on Applications, 2003

Controlling the Cost of Reliability in Peer-to-Peer Overlays.
Proceedings of the Peer-to-Peer Systems II, Second International Workshop, 2003

2002
Controlling high bandwidth aggregates in the network.
Comput. Commun. Rev., 2002

Aggregate congestion control.
Comput. Commun. Rev., 2002

Translating XSLT programs to Efficient SQL queries.
Proceedings of the Eleventh International World Wide Web Conference, 2002

Measuring ISP topologies with rocketfuel.
Proceedings of the ACM SIGCOMM 2002 Conference on Applications, 2002

Understanding BGP misconfiguration.
Proceedings of the ACM SIGCOMM 2002 Conference on Applications, 2002

Inferring link weights using end-to-end measurements.
Proceedings of the 2nd ACM SIGCOMM Internet Measurement Workshop, 2002

2001
Controlling High-Bandwidth Flows at the Congested Router.
Proceedings of the 9th International Conference on Network Protocols (ICNP 2001), 2001


  Loading...