@inproceedings{43de1792f9934867a7a1f9f25fb916d8,
title = "Don't mind the gap: Bridging network-wide objectives and device-level configurations",
abstract = "We develop Propane, a language and compiler to help network operators with a challenging, error-prone task - bridging the gap between network-wide routing objectives and low-level configurations of devices that run complex, distributed protocols. The language allows operators to specify their objectives naturally, using high-level constraints on both the shape and relative preference of traffic paths. The compiler automatically translates these specifications to router-level BGP configurations, using an effective intermediate representation that compactly encodes the flow of routing information along policy-compliant paths. It guarantees that the compiled configurations correctly implement the specified policy under all possible combinations of failures. We show that Propane can effectively express the policies of datacenter and backbone networks of a large cloud provider; and despite its strong guarantees, our compiler scales to networks with hundreds or thousands of routers.",
keywords = "BGP, Compilation, Distributed systems, Domain-specific language, Fault tolerance, Propane, Synthesis",
author = "Ryan Beckett and Ratul Mahajan and Todd Millstein and Jitendra Padhye and David Walker",
note = "Publisher Copyright: {\textcopyright} 2016 ACM.; 2016 ACM Conference on Special Interest Group on Data Communication, SIGCOMM 2016 ; Conference date: 22-08-2016 Through 26-08-2016",
year = "2016",
month = aug,
day = "22",
doi = "10.1145/2934872.2934909",
language = "English (US)",
series = "SIGCOMM 2016 - Proceedings of the 2016 ACM Conference on Special Interest Group on Data Communication",
publisher = "Association for Computing Machinery, Inc",
pages = "328--341",
booktitle = "SIGCOMM 2016 - Proceedings of the 2016 ACM Conference on Special Interest Group on Data Communication",
}