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

2018

Bayonet: Probabilistic Inference for Networks
Timon Gehr, Sasa Misailovic, Petar Tsankov, Laurent Vanbever, Pascal Wiesmann, Martin Vechev
PLDI 2018
NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion
Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin Vechev
NSDI 2018
Net2Text: Query-Guided Summarization of Network Forwarding Behaviors
Rüdiger Birkner, Dana Drachsler-Cohen, Laurent Vanbever, Martin Vechev
NSDI 2018

2017

Network-wide Configuration Synthesis
Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin Vechev
CAV 2017