Program - SPLASH 2023

Detailed Table Column Timeline Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT+01:00) Lisbon.

Use conference time zone: (GMT+01:00) LisbonSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 23 Oct
Displayed time zone: Lisbon change

09:00 - 10:30	LIVE 2023 Opening / creative domains for LIVE programmingLIVE at Room XII

09:00 30m Day opening		LIVE 2023 Opening LIVE Jun Kato National Institute of Advanced Industrial Science and Technology (AIST), Peter van Hardenberg Ink & Switch
09:30 30m Talk		PAW: a programmable and visual audio workstation LIVE Xavier Lambein
10:00 30m Talk		CellPond: Spatial programming without escape LIVE Lu Wilson tldraw

11:00 - 12:30	Theoretical problems in LIVE programmingLIVE at Room XII

11:00 30m Talk		Live & Local Schema Change: Challenge Problems LIVE Jonathan Edwards Independent, Tomas Petricek Charles University, Tijs van der Storm CWI & University of Groningen DOI Pre-print
11:30 30m Talk		CodeProber: Live Compiler Exploration LIVE Anton Risberg Alaküla Lund University, Görel Hedin Lund University, Niklas Fors Lund University Media Attached File Attached
12:00 30m Talk		Language Model Agents Enable Semi-Formal Programming LIVE Josh Pollock MIT CSAIL, Arvind Satyanarayan MIT CSAIL, Daniel Jackson MIT

14:00 - 15:30	Document-orinted LIVE programmingLIVE at Room XII

14:00 30m Talk		Document-oriented programming based on edit historyRemote LIVE Tomas Petricek Charles University, Jonathan Edwards Independent
14:30 30m Talk		TypeCell: End-User Programming in Block-Based rich text documents LIVE Yousef El-Dardiry TypeCell
15:00 30m Talk		Embark: a computational outliner for travel LIVE Paul Sonnentag , Alexander Obenauer , Geoffrey Litt

16:00 - 17:30	Remote talks / LIVE 2023 ClosingLIVE at Room XII

16:00 30m Talk		Unfolding State Changes via Live State-First DebuggingRemote LIVE Ruanqianqian (Lisa) Huang University of California, San Diego, Philip Guo University of California at San Diego, Sorin Lerner University of California at San Diego
16:30 30m Talk		Lude - build video games quicklyRemote LIVE Mary Rose Cook
17:00 30m Day closing		LIVE 2023 Closing LIVE Jun Kato National Institute of Advanced Industrial Science and Technology (AIST), Peter van Hardenberg Ink & Switch

LIVE 2023 Program

Mon 23 Oct
Displayed time zone: Lisbon change

Tracks

Co-hosted Conferences

Workshops

LIVE 2023 Program

Switch Program View

Program Display Configuration

Mon 23 OctDisplayed time zone: Lisbon change

Get Calendar (iCal)

Mon 23 Oct
Displayed time zone: Lisbon change