Can reactive synthesis and syntax-guided synthesis be friends?
Can reactive synthesis and syntax-guided synthesis be friends?
复制标题
反应式合成和语法引导合成可以成为朋友吗？
DOI：
10.1145/3519939.3523429
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Santolucito, Mark
中科院分区：
文献类型：
--
作者：
Choi, Wonhyuk;Finkbeiner, Bernd;Piskac, Ruzica;Santolucito, Mark
尽管反应合成和语法引导合成（SyGuS）近年来取得了巨大进展，但将这两种方法结合起来仍然是一个挑战。在这项工作中，我们提出了基于时间流逻辑模理论（TSL-MT）的反应式程序的合成，这是一个将两种方法结合起来合成单个程序的框架。在我们的方法中，反应式合成和 SyGuS 在合成过程中协作，并生成实现反应式和数据级属性的可执行代码。我们提出了一种工具 temos，它结合了反应式合成和 SyGuS 中最先进的方法，以根据 TSL-MT 规范合成程序。我们通过一组基准证明了我们的方法的适用性，并提出了关于合成音乐键盘合成器的深入案例研究。
While reactive synthesis and syntax-guided synthesis (SyGuS) have seen enormous progress in recent years, combining the two approaches has remained a challenge. In this work, we present the synthesis of reactive programs from Temporal Stream Logic modulo theories (TSL-MT), a framework that unites the two approaches to synthesize a single program. In our approach, reactive synthesis and SyGuS collaborate in the synthesis process, and generate executable code that implements both reactive and data-level properties.We present a tool, temos, that combines state-of-the-art methods in reactive synthesis and SyGuS to synthesize programs from TSL-MT specifications. We demonstrate the applicability of our approach over a set of benchmarks, and present a deep case study on synthesizing a music keyboard synthesizer.
登录
查看更多内容
GPU 内核自动同步
DOI：
10.23919/fmcad.2018.8602999
发表时间：
2018
期刊：
2018 Formal Methods in Computer Aided Design (FMCAD)
影响因子：
--
作者：
S. Anand;N. Polikarpova
通讯作者：
N. Polikarpova
时间流逻辑模理论*
DOI：
--
发表时间：
2021
期刊：
影响因子：
--
作者：
B. Finkbeiner;Philippe Heim;Noemi E. Passing
通讯作者：
Noemi E. Passing
综合反应式程序
DOI：
10.4230/lipics.csl.2011.428
发表时间：
2011
期刊：
2006 Formal Methods in Computer Aided Design
影响因子：
--
作者：
P. Madhusudan
通讯作者：
P. Madhusudan
DOI：
10.4204/eptcs.229.8
发表时间：
2016
期刊：
2012 27th Annual IEEE Symposium on Logic in Computer Science
影响因子：
--
作者：
L. Ryzhyk;Adam Walker
通讯作者：
Adam Walker
音乐家的程序综合：时间逻辑规范的可用性测试台
DOI：
10.1007/978-3-030-89051-3_4
发表时间：
2021
期刊：
Asian Symposium on Programming Languages and Systems
影响因子：
--
作者：
Choi, Wonhyuk;Vazirani, Michel;Santolucito, Mark
通讯作者：
Santolucito, Mark