Follow
Rüdiger Birkner
Rüdiger Birkner
DFINITY
Verified email at dfinity.org - Homepage
Title
Cited by
Cited by
Year
An {Industrial-Scale} Software Defined Internet Exchange Point
A Gupta, R MacDavid, R Birkner, M Canini, N Feamster, J Rexford, ...
13th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2016
1122016
Network monitoring as a streaming analytics problem
A Gupta, R Birkner, M Canini, N Feamster, C Mac-Stoker, W Willinger
Proceedings of the 15th ACM workshop on hot topics in networks, 106-112, 2016
612016
{Config2Spec}: Mining Network Specifications from Network Configurations
R Birkner, D Drachsler-Cohen, L Vanbever, M Vechev
17th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2020
312020
Concise encoding of flow attributes in SDN switches
R MacDavid, R Birkner, O Rottenstreich, A Gupta, N Feamster, J Rexford
Proceedings of the Symposium on SDN Research, 48-60, 2017
242017
{Net2Text}:{Query-Guided} Summarization of Network Forwarding Behaviors
R Birkner, D Drachsler-Cohen, L Vanbever, M Vechev
15th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2018
222018
SDX-Based Flexibility or Internet Correctness? Pick Two!
R Birkner, A Gupta, N Feamster, L Vanbever
ACM Symposium on SDN Research (SOSR), 2017
122017
Metha: Network Verifiers Need To Be Correct Too!
R Birkner, T Brodmann, P Tsankov, L Vanbever, M Vechev
USENIX NSDI, 2021
42021
Boosting the BGP convergence in SDXes with SWIFT
P Mao, R Birkner, T Holterbach, L Vanbever
Proceedings of the SIGCOMM Posters and Demos, 1-2, 2017
32017
Snowcap: synthesizing network-wide configuration updates
T Schneider, R Birkner, L Vanbever
Proceedings of the 2021 ACM SIGCOMM 2021 Conference, 33-49, 2021
22021
Metha: Network Verifiers Need To Be Correct Too!
P Tsankov, L Vanbever, M Vechev, R Birkner, T Brodmann
2021
Improving Network Understanding
R Birkner
ETH Zurich, 2021
2021
All Publications
J Schneider, R Aster, L Powell, R Meyer
The system can't perform the operation now. Try again later.
Articles 1–12