LIVE 2023
who it's for
live programming researchers, developer tools engineers, editor and IDE authors, language tooling engineers, end user programming designers, multimedia application developers
topics
programmable digital audio workstation; bidirectional editor widgets; LSP backed domain specific language; spatial programming virtual machine; schema change and migrations; AST property probes for compilers; semi formal programming with LLM agents; edit history driven documents; block based rich text programming; live state first debugging; hot reload to mobile devices; computational outliner with maps
| title | author | length |
|---|---|---|
| LIVE 2023 Opening | Jun Kato, Peter Van Hardenberg | 14m |
Ninth annual LIVE workshop traces its origin to 2013, moved across ICSE, OOPSLA and now SPLASH, and runs as a day of four interactive blocks with no keynote… | ||
| PAW: a programmable and visual audio workstation | Xavier Lambein | 31m |
PAW is a prototype programmable DAW that generates a live GUI from a codeable DSL and keeps UI and source in sync with bidirectional widgets. It uses a… | ||
| CellPond: Spatial programming without escape | Lu Wilson | 44m |
A spatial programming system that removes text escape hatches by giving a low‑level VM with four core ops — check recolor split merge — plus a UI for painting… | ||
| Live & Local Schema Change: Challenge Problems | Jonathan Edwards, Tomas Petricek, Tijs van der Storm | 34m |
Paper claims schema change in live programming and local-first software is the same core problem and offers concrete challenge scenarios rather than full… | ||
| CodeProber: Live Compiler Exploration | Anton Risberg Alakülä, Görel Hedin, Niklas Fors | 26m |
CodeProber is a client‑server tool (TypeScript Monaco client, Java server) that lets users inspect AST properties as live property probes tied to source spans… | ||
| Language Model Agents Enable Semi-Formal Programming | Josh Pollock, Arvind Satyanarayan, Daniel Jackson | 26m |
Argues that large language models let programs live between bricklike code and unfired clay by enabling semi-formal programming, where some AST leaves are… | ||
| Document-oriented programming based on edit history | Tomas Petricek, Jonathan Edwards | 28m |
Prototype document system stores program as an edit history and demonstrates three concrete behaviors: a local-first merge that reconciles concurrent edits… | ||
| TypeCell: End-User Programming in Block-Based rich text documents | Yousef El-Dardiry | 27m |
TypeCell is a block-based rich text editor that embeds a live reactive TypeScript/JavaScript environment so users can program documents that… | ||
| Embark: a computational outliner for travel | Paul Sonnentag, Alexander Obenauer, Geoffrey Litt | 26m |
Embark is a prototype outliner that treats apps as reified data, computations, and views, letting a single document hold freeform notes plus live references to… | ||
| Unfolding State Changes via Live State-First Debugging | Ruanqianqian (Lisa) Huang, Philip J. Guo, Sorin Lerner | 30m |
Implements a live state-first debugger called Unfold for web GUIs that records and replays user traces, shows a timeline of changed UI states, links each state… | ||
| Lude - build video games quickly | Mary Rose Cook | 27m |
Claims a simple 2D game can be made fast — make a simple game in five minutes — by editing the running game directly in a browser editor while a separate phone… | ||
| LIVE 2023 Closing | Jun Kato, Peter Van Hardenberg | 45m |
Panelists debate concrete experiments: an LLM-augmented live programmable dynamic document that feeds a handmade spreadsheet language into a model and keeps… | ||
| nothing matches | ||