Modeling black-box components with probabilistic synthesis
Modeling black-box components with probabilistic synthesis
复制标题
通过概率综合对黑盒组件进行建模
DOI：
10.1145/3425898.3426952
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Collie B
中科院分区：
文献类型：
--
作者：
Collie B
本文关注的是黑盒预言的基础上合成程序：我们感兴趣的情况下，存在一个可执行的组件或库的实现，但其内部结构是未知的。我们只提供了一个API或函数签名，并旨在合成一个程序与等效的behavior.To攻击这个问题，我们详细介绍Presyn：一个程序合成器设计的灵活的互操作与现有的程序和编译器工具链。Presyn使用高级命令式控制流结构和一对协作预测模型来有效地缩小潜在程序的空间。这些模型可以有效地训练小语料库的合成examples.We评估Presyn对五个领先的程序合成器收集112个合成基准整理从以前的研究和现实世界的软件库。我们表明，Presyn能够合成更广泛的程序比他们每个人少的人力投入。我们展示了我们的方法在现实世界的代码和软件工程问题中的应用与两个案例研究：加速器库移植和重复库重新实现的检测。
This paper is concerned with synthesizing programs based on black-box oracles: we are interested in the case where there exists an executable implementation of a component or library, but its internal structure is unknown. We are provided with just an API or function signature, and aim to synthesize a program with equivalent behavior.To attack this problem, we detail Presyn: a program synthesizer designed for flexible interoperation with existing programs and compiler toolchains. Presyn uses high-level imperative control-flow structures and a pair of cooperating predictive models to efficiently narrow the space of potential programs. These models can be trained effectively on small corpora of synthesized examples.We evaluate Presyn against five leading program synthesizers on a collection of 112 synthesis benchmarks collated from previous studies and real-world software libraries. We show that Presyn is able to synthesize a wider range of programs than each of them with less human input. We demonstrate the application of our approach to real-world code and software engineering problems with two case studies: accelerator library porting and detection of duplicated library reimplementations.
登录
查看更多内容
用于库可移植性的类型导向程序综合和约束生成
DOI：
10.1109/pact.2019.00013
发表时间：
2019
期刊：
--
影响因子：
--
作者：
Collie B
通讯作者：
Collie B
影响因子：
--
作者：
Yu Feng;R. Martins;O. Bastani;Işıl Dillig
通讯作者：
Yu Feng;R. Martins;O. Bastani;Işıl Dillig
DOI：
10.1145/3102071.3102084
发表时间：
2017
期刊：
Proceedings of the International Conference on the Foundations of Digital Games - FDG '17
影响因子：
--
作者：
Butler, Eric;Torlak, Emina;Popović, Zoran
通讯作者：
Popović, Zoran
验证了模板计算的提升
DOI：
10.1145/2908080.2908117
发表时间：
2016
期刊：
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation
影响因子：
--
作者：
Shoaib Kamil;Alvin Cheung;Shachar Itzhaky;Armando Solar
通讯作者：
Armando Solar
DOI：
10.1609/aaai.v33i01.33012362
发表时间：
2018
期刊：
2013 20th Working Conference on Reverse Engineering (WCRE)
影响因子：
--
作者：
Christopher D. Rosin
通讯作者：
Christopher D. Rosin