ICFP 2021
Sun 22 - Sat 28 August 2021
Fri 27 Aug 2021 21:00 - 21:30 at FARM - Session 2

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 Aug

Displayed time zone: Seoul change

20:00 - 21:30
Session 2FARM at FARM
20:00
30m
Talk
Temporal-Scope Grammars for Polyphonic Music Generation
FARM
20:30
30m
Talk
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
30m
Talk
Human-in-the-loop Program Synthesis for Live Coding
FARM
Mark Santolucito Barnard College, Columbia University, USA
Pre-print