Programmable Networks

Computer networks are hard to manage. In this project, we develop novel systems for reasoning about computer networks and automatically synthesizing their configurations.

Systems

Net2Text

Net2Text assists network operators in reasoning about their network-wide forwarding state by directly answering to questions expressed in natural language

NetComplete

NetComplete automatically autocompletes configurations for routers running multiple interacting protocols, including policy-based protocols (BGP) and shortest-path protocols (OSPF), and it also supports static routes

SyNET

SyNet automatically synthesizes configurations for routers running multiple interacting protocols, including policy-based protocols (BGP) and shortest-path protocols (OSPF), and it also supports static routes

Bayonet

Bayonet is a language and a system for reasoning about probabilistic networks

Publications

2022

Learning to Configure Computer Networks with Neural Algorithmic Reasoning

Luca Beurer-Kellner, Martin Vechev, Laurent Vanbever, Petar Veličković

NeurIPS 2022

Paper
Code

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

Slides
Talk
Paper

2020

Probabilistic Verification of Network Configurations

Samuel Steffen, Timon Gehr, Petar Tsankov, Laurent Vanbever, Martin Vechev

ACM SIGCOMM 2020 Best Student Paper Award

Slides
Talk
Paper
Code

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

Slides
Talk
Paper

2018

Bayonet: Probabilistic Inference for Networks

Timon Gehr, Sasa Misailovic, Petar Tsankov, Laurent Vanbever, Pascal Wiesmann, Martin Vechev

PLDI 2018

Talk
Paper

NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion

Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin Vechev

NSDI 2018

Talk
Paper

Net2Text: Query-Guided Summarization of Network Forwarding Behaviors

Rüdiger Birkner, Dana Drachsler-Cohen, Laurent Vanbever, Martin Vechev

NSDI 2018

Slides
Talk
Paper

2017

Network-wide Configuration Synthesis

Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin Vechev

CAV 2017

Slides
Talk
Paper