SPLASH 2026
Sun 4 - Fri 9 October 2026 Oakland, California, United States
co-located with SPLASH/ISSTA 2026
SPLASH/ISSTA 2026 (series) / SPLASH 2026 (series) / Oakland Marriott City Center /

Room information: OCC 208

VenueOakland Marriott City Center
Room nameOCC 208
Room InformationNo extra information available
Program

This program is tentative and subject to change.

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

Mon 5 Oct

Displayed time zone: Pacific Time (US & Canada) change

10:30 - 12:00
Session 1Onward! Papers / Onward! Essays at OCC 208
10:30
30m
Talk
Normalization by Origin, Not by Shape
Onward! Papers
Marco Servetto VUW, Colin S. Gordon Drexel University
11:00
30m
Talk
The Choose-Your-Own-Adventure Calculus
Onward! Papers
Tomas Petricek Charles University, Jan Liam Verter Charles University, Mikoláš Fromm Charles University
Pre-print
11:30
40m
Talk
The Spreadsheet Was the Constitution
Onward! Essays
Abutalib Namazov Massachusetts Institute of Technology
13:30 - 15:00
Session 2Onward! Essays at OCC 208
13:30
40m
Talk
Programs Should Be Comics, Their Execution — Animation
Onward! Essays
Maciej Godek Gdynia Maritime University
14:10
40m
Talk
Towards Critical Abstraction for Software
Onward! Essays
Alice Chung University of California, San Diego, Devamardeep Hayatpur University of California, San Diego, Philip Guo University of California San Diego, Tomas Petricek Charles University
15:30 - 17:00
Session 3Onward! Essays at OCC 208
15:30
40m
Talk
Objects and classes will do
Onward! Essays
Ole Lehrmann Madsen Aarhus University, Birger Møller-Pedersen University of Oslo
16:10
40m
Talk
(This is Not a Paper About) Mutation Driven Development
Onward! Essays
Alex Groce Northern Arizona University

Tue 6 Oct

Displayed time zone: Pacific Time (US & Canada) change

10:30 - 12:00
Session 4Onward! Essays at OCC 208
10:30
40m
Talk
Agents as Software: A Programming Languages Agenda for Agent Reliability
Onward! Essays
Shraddha Barke Microsoft Research, Redmond, Adithya Murali University of Wisconsin-Madison
11:10
40m
Talk
The Conversation We're Not Having About AI in Peer Review
Onward! Essays
Emerson Murphy-Hill Microsoft, Christian Bird Microsoft Research
13:30 - 15:00
Session 5Onward! Papers at OCC 208
13:30
30m
Talk
Proxies All the Way Down: Bootstrapping a Userland Speculative Optimizer for the OpenSmalltalk VM
Onward! Papers
Christoph Thiede Hasso Plattner Institute, University of Potsdam, Marius Dörbandt Hasso Plattner Institute, University of Potsdam, Eliot Miranda Cadence Design Systems, Marcel Taeumel University of Potsdam; Hasso Plattner Institute, Robert Hirschfeld Hasso Plattner Institute; University of Potsdam
14:00
30m
Talk
Escaping the DAG Dogma: Toward Modular Reactive Architectures
Onward! Papers
Rivka Altshuler The Open University of Israel, David H. Lorenz Open University of Israel
14:30
30m
Talk
Glassbox Debugging: Code as Interface for No-Code
Onward! Papers
Niv Benaloul Open University of Israel, David H. Lorenz Open University of Israel
15:30 - 17:00
Session 6Onward! Papers at OCC 208
15:30
30m
Talk
Relational Agenda Programming: A Uniform Execution Model for Embedded Reasoning Systems
Onward! Papers
Andrew Shi-hwa Chen
16:00
30m
Talk
Croquetify: Transforming Single-User Functional Reactive Programs into Multi-User Applications
Onward! Papers
Yoshiki Ohshima Independent Contractor, Shizuoka University, Aran Lunzer Independent Software Engineer, David A Smith Independent Software Engineer
16:30
30m
Talk
The Developer as Curator: A Canvas for Coding Agent Context
Onward! Papers
Lukas Böhme Hasso Plattner Institute, University of Potsdam, Potsdam, Germany, Tom Beckmann Kyoto University of Advanced Science, Michael Perscheid SAP Innovation Center Potsdam, Robert Hirschfeld Hasso Plattner Institute; University of Potsdam

Sun 4 Oct

Displayed time zone: Pacific Time (US & Canada) change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
OCC 208

SPLASH/ISSTA Doctoral symposium

SPLASH/ISSTA Doctoral symposium

SPLASH/ISSTA Doctoral symposium

SPLASH/ISSTA Doctoral symposium

Mon 5 Oct

Displayed time zone: Pacific Time (US & Canada) change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
OCC 208

Onward! Papers

Onward! Papers + Onward! Essays

Session 1

Onward! Essays

Session 2

Onward! Essays

Session 3

Tue 6 Oct

Displayed time zone: Pacific Time (US & Canada) change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
OCC 208

Onward! Essays

Onward! Essays

Session 4

Onward! Papers

Session 5

Onward! Papers

Session 6

Thu 8 Oct

Displayed time zone: Pacific Time (US & Canada) change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
OCC 208

VMIL

VMIL

VMIL

VMIL

Mon 5 Oct

Displayed time zone: Pacific Time (US & Canada) change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
OCC 208
SPLASH Onward! Papers
Normalization by Origin, Not by Shape
10:30 - 11:00
SPLASH Onward! Papers
The Choose-Your-Own-Adventure Calculus
11:00 - 11:30
SPLASH Onward! Essays
The Spreadsheet Was the Constitution
11:30 - 12:10
SPLASH Onward! Essays
Programs Should Be Comics, Their Execution — Animation
13:30 - 14:10
SPLASH Onward! Essays
Towards Critical Abstraction for Software
14:10 - 14:50
SPLASH Onward! Essays
Objects and classes will do
15:30 - 16:10
SPLASH Onward! Essays
(This is Not a Paper About) Mutation Driven Development
16:10 - 16:50

Tue 6 Oct

Displayed time zone: Pacific Time (US & Canada) change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
OCC 208
SPLASH Onward! Essays
Agents as Software: A Programming Languages Agenda for Agent Reliability
10:30 - 11:10
SPLASH Onward! Essays
The Conversation We're Not Having About AI in Peer Review
11:10 - 11:50
SPLASH Onward! Papers
Proxies All the Way Down: Bootstrapping a Userland Speculative Optimize ...
13:30 - 14:00
SPLASH Onward! Papers
Escaping the DAG Dogma: Toward Modular Reactive Architectures
14:00 - 14:30
SPLASH Onward! Papers
Glassbox Debugging: Code as Interface for No-Code
14:30 - 15:00
SPLASH Onward! Papers
Relational Agenda Programming: A Uniform Execution Model for Embedded R ...
15:30 - 16:00
SPLASH Onward! Papers
Croquetify: Transforming Single-User Functional Reactive Programs into ...
16:00 - 16:30
SPLASH Onward! Papers
The Developer as Curator: A Canvas for Coding Agent Context
16:30 - 17:00