Biblio

Export 4 results:
Filters: Author is Nikolaj Bjørner  [Clear All Filters]
2023
Krishnaswamy U, Singh R, Mattes P, Bissonnette P-AC, Bjørner N, Nasrin Z, Kothari S, Reddy P, Abeln J, Kandula S et al..  2023.  OneWAN is better than two: Unifying a split WAN architecture. 20th USENIX Symposium on Networked Systems Design and Implementation (NSDI 23). :515--529.
2022
Krishnaswamy U, Singh R, Bjørner N, Raj H.  2022.  Decentralized cloud wide-area network traffic engineering with BLASTSHIELD. 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22). :325--338.
2017
Ryzhyk L, Bjørner N, Canini M, Jeannin J-B, Schlesinger C, Terry DB, Varghese G.  2017.  Correct by Construction Networks Using Stepwise Refinement. 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI 17). :683--698.
2015
Lopes NP, Bjørner N, Godefroid P, Jayaraman K, Varghese G.  2015.  Checking Beliefs in Dynamic Networks. 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15). :499--512.