Kausik Subramanian
2 papers
· 2020–2021
· 1 conference
· across top CS/AI conferences
Achievements
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(13)
Conferences
NSDI (2)
Top co-authors
Keywords
formal verification
(1)
network verification
(1)
stateful network function
(1)
bgp routing
(1)
routing policy
(1)
border gateway protocol
(1)
data center routing
(1)
autonomous system number
(1)
route summarization
(1)
policy control
(1)
network virtualization
(1)
data center network
(1)
autonomous system
(1)
boolean formula
(1)
liveness properties
(1)
network reliability
(1)