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 | |||
20:00 30mTalk | Temporal-Scope Grammars for Polyphonic Music Generation FARM | ||
20:30 30mTalk | The W-calculus: A Synchronous Framework for the Verified Modelling of Digital Signal Processing Algorithms FARM Emilio Jesús Gallego Arias INRIA, Pierre Jouvelot MINES ParisTech, PSL University, Sylvain Ribstein Université Paris 7 Diderot, Dorian Desblancs École normale supérieure Paris-Saclay | ||
21:00 30mTalk | Human-in-the-loop Program Synthesis for Live Coding FARM Mark Santolucito Barnard College, Columbia University, USA Pre-print |