Exploring Human-in-the-loop Program Synthesis with Live Coding
Live Coding is a budding performative practice whereby artists write code that generates media (audio, visuals, etc.) live on stage. In live coding, the process of writing code is itself the final product, rather than a fixed implementation of a tool, as typically seen in software development. We propose that this unique performance style, with a heavy emphasis on the evolution of code, is an ideal space to explore program synthesis. In this paper, we present a synthesis-aided live coding interface for drum sequencer patterns. Our live coding environment allows performers to live coding in Javascript, uses a programming-by-example model for synthesis. The synthesis toolchain uses SyGuS and a set of templates specific to live coding music. We describe the tool and its implementation, and highlight key areas of future exploration.
Tue 17 NovDisplayed time zone: Central Time (US & Canada) change
11:00 - 12:20 | |||
11:00 20mTalk | NBSafety: Fine-Grained Lineage for Safer Jupyter Notebooks LIVE Media Attached | ||
11:20 20mTalk | Mito: Edit a spreadsheet. Generate production ready Python. LIVE Media Attached | ||
11:40 20mTalk | Functional Block Programming and Debugging LIVE Dimi Racordon University of Geneva, Switzerland, Emmanouela Stachtiari University of Geneva, Damien Morard , Didier Buchs University of Geneva, Switzerland Media Attached | ||
12:00 20mTalk | Exploring Human-in-the-loop Program Synthesis with Live Coding LIVE Mark Santolucito Barnard College, Columbia University, USA Media Attached |