Abstract:When managing wide-area networks, network architects must decide how to balance multiple conflicting metrics, and ensure fair allocations to competing traffic while prioritizing critical traffic. The state of practice poses challenges since architects must precisely encode their intent into formal optimization models using abstract notions such as utility functions, and ad-hoc manually tuned knobs. In this paper, we present the first effort to synthesize optimal network designs with indeterminate objectives using an interactive program-synthesis-based approach. We make three contributions. First, we present comparative synthesis, an interactive synthesis framework which produces near-optimal programs (network designs) through two kinds of queries (Propose and Compare), without an objective explicitly given. Second, we develop the first learning algorithm for comparative synthesis in which a voting-guided learner picks the most informative query in each iteration. We present theoretical analysis of the convergence rate of the algorithm. Third, we implemented Net10Q, a system based on our approach, and demonstrate its effectiveness on four real-world network case studies using black-box oracles and simulation experiments, as well as a pilot user study comprising network researchers and practitioners. Both theoretical and experimental results show the promise of our approach.

Construction of a Protocol Synthesis Environment and Its Implementation.

A User Friendly Software Environment for Protocol Synthesis

Synthesis of logical controllers and discrete-event systems supervisory control theory

A Knowledge-Based System for Protocol Synthesis (KSPS).

An interactive logic synthesis system based upon AI techniques

An Interactive Protocol Synthesis Algorithm Using a Global State Transition Graph

Synthesis of Reactive Protocols for Vehicle-to-Vehicle Communication

Program Synthesis with Pragmatic Communication

An environment for rapid prototyping of interactive systems

Efficient Synthesis of Symbolic Distributed Protocols by Sketching

INSEP - a model-based interactive software environment for protocol specification

Intelligent program synthesis framework and key scientific problems for embedded software

A generic interface modeling approach for SOC design

Program Synthesis using Natural Language

Constructing Hardware/Software Interface Using Protocol Converters

Parameterized Synthesis with Safety Properties

Derivation of Network Reprogramming Protocol with Z3

Communication-protocol-based analysis and synthesis of networked systems: progress, prospects and challenges

CONSTRUCT: A Program Synthesis Approach for Reconstructing Control Algorithms from Embedded System Binaries in Cyber-Physical Systems

Toward Neural-Network-Guided Program Synthesis and Verification

Comparative Synthesis: Learning Near-Optimal Network Designs by Query