Human-in-the-loop Program Synthesis for Live Coding
Live coding is a creative coding practice, where the act of pro- gramming 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 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 simplify the overhead 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.
Fri 27 AugDisplayed time zone: Seoul change
20:00 - 21:30
|Temporal-Scope Grammars for Polyphonic Music Generation|
|The W-calculus: A Synchronous Framework for the Verified Modelling of Digital Signal Processing Algorithms|
|Human-in-the-loop Program Synthesis for Live Coding|
Mark Santolucito Barnard College, Columbia University, USAPre-print