Program Synthesis for Musicians: A Usability Testbed for Temporal Logic Specifications
Program Synthesis for Musicians: A Usability Testbed for Temporal Logic Specifications
复制标题
音乐家的程序综合：时间逻辑规范的可用性测试台
DOI：
10.1007/978-3-030-89051-3_4
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Santolucito, Mark
中科院分区：
文献类型：
--
作者：
Choi, Wonhyuk;Vazirani, Michel;Santolucito, Mark
近年来，程序综合研究在创建用户友好的PBE（Programming by example）和PBD（Programming by demonstration）环境工具方面取得了重大进展。然而，从逻辑规范的程序合成，如反应合成，仍然面临着广泛采用的巨大挑战。为了将反应合成带给更广泛的受众，有必要进行更多的研究，以探索不同的接口选项。我们提出的SynthSynthesizer，一个基于音乐的设计和测试规范接口的工具。该工具使研究人员能够对反应合成的不同界面进行原型设计，并对其进行用户研究。研究人员和用户都可以通过在adocker-containerized合成工具链上的浏览器上运行来访问该工具。我们展示了示例实现的工具，通过创建一个界面，并通过运行一个用户研究与21个用户。
In recent years, program synthesis research has made significant progress in creating user-friendly tools for Programming by example (PBE) and Programming by demonstration (PBD) environments. However, program synthesis from logical specifications, such as reactive synthesis, still faces large challenges in widespread adoption. In order to bring reactive synthesis to a wider audience, more research is necessary to explore different interface options. We present The SynthSynthesizer, a music-based tool for designing and testing specification interfaces. The tool enables researchers to prototype different interfaces for reactive synthesis and run user studies on them. The tool is accessible to both researchers and users by running on a browser on top of adocker-containerized synthesis toolchain. We show sample implementations with the tool by creating dropdown interfaces, and by running a user study with 21 users.
登录
查看更多内容
时间流逻辑模理论*
DOI：
--
发表时间：
2021
期刊：
影响因子：
--
作者：
B. Finkbeiner;Philippe Heim;Noemi E. Passing
通讯作者：
Noemi E. Passing
可解释的反应合成
DOI：
10.1007/978-3-030-59152-6_23
发表时间：
2020
期刊：
2023 IEEE 36th Computer Security Foundations Symposium (CSF)
影响因子：
--
作者：
Tom Baumeister;B. Finkbeiner;Hazem Torfah
通讯作者：
Hazem Torfah
StriSynth：现场编程的综合
DOI：
10.1109/icse.2015.227
发表时间：
2015
期刊：
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering
影响因子：
--
作者：
Sumit Gulwani;M. Mayer;Filip Niksic;R. Piskac
通讯作者：
R. Piskac
第四届反应合成竞赛（SYNTCOMP 2017）：基准、参与者
DOI：
--
发表时间：
2017
期刊：
SYNT@CAV
影响因子：
--
作者：
Swen Jacobs;Nicolas Basset;R. Bloem;Romain Brenguier;Maximilien Colange;Peter Faymonville;B. Finkbeiner;A. Khalimov;F. Klein;Thibaud Michaud;G. Pérez;Jean;O. Sankur;Leander Tentrup
通讯作者：
Leander Tentrup
DOI：
10.4204/eptcs.229.8
发表时间：
2016
期刊：
2012 27th Annual IEEE Symposium on Logic in Computer Science
影响因子：
--
作者：
L. Ryzhyk;Adam Walker
通讯作者：
Adam Walker