Ratul Mahajan
12 papers
· 2012–2025
· 2 conferences
· across top CS/AI conferences
Achievements
π£
Hot Topic Early Bird
π§
Keyword Pioneer
π
Conference Polyglot
(2)
π
Academic Marathon
(13)
π
Cross-Pollinator
(4)
π
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
Test Coverage for Network Configurations
NSDI 2023
An Operating System for the Home
NSDI 2012