Human-in-the-loop program synthesis for live coding
Human-in-the-loop program synthesis for live coding
复制标题
用于实时编码的人机循环程序合成
DOI：
10.1145/3471872.3472972
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Santolucito, Mark
中科院分区：
文献类型：
--
作者：
Santolucito, Mark
实时编码是一种创造性的编码实践，其中编程行为本身就构成了一种表演。在现场编码表演期间编写的代码通常会生成媒体，例如连续的音乐或视频流。实时编码的挑战之一是在语言设计中找到平衡，使语言既对艺术家来说具有足够的表现力，又足够简单以进行实时编程。为了减少手动编码实时编码性能每个部分的开销，我们提出了一种实时编码工具，它利用程序合成来简化流程。程序综合保留了实时编码表演的“展示你的代码”的精神，同时也降低了表演实践的进入门槛。
Live Coding is a creative coding practice, where the act of programming itself constitutes a performance. The code written during a Live Coding performance often generates media, for example a continuous stream of music or video. One of the challenges of Live Coding is in finding a balance in the language design, such that the language is both expressive enough for the artist, as well as simple enough to be programmed in real-time. In order to reduce the overhead of manually coding every part of a Live Coding performance, we propose a tool for Live Coding that leverages program synthesis to simplify the process. Program synthesis retains the "show your code" ethos of Live Coding performances, while also lowering the barrier to entry to the performance practice.
登录
查看更多内容
SMT 求解器核心的 SyGuS 技术
DOI：
--
发表时间：
2017
期刊：
SYNT@CAV
影响因子：
--
作者：
Andrew Reynolds;C. Tinelli
通讯作者：
C. Tinelli
Sketch-n-Sketch：SVG 的输出导向编程
DOI：
10.1145/3332165.3347925
发表时间：
2019
期刊：
Proceedings of the 32nd Annual ACM Symposium on User Interface Software and Technology (UIST
影响因子：
--
作者：
Hempel, Brian;Lubin, Justin;Chugh, Ravi
通讯作者：
Chugh, Ravi
现场编程示例
DOI：
10.1145/3290607.3313266
发表时间：
2019
期刊：
CHI EA '19 Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems
影响因子：
--
作者：
Santolucito, Mark;Hallahan, William T.;Piskac, Ruzica
通讯作者：
Piskac, Ruzica
通过实时编码与生成音乐互动
DOI：
--
发表时间：
2009
期刊：
影响因子：
--
作者：
Andrew R. Brown;Andrew Sorensen
通讯作者：
Andrew Sorensen
DOI：
10.1145/3242903.3242906
发表时间：
2018
期刊：
and Design
影响因子：
--
作者：
Santolucito, Mark;Rogers, Kate;Lombardo, Aedan;Piskac, Ruzica
通讯作者：
Piskac, Ruzica