OCC 208 - SPLASH 2026

VenueOakland Marriott City Center

Room nameOCC 208

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select 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

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

08:30 - 10:00	Intro, Lightning Talks, and Long Talks 1SPLASH/ISSTA Doctoral symposium at OCC 208

09:00 5m Talk		Intro and Welcome SPLASH/ISSTA Doctoral symposium S: Caroline Lemieux University of British Columbia
09:05 2m Talk		Accurate Specification Recovery for Effective Test Generation SPLASH/ISSTA Doctoral symposium A: Junda Zhao Department of Mechanical and Industrial Engineering, University of Toronto
09:08 2m Talk		Toward Reliable Automatic Proxies for Code Comprehensibility SPLASH/ISSTA Doctoral symposium A: Erfan Arvan New Jersey Institute of Technology
09:11 2m Talk		The Mechanisms and Practice of Mutation Testing in Improving Software Quality SPLASH/ISSTA Doctoral symposium A: Hang Du University of California at Irvine
09:14 2m Talk		Towards Scalable and Verifiable Automated Translation from C to Safe Rust SPLASH/ISSTA Doctoral symposium A: Victor Chen The Ohio State University
09:17 2m Talk		After the Hitchhiker's Guide: Toward Principled LLM Assistance for Static Analysis SPLASH/ISSTA Doctoral symposium A: Haonan Li University of California at Riverside, USA
09:20 2m Talk		Property-based Testing of Separation Logic Specifications SPLASH/ISSTA Doctoral symposium A: Zain K Aamer University of Pennsylvania
09:23 2m Talk		Safe<T>: Automaton-Theoretic Runtime Monitoring of Blackbox Distributed Systems SPLASH/ISSTA Doctoral symposium Karuna Grewal Cornell University, USA
09:30 30m Talk		Toward Reliable Automatic Proxies for Code Comprehensibility (Long Talk) SPLASH/ISSTA Doctoral symposium A: Erfan Arvan New Jersey Institute of Technology

10:30 - 12:00	Long Talks 2SPLASH/ISSTA Doctoral symposium at OCC 208

10:30 30m Talk		The Mechanisms and Practice of Mutation Testing in Improving Software Quality (Long Talk) SPLASH/ISSTA Doctoral symposium Hang Du University of California at Irvine
11:00 30m Talk		Accurate Specification Recovery for Effective Test Generation (Long Talk) SPLASH/ISSTA Doctoral symposium Junda Zhao Department of Mechanical and Industrial Engineering, University of Toronto
11:30 30m Talk		Property-based Testing of Separation Logic Specifications (Long Talk) SPLASH/ISSTA Doctoral symposium Zain K Aamer University of Pennsylvania

13:30 - 15:00	Long Talks 3SPLASH/ISSTA Doctoral symposium at OCC 208

13:30 30m Talk		Safe<T>: Automaton-Theoretic Runtime Monitoring of Blackbox Distributed Systems (Long Talk) SPLASH/ISSTA Doctoral symposium Karuna Grewal Cornell University
14:00 30m Talk		After the Hitchhiker's Guide: Toward Principled LLM Assistance for Static Analysis (Long Talk) SPLASH/ISSTA Doctoral symposium Haonan Li University of California at Riverside, USA
14:30 30m Talk		Towards Scalable and Verifiable Automated Translation from C to Safe Rust (Long Talk) SPLASH/ISSTA Doctoral symposium Victor Chen The Ohio State University

15:30 - 17:00	DeliberationsSPLASH/ISSTA Doctoral symposium at OCC 208

15:30 90m Social Event		Free Time for Attendees SPLASH/ISSTA Doctoral symposium
16:00 60m Meeting		John Vlissides Award Deliberations for Committee SPLASH/ISSTA Doctoral symposium

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 DOI

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 DOI Media Attached File Attached
14:00 30m Talk		Escaping the DAG Dogma: Toward Modular Reactive Architectures Onward! Papers Rivka Altshuler 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 Minnesota State University Moorhead
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

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

	12:00 - 13:30	LGBTQ+ LunchSPLASH/ISSTA Social Events at OCC 208 The LGBTQ+@SPLASH/ISSTA lunch brings together members of the LGBTQ+ community to provide opportunities for networking and community building. Anyone who identifies as a member of the LGBTQIA+ community is welcome.

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

08:30 - 10:00	Performance and AnalysisVMIL at OCC 208 Chair(s): Shravan Ravi Narayan The University of Texas at Austin, Texas, USA

