USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 5 results:
Filters: Author is Nikolaj Bjørner [Clear All Filters]
CHISEL: An optical slice of the wide-area network. 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI 24). :859--875.
.
2024. OneWAN is better than two: Unifying a split WAN architecture. 20th USENIX Symposium on Networked Systems Design and Implementation (NSDI 23). :515--529.
.
2023. Decentralized cloud wide-area network traffic engineering with BLASTSHIELD. 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22). :325--338.
.
2022. Correct by Construction Networks Using Stepwise Refinement. 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI 17). :683--698.
.
2017. Checking Beliefs in Dynamic Networks. 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15). :499--512.
.
2015.