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

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:50 - 12:30
SynthesisPLDI Research Papers at Actes, Civil Engineering
Chair(s): Sasa Misailovic University of Illinois at Urbana-Champaign
10:50
25m
Talk
Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples
PLDI Research Papers
Yu Feng University of Texas at Austin, USA, Ruben Martins , Jacob Van Geffen UT Austin, Işıl Dillig UT Austin, Swarat Chaudhuri Rice University
Media Attached
11:15
25m
Talk
Network Configuration Synthesis with Abstract Topologies
PLDI Research Papers
Ryan Beckett Princeton University, Ratul Mahajan Microsoft, Todd Millstein University of California, Los Angeles, Jitendra Padhye Microsoft, David Walker Princeton University
Media Attached
11:40
25m
Talk
Synthesizing Highly Expressive SQL Queries from Input-Output Examples
PLDI Research Papers
Chenglong Wang University of Washington, USA, Alvin Cheung University of Washington, Rastislav Bodík University of Washington
Media Attached
12:05
25m
Talk
Synthesizing Memory Models from Framework Sketches and Litmus Tests
PLDI Research Papers
James Bornholt University of Washington, Emina Torlak University of Washington, USA
Pre-print Media Attached