Anubhavnidhi Abhashkumar
6 papers · 2016–2024 · 1 conference · across top CS/AI conferences
Achievements
Jump to papers ↓
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🏃
Academic Marathon
(8)
🐝
Cross-Pollinator
(3)
🌈
Renaissance Researcher
(6)
Conferences
NSDI (6)
Top co-authors
Keywords
data center network
(2)
network verification
(2)
formal verification
(1)
network diagnosis
(1)
stateful network function
(1)
bgp routing
(1)
routing policy
(1)
control plane
(1)
border gateway protocol
(1)
data center routing
(1)
autonomous system number
(1)
route summarization
(1)
policy control
(1)
network virtualization
(1)
property checking
(1)
multilayer graph
(1)
failure verification
(1)
network emulation
(1)
graph partition
(1)
testbed deployment
(1)
Papers
Crescent: Emulating Heterogeneous Production Network at Scale
NSDI 2024
NetAssistant: Dialogue Based Network Diagnosis in Data Center Networks
NSDI 2024
Running BGP in Data Centers at Scale
NSDI 2021
Tiramisu: Fast Multilayer Network Verification
NSDI 2020
Liveness Verification of Stateful Network Functions
NSDI 2020
Paving the Way for NFV: Simplifying Middlebox Modifications Using StateAlyzr
NSDI 2016