Nikolaj Bjørner

6 papers · 2015–2024 · 2 conferences · across top CS/AI conferences

Achievements

🧭 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

Rachee Singh (3) Himanshu Raj (2) George Varghese (2) Umesh Krishnaswamy (2) Yawei Yin (1) Binbin Guan (1) Paul Mattes (1) Marco Canini (1) Maria-Cristina Marinescu (1) Paul-Andre C Bissonnette (1)

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