Ratul Mahajan
12 papers · 2012–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+6 more ↓ Show less ↑
π Cross-Pollinator (4) π§ Keyword Pioneer π Academic Marathon (13) π Conference Polyglot (2) π Interdisciplinary Bridge
π
Interdisciplinary Bridge
π
Keyword Champion
(2)
π§¬
Topic Evolution
π₯
Unstoppable
(5)
π
Century Club
(12)
π
Conference Pioneer
Conferences
NSDI (10)
OSDI (2)
Top co-authors
Keywords
latency optimization
(2)
control plane
(2)
network performance
(2)
network configuration
(2)
fault tolerance
(1)
model checking
(1)
network security
(1)
remote procedure call
(1)
network analysis
(1)
service mesh
(1)
data plane
(1)
compiler optimization
(1)
test coverage
(1)
information flow
(1)
p4 programming
(1)
configuration line
(1)
network verification
(1)
network monitoring
(1)
application network
(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
Efficient Network Reachability Analysis Using a Succinct Control Plane Representation
OSDI 2016
Efficiently Delivering Online Services over Integrated Infrastructure
NSDI 2016
Analyzing Protocol Implementations for Interoperability
NSDI 2015
A General Approach to Network Configuration Analysis
NSDI 2015
Bolt: Data Management for Connected Homes
NSDI 2014
AppInsight: Mobile App Performance Monitoring in the Wild
OSDI 2012
An Operating System for the Home
NSDI 2012