Network-Wide Configuration Synthesis

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

Abstract: Computer networks are hard to manage. Given a set of high-level requirements (e.g., reachability, security), operators have to manually figure out the individual configuration of potentially hundreds of devices running complex distributed protocols so that they, collectively, compute a compatible forwarding state. Not surprisingly, operators often make mistakes which lead to downtimes.