@inproceedings{7c066cb66344445e87dbc8550eb7712b,
title = "Demo: Programming distributed control planes: Invited Demo",
abstract = "We describe Propane, a system that consists of a language for specifying the end-to-end routing policy for a network and a compiler for implementing the policy by generating a collection of device configurations for the BGP routing protocol that run on unmodified vendor hardware. Propane allows operators to describe their policy through high-level constraints on both the shape and preference of paths for different types of traffic. Constraints can describe paths both through the user's network, as well as through other networks that are not under the user's control. When Propane compiles a policy, the resulting BGP configurations are guaranteed to correctly implement the centralized policy in a distributed fashion - without any centralized coordination and regardless of any number of network failures.",
keywords = "BGP, Compilation, Domain-specific language, Fault tolerance, Network control plane, Propane, SDN",
author = "Ryan Beckett and Ratul Mahajan and Jitendra Padhye and Todd Millstein and David Walker",
note = "Publisher Copyright: {\textcopyright} 2017 Copyright held by the owner/author(s).; 2017 Symposium on SDN Research, SOSR 2017 ; Conference date: 03-04-2017 Through 04-04-2017",
year = "2017",
month = apr,
day = "3",
doi = "10.1145/3050220.3063774",
language = "English (US)",
series = "SOSR 2017 - Proceedings of the 2017 Symposium on SDN Research",
publisher = "Association for Computing Machinery, Inc",
pages = "205--206",
booktitle = "SOSR 2017 - Proceedings of the 2017 Symposium on SDN Research",
}