Anubhavnidhi Abhashkumar
6 papers
· 2016–2024
· 1 conference
· across top CS/AI conferences
Achievements
🌉
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
Running BGP in Data Centers at Scale
NSDI 2021