NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion.

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

Browse the full NSDI paper archive.