Nikolaj Bjørner
6 papers · 2015–2024 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
🧭 Keyword Pioneer 🌍 Conference Polyglot (2) 🏃 Academic Marathon (9) 🐝 Cross-Pollinator (3) 🐣 Hot Topic Early Bird
🏆
Keyword Champion
(2)
Conferences
NSDI (5)
IJCAI (1)
Top co-authors
Keywords
wide area network
(3)
network slicing
(2)
traffic engineering
(2)
software-defined network
(2)
software-defined networking
(2)
stepwise refinement
(1)
network verification
(1)
network controller
(1)
bug detection
(1)
bandwidth allocation
(1)
network throughput
(1)
network routing
(1)
software defined networking
(1)
latency optimization
(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