Network analysis and reasoning

"What is my network doing?" What looks like a simple (if not trivial) question is actually almost impossible to answer today and this, for at least two reasons. First, existing network measurements tools only provide operators with coarse-grained traffic statistics (typically as a result of heavy sampling by the devices). Second, network operators have to manually bridge the large semantic gap separating these imperfect observations from the corresponding high-level insights that explain them. 

Our group is investigating new kinds of measurement and reasoning techniques enabling to: (i) collect high-quality network statistics in a scalable way; and (ii) extract meaningful insights from them.

People

Recordings

Publications

Config2Spec: Mining Network Specifications from Network Configurations

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

USENIX NSDI 2020. Santa Clara, California, USA (February 2020).

Bayonet: Probabilistic Inference for Networks

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

PLDI 2018. Philadelphia, Pennsylvania, USA (June 2018).

Stroboscope: Declarative Network Monitoring on a Budget

Olivier Tilmans, Tobias Bühler, Ingmar Poese, Stefano Vissicchio, Laurent Vanbever

USENIX NSDI 2018. Renton, Washington, USA (April 2018).

Net2Text: Query-Guided Summarization of Network Forwarding Behaviors

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

USENIX NSDI 2018. Renton, Washington, USA (April 2018).

Mille-Feuille: Putting ISP traffic under the scalpel.

Olivier Tilmans, Tobias Bühler, Stefano Vissicchio, Laurent Vanbever

ACM HotNets 2016. Atlanta, Georgia, USA (November 2016).