Ratul Mahajan
12 papers · 2012–2025 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
🐣 Hot Topic Early Bird 🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Half 🌉 Interdisciplinary Bridge · Bronze 🧬 Topic Evolution
🏆
Keyword Champion
(2)
🚀
Conference Pioneer
🔥
Unstoppable · Bronze
💎
Century Club · Bronze
Top co-authors
Research topics
Keywords
network performance
(2)
latency optimization
(2)
network configuration
(2)
control plane
(2)
fault tolerance
(1)
model checking
(1)
network security
(1)
network analysis
(1)
network verification
(1)
remote procedure call
(1)
service mesh
(1)
data plane
(1)
configuration line
(1)
test coverage
(1)
information flow
(1)
datacenter network
(1)
p4 programming
(1)
compiler optimization
(1)
network monitoring
(1)
formal verification
(1)
Papers
High-level Programming for Application Networks
NSDI 2025
Sequence Abstractions for Flexible, Line-Rate Network Monitoring
NSDI 2024
Test Coverage for Network Configurations
NSDI 2023
Odin: Microsoft’s Scalable Fault-Tolerant CDN Measurement System
NSDI 2018
RAIL: A Case for Redundant Arrays of Inexpensive Links in Data Center Networks
NSDI 2017
Efficiently Delivering Online Services over Integrated Infrastructure
NSDI 2016
Efficient Network Reachability Analysis Using a Succinct Control Plane Representation
OSDI 2016
A General Approach to Network Configuration Analysis
NSDI 2015
Analyzing Protocol Implementations for Interoperability
NSDI 2015
Bolt: Data Management for Connected Homes
NSDI 2014
An Operating System for the Home
NSDI 2012
AppInsight: Mobile App Performance Monitoring in the Wild
OSDI 2012