We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Programming Languages

Title: Comparative Synthesis: Learning Near-Optimal Network Designs by Query

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.
Subjects: Programming Languages (cs.PL); Human-Computer Interaction (cs.HC); Networking and Internet Architecture (cs.NI)
Cite as: arXiv:2105.11620 [cs.PL]
  (or arXiv:2105.11620v3 [cs.PL] for this version)

Submission history

From: Yanjun Wang [view email]
[v1] Tue, 25 May 2021 02:36:13 GMT (669kb,D)
[v2] Mon, 6 Dec 2021 03:25:34 GMT (3747kb,D)
[v3] Sat, 2 Jul 2022 18:50:23 GMT (2228kb,D)

Link back to: arXiv, form interface, contact.