Nikolaj Bjørner
6 papers · 2015–2024 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🏃
Academic Marathon · Sprint
🐣
Hot Topic Early Bird
🏆
Keyword Champion
(3)
🧭
Keyword Pioneer
Top co-authors
Research topics
Keywords
wide area network
(3)
software-defined networking
(3)
software-defined network
(2)
network slicing
(2)
traffic engineering
(2)
stepwise refinement
(1)
network verification
(1)
network controller
(1)
bug detection
(1)
bandwidth allocation
(1)
network throughput
(1)
network routing
(1)
latency optimization
(1)
queueing delay
(1)
quality of service
(1)
resource provisioning
(1)
unsatisfiable core
(1)
optical network
(1)
traffic steering
(1)
traffic isolation
(1)
Papers
CHISEL: An optical slice of the wide-area network
NSDI 2024
OneWAN is better than two: Unifying a split WAN architecture
NSDI 2023
Decentralized cloud wide-area network traffic engineering with BLASTSHIELD
NSDI 2022
Core-Guided Minimal Correction Set and Core Enumeration
IJCAI 2018
Correct by Construction Networks Using Stepwise Refinement
NSDI 2017
Checking Beliefs in Dynamic Networks
NSDI 2015