Write a Blog >>
Tue 20 Jun 2017 11:15 - 11:40 at Actes, Civil Engineering - Synthesis Chair(s): Sasa Misailovic

We develop Methane, a system to synthesize provably-correct configurations for large, evolving networks from high-level specifications of topology, routing policy, and fault-tolerance requirements. It is based on new abstractions for capturing parameterized network topologies and their evolution, and algorithms to analyze the impact of topology and routing policy on fault tolerance. Our algorithms operate entirely on abstract topologies and guarantee correctness for all its concrete instantiations. Methane also guarantees that minimal changes to existing device configurations are required when the network evolves to add or remove devices and links. Our experiments with real-world topologies and policies show that our abstractions and algorithms are effective and that, for large networks, Methane synthesizes configurations two orders of magnitude faster than systems that operate over concrete topologies.

Tue 20 Jun

pldi-2017-papers
10:50 - 12:30: PLDI Research Papers - Synthesis at Actes, Civil Engineering
Chair(s): Sasa MisailovicUniversity of Illinois at Urbana-Champaign
pldi-2017-papers149794860000010:50 - 11:15
Talk
Yu FengUniversity of Texas at Austin, USA, Ruben Martins, Jacob Van GeffenUT Austin, Isil DilligUT Austin, Swarat ChaudhuriRice University
Media Attached
pldi-2017-papers149795010000011:15 - 11:40
Talk
Ryan BeckettPrinceton University, Ratul MahajanMicrosoft, Todd MillsteinUniversity of California, Los Angeles, Jitendra PadhyeMicrosoft, David WalkerPrinceton University
Media Attached
pldi-2017-papers149795160000011:40 - 12:05
Talk
Chenglong WangUniversity of Washington, USA, Alvin CheungUniversity of Washington, Rastislav BodikUniversity of Washington
Media Attached
pldi-2017-papers149795310000012:05 - 12:30
Talk
James BornholtUniversity of Washington, Emina TorlakUniversity of Washington, USA
Pre-print Media Attached