Biblio

Export 5 results:
Filters: Author is Rudiger Birkner  [Clear All Filters]
2021
Birkner R, Brodmann T, Tsankov P, Vanbever L, Vechev M.  2021.  Metha: Network Verifiers Need To Be Correct Too!. 18th USENIX Symposium on Networked Systems Design and Implementation (NSDI 21). :99--113.
2020
Birkner R, Drachsler-Cohen D, Vanbever L, Vechev M.  2020.  Config2Spec: Mining Network Specifications from Network Configurations . 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20). :969--984.
2018
Birkner R, Drachsler-Cohen D, Vanbever L, Vechev M.  2018.  Net2Text: Query-Guided Summarization of Network Forwarding Behaviors. 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI 18). :609--623.
2016
Gupta A, MacDavid R, Birkner R, Canini M, Feamster N, Rexford J, Vanbever L.  2016.  An Industrial-Scale Software Defined Internet Exchange Point. 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI 16). :1--14.
Gupta A, MacDavid R, Birkner R, Canini M, Feamster N, Rexford J, Vanbever L.  2016.  An Industrial-Scale Software Defined Internet Exchange Point. 2016 USENIX Annual Technical Conference (USENIX ATC 16).