Information on SPLASH Keynotes can be found below. We are currently working on making the official schedule, but for your interest in the meantime, The Augmented Forest will be held on Wednesday jointly with ISSTA.
Keynotes
| Title | |
|---|---|
| In the Age of AI Coding Agents, Keeping the Engineer in Software Engineering SPLASH Keynotes | |
| Mojo: Towards One Systems Language for All Hardware SPLASH Keynotes | |
| The Augmented Forest SPLASH Keynotes K: Kent Beck |
Dates
Tracks
Mon 5 OctDisplayed time zone: Pacific Time (US & Canada) change
Mon 5 Oct
Displayed time zone: Pacific Time (US & Canada) change
08:30 - 10:00 | |||
08:30 10mOther | Opening Remarks SPLASH Keynotes | ||
08:40 60mTalk | In the Age of AI Coding Agents, Keeping the Engineer in Software Engineering SPLASH Keynotes | ||
10:30 - 12:00 | |||
10:30 30mTalk | Normalization by Origin, Not by Shape Onward! Papers | ||
11:00 30mTalk | 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 40mTalk | The Spreadsheet Was the Constitution Onward! Essays Abutalib Namazov Massachusetts Institute of Technology | ||
13:30 - 15:00 | |||
13:30 40mTalk | Programs Should Be Comics, Their Execution — Animation Onward! Essays Maciej Godek Gdynia Maritime University | ||
14:10 40mTalk | 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 DOI | ||
15:30 - 17:00 | |||
15:30 40mTalk | Objects and classes will do Onward! Essays | ||
16:10 40mTalk | (This is Not a Paper About) Mutation Driven Development Onward! Essays Alex Groce Northern Arizona University | ||
Tue 6 OctDisplayed time zone: Pacific Time (US & Canada) change
Tue 6 Oct
Displayed time zone: Pacific Time (US & Canada) change
08:30 - 10:00 | |||
08:30 60mTalk | Mojo: Towards One Systems Language for All Hardware SPLASH Keynotes | ||
10:30 - 12:00 | |||
10:30 40mTalk | Agents as Software: A Programming Languages Agenda for Agent Reliability Onward! Essays | ||
11:10 40mTalk | The Conversation We're Not Having About AI in Peer Review Onward! Essays | ||
13:30 - 15:00 | |||
13:30 30mTalk | 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 DOI Media Attached File Attached | ||
14:00 30mTalk | Escaping the DAG Dogma: Toward Modular Reactive Architectures Onward! Papers | ||
14:30 30mTalk | Glassbox Debugging: Code as Interface for No-Code Onward! Papers | ||
15:30 - 17:00 | |||
15:30 30mTalk | Relational Agenda Programming: A Uniform Execution Model for Embedded Reasoning Systems Onward! Papers Andrew Shi-hwa Chen Minnesota State University Moorhead | ||
16:00 30mTalk | 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 30mTalk | 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 | ||
Wed 7 OctDisplayed time zone: Pacific Time (US & Canada) change
Wed 7 Oct
Displayed time zone: Pacific Time (US & Canada) change
08:30 - 10:00 | |||
08:30 60mTalk | The Augmented Forest SPLASH Keynotes | ||