08:30 1m Day opening		Welcome VMIL Kirshanthan Sundararajah Virginia Tech, Deian Stefan University of California at San Diego
08:30 30m Talk		Beyond Java 6: Reviving Reflection-Aware Static Analysis for Modern JVMs VMIL Gauravsingh Sisodia Sardar Patel Institute of Technology, Poorna Teja Pasala Indian Institute of Technology Bombay, Aditya Anand Indian Institute of Technology Bombay, Manas Thakur IIT Bombay DOI
09:30 30m Talk		Bridging the Performance Gap: JVM Optimization for Semantically Identical Kotlin and Java Loops VMIL Sota Shinagawa Kogakuin University, Takeshi Kamiyama Nagasaki University, Masato Oguchi Ochanomizu University, Saneyasu Yamaguchi Kogakuin University
10:00 30m Talk		What Do R Benchmarks Measure? VMIL Pierre Donat-Bouillud Czech Technical University, Filip Riha Czech Technical University in Prague, Oliver Tušla Czech Technical University, Matěj Kocourek Charles University, Filip Křikava Czech Technical University, Jan Vitek Charles University DOI

10:30 - 12:00	JavaScriptVMIL at OCC 208 Chair(s): Deian Stefan University of California at San Diego

10:30 60m Keynote		Ahead-of-time Compilation of JavaScript to WebAssembly via Static Type Inference VMIL Chris Fallin F5
11:30 30m Talk		The Event Loop That Wasn't: What Happens to a Reactive System When You Remove JavaScript VMIL C. Bergström 24x AI Research

13:30 - 15:00	JITs and FunVMIL at OCC 208

13:30 30m Talk		Support Local Variables VMIL Maxwell Bernstein Shopify, Inc., Takashi Kokubun Shopify, Aaron Patterson Shopify, Si Xing "Alan" Wu Shopify, Kevin Menard Shopify
14:00 20m Talk		Morpho: Language and Virtual Machine Design for Dynamic Scientific ComputingPresentation Only VMIL Timothy Atherton Tufts University, Robi Jenik Tufts University, Ivan Pravdin Tufts University, Luciano Galvani Tufts University
14:20 20m Talk		Towards a Bitflip-Safe SFI EncodingPresentation Only VMIL James Mosedale University of Texas at Austin, Shravan Ravi Narayan The University of Texas at Austin, Texas, USA
14:40 20m Talk		A-JIT: Agentic Just-In-Time Software ConstructionPresentation Only VMIL Mark Marron University of Kentucky, Earl T. Barr University College London

15:30 - 17:00	Garbage CollectionVMIL at OCC 208 Chair(s): Kirshanthan Sundararajah Virginia Tech

15:30 60m Keynote		Smaller, Faster, Sharper: Recent Runtime Implementation Lessons VMIL Steve Blackburn Google and Australian National University
16:30 30m Talk		Improving ART Garbage Collection Performance through Object-Lifetime-Profile-Based Allocation Control VMIL Hiroki Yamada Kogakuin University Graduate School, Takeshi Kamiyama Nagasaki University, Masato Oguchi Ochanomizu University, Saneyasu Yamaguchi Kogakuin University

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


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
OCC 208							SPLASH/ISSTA Doctoral symposium Intro, Lightning Talks, and Long Talks 1																								SPLASH/ISSTA Doctoral symposium Long Talks 2																																				SPLASH/ISSTA Doctoral symposium Long Talks 3																								SPLASH/ISSTA Doctoral symposium Deliberations

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


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
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


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
OCC 208							Onward! Essays																								Onward! Essays Session 4																																				Onward! Papers Session 5																								Onward! Papers Session 6

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


Room	12:00						30						13:00						30
OCC 208	SPLASH/ISSTA Social Events LGBTQ+ Lunch

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


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
OCC 208							VMIL Performance and Analysis																								VMIL JavaScript																																				VMIL JITs and Fun																								VMIL Garbage Collection

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


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
OCC 208	SPLASH/ISSTA Doctoral symposium Intro and Welcome 09:00 - 09:05	SPLASH/ISSTA Doctoral symposium Accurate Specification Recovery for Effective Test Generation 09:05 - 09:07		SPLASH/ISSTA Doctoral symposium Toward Reliable Automatic Proxies for Code Comprehensibility 09:08 - 09:10	SPLASH/ISSTA Doctoral symposium The Mechanisms and Practice of Mutation Testing in Improving Software Q ... 09:11 - 09:13	SPLASH/ISSTA Doctoral symposium Towards Scalable and Verifiable Automated Translation from C to Safe Rust 09:14 - 09:16	SPLASH/ISSTA Doctoral symposium After the Hitchhiker's Guide: Toward Principled LLM Assistance for Stat ... 09:17 - 09:19	SPLASH/ISSTA Doctoral symposium Property-based Testing of Separation Logic Specifications 09:20 - 09:22		SPLASH/ISSTA Doctoral symposium Safe<T>: Automaton-Theoretic Runtime Monitoring of Blackbox Distributed ... 09:23 - 09:25		SPLASH/ISSTA Doctoral symposium Toward Reliable Automatic Proxies for Code Comprehensibility (Long Talk) 09:30 - 10:00												SPLASH/ISSTA Doctoral symposium The Mechanisms and Practice of Mutation Testing in Improving Software Q ... 10:30 - 11:00						SPLASH/ISSTA Doctoral symposium Accurate Specification Recovery for Effective Test Generation (Long Talk) 11:00 - 11:30						SPLASH/ISSTA Doctoral symposium Property-based Testing of Separation Logic Specifications (Long Talk) 11:30 - 12:00																								SPLASH/ISSTA Doctoral symposium Safe<T>: Automaton-Theoretic Runtime Monitoring of Blackbox Distributed ... 13:30 - 14:00						SPLASH/ISSTA Doctoral symposium After the Hitchhiker's Guide: Toward Principled LLM Assistance for Stat ... 14:00 - 14:30						SPLASH/ISSTA Doctoral symposium Towards Scalable and Verifiable Automated Translation from C to Safe Ru ... 14:30 - 15:00												SPLASH/ISSTA Doctoral symposium Free Time for Attendees 15:30 - 17:00 John Vlissides Award Deliberations for Committee 16:00 - 17:00

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


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
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


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
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

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


Room	8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
OCC 208							VMIL Welcome 08:30 - 08:31 Beyond Java 6: Reviving Reflection-Aware Static Analysis for Modern JVMs 08:30 - 09:00													VMIL Bridging the Performance Gap: JVM Optimization for Semantically Identic ... 09:30 - 10:00						VMIL What Do R Benchmarks Measure? 10:00 - 10:30						VMIL Ahead-of-time Compilation of JavaScript to WebAssembly via Static Type ... 10:30 - 11:30												VMIL The Event Loop That Wasn't: What Happens to a Reactive System When You ... 11:30 - 12:00																								VMIL Support Local Variables 13:30 - 14:00						VMILPresentation Only Morpho: Language and Virtual Machine Design for Dynamic Scientific Comp ... 14:00 - 14:20				VMILPresentation Only Towards a Bitflip-Safe SFI Encoding 14:20 - 14:40				VMILPresentation Only A-JIT: Agentic Just-In-Time Software Construction 14:40 - 15:00										VMIL Smaller, Faster, Sharper: Recent Runtime Implementation Lessons 15:30 - 16:30												VMIL Improving ART Garbage Collection Performance through Object-Lifetime-Pr ... 16:30 - 17:00

Room information: OCC 208

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

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

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

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

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

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

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

Onward! Papers

Onward! Papers + Onward! Essays

Onward! Essays

Onward! Essays

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

Onward! Essays

Onward! Essays

Onward! Papers

Onward! Papers

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

SPLASH/ISSTA Social Events

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

VMIL

VMIL

VMIL

VMIL

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

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

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

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

Tracks

SPLASH/ISSTA 2026

Co-hosted Conferences

Workshops

Co-hosted Symposia

Room information: OCC 208

Program Display Configuration

Sun 4 OctDisplayed time zone: Pacific Time (US & Canada) change

Mon 5 OctDisplayed time zone: Pacific Time (US & Canada) change

Tue 6 OctDisplayed time zone: Pacific Time (US & Canada) change

Wed 7 OctDisplayed time zone: Pacific Time (US & Canada) change

Thu 8 OctDisplayed time zone: Pacific Time (US & Canada) change

Sun 4 OctDisplayed time zone: Pacific Time (US & Canada) change

SPLASH/ISSTA Doctoral symposium

SPLASH/ISSTA Doctoral symposium

SPLASH/ISSTA Doctoral symposium

SPLASH/ISSTA Doctoral symposium

Mon 5 OctDisplayed time zone: Pacific Time (US & Canada) change

Onward! Papers

Onward! Papers + Onward! Essays

Onward! Essays

Onward! Essays

Tue 6 OctDisplayed time zone: Pacific Time (US & Canada) change

Onward! Essays

Onward! Essays

Onward! Papers

Onward! Papers

Wed 7 OctDisplayed time zone: Pacific Time (US & Canada) change

SPLASH/ISSTA Social Events

Thu 8 OctDisplayed time zone: Pacific Time (US & Canada) change

VMIL

VMIL

VMIL

VMIL

Sun 4 OctDisplayed time zone: Pacific Time (US & Canada) change

Mon 5 OctDisplayed time zone: Pacific Time (US & Canada) change

Tue 6 OctDisplayed time zone: Pacific Time (US & Canada) change

Thu 8 OctDisplayed time zone: Pacific Time (US & Canada) change

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

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

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

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

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

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

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

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

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

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

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

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

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

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