Learning Network Design Objectives Using A Program Synthesis Approach
Learning Network Design Objectives Using A Program Synthesis Approach
复制标题
使用程序综合方法的学习网络设计目标
DOI：
10.1145/3365609.3365861
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Rao, Sanjay G.
中科院分区：
文献类型：
--
作者：
Wang, Yanjun;Jiang, Chuan;Qiu, Xiaokang;Rao, Sanjay G.
虽然网络社区已经使用优化或其他技术（例如，在诸如交通工程和资源分配的领域中），这种工作的大部分集中在假定明确定义的目标的情况下有效地生成设计。在本文中，我们认为，在实践中，网络设计任务的目标可能不容易指定的架构师。我们主张，并提出了一种结构化的方法，网络设计任务的目标是通过与建筑师的迭代交互学习。我们的方法受到了在编程语言社区中取得成功的示例编程方法的启发。然而，传统的程序合成技术并不适用，因为在我们的上下文中，用户只能提供多个选择之间的相对比较，而不是为给定的输入提供精确的输出。我们提出了一种新的比较合成方法来应对这些挑战。我们勾勒的方法，目前有前途的初步结果，并讨论未来的研究问题。
While the networking community has extensively tackled network design problems using optimization or other techniques (e.g., in areas such as traffic-engineering, and resource allocation), much of this work focuses on efficiently generating designs assuming well-defined objectives. In this paper, we argue that in practice, the objectives of a network design task may not be easy to specify for an architect. We argue for, and present a structured approach where the objectives of a network design task are learnt through iterative interactions with the architect. Our approach is inspired by a programming-by-examples approach that has seen success in the programming languages community. However, conventional program synthesis techniques do not apply because in our context a user can only provide a relative comparison between multiple choices on which one is more desirable, rather than provide an exact output for a given input. We propose a novel comparative synthesis approach to tackle these challenges. We sketch the approach, present promising preliminary results, and discuss future research questions.
DOI：
10.1007/s10009-012-0232-3
发表时间：
2010
影响因子：
1.5
作者：
Martin T. Vechev;Eran Yahav;G. Yorsh
通讯作者：
G. Yorsh
NetGen：综合网络策略的数据平面配置
DOI：
10.1145/2774993.2775006
发表时间：
2015
期刊：
Proceedings of the 1st ACM SIGCOMM Symposium on Software Defined Networking Research
影响因子：
--
作者：
Shambwaditya Saha;S. Prabhu;P. Madhusudan
通讯作者：
P. Madhusudan