@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 = "Funding Information: We thank R. Aditya, George Chen, and Lihua Yuan for feedback on the work and the SIGCOMM reviewers for comments on the paper. This work is supported in part by the National Science Foundation awards CNS-1161595 and CNS-1111520 as well as a gift from Cisco. 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",
}