About me

I am a fifth year PhD student co-advised by Prof. Dr. Martin Vechev and Prof. Dr. Laurent Vanbever of the Networked Systems Group. Before starting my PhD, I earned a master degree in electrical engineering from ETH Zurich in 2016. In the course of my studies at ETH, I spent six months as visiting research student at Princeton University working with Nick Feamster. In addition, I completed the UNITECH International programme.

Publications

2021

Metha: Network Verifiers Need To Be Correct Too!
Rüdiger Birkner*, Tobias Brodmann*, Petar Tsankov, Laurent Vanbever, Martin Vechev
USENIX NSDI 2021 * Equal contribution

2020

Config2Spec: Mining Network Specifications from Network Configurations
Rüdiger Birkner, Dana Drachsler-Cohen, Laurent Vanbever, Martin Vechev
NSDI 2020 2021 IETF/IRTF Applied Networking Research Prize

2018

Net2Text: Query-Guided Summarization of Network Forwarding Behaviors
Rüdiger Birkner, Dana Drachsler-Cohen, Laurent Vanbever, Martin Vechev
NSDI 2018