Grand Ballroom Salons A+B

VenueOakland Marriott City Center

Room nameGrand Ballroom Salons A+B

Room InformationNo extra information available

Program

This program is tentative and subject to change.

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	KeynoteSPLASH-E at Grand Ballroom Salons A+B

08:30 90m Talk		Teaching About Tools For ThoughtKeynote SPLASH-E K: Will Crichton Brown University

10:30 - 12:00	Teaching Formal FoundationsSPLASH-E at Grand Ballroom Salons A+B Chair(s): Daniel Patterson Northeastern University

10:30 30m Talk		An Approach to Introduce Hoare Logic in the Undergraduate CS Curriculum: In Memoriam of Tony Hoare SPLASH-E Marco T Morazan Seton Hall University DOI
11:00 30m Talk		More Pie for the Little Typer SPLASH-E Qixiang Zhang National University of Singapore, Ding Feng National University of Singapore, Singapore, Li Daoxin National University of Singapore, Martin Henz National University of Singapore DOI
11:30 30m Talk		Visualizing Turing Machines and Multitape Turing Machines SPLASH-E David Anthony K. Fields Seton Hall University, Sophia Turano Seton Hall University, Andrés M. Garced Seton Hall University, Marco Morazan Seton Hall University DOI

13:30 - 15:00	Language and Environment Design for LearnersSPLASH-E at Grand Ballroom Salons A+B Chair(s): Marco Morazan Seton Hall University

13:30 30m Talk		Aiki: Designing a Programming Language from a Criterion of ApprehensionPresentation only SPLASH-E William D. Senn Tarleton State University File Attached
14:00 30m Talk		Integrating Blocks and Text in the ClassroomPresentation only SPLASH-E Ravi Chugh University of Chicago, Sam Cohen University of Chicago File Attached
14:30 30m Talk		RCKid: Designing a Programming Language Through Its EditorsPresentation only SPLASH-E Petr Maj Czech Technical University

15:30 - 17:00	Observing, Exploring and Assessing Student WorkSPLASH-E at Grand Ballroom Salons A+B Chair(s): Pierre Donat-Bouillud Czech Technical University

15:30 30m Talk		Curated Semantic Mutants: Multi-Purpose Artifacts for Grading and Hinting Student Test Suites SPLASH-E Rebecca Williams Earle Northeastern University, Jonathan Bell Northeastern University DOI
16:00 30m Talk		Observations on Tracing Program Design through Natural Language DialoguePresentation only SPLASH-E Kouta Kumamoto Institute of Science Tokyo, Youyou Cong Institute of Science Tokyo, Hidehiko Masuhara Institute of Science Tokyo File Attached
16:30 30m Talk		Proof Interfaces for Exploratory MathematicsPresentation only SPLASH-E Nishant Kheterpal University of Michigan, Matthew Keenan University of Michigan, Cyrus Omar University of Michigan, Jean-Baptiste Jeannin University of Michigan File Attached

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

10:30 - 12:00	REBASE 1SPLASH/ISSTA REBASE industry track at Grand Ballroom Salons A+B Chair(s): Filip Křikava Czech Technical University

10:30 15m Day opening		Welcome to REBASE SPLASH/ISSTA REBASE industry track Eddie Aftandilian XBOW, Daniel Lehmann Google, Filip Křikava Czech Technical University
10:45 45m Industry talk		Building Code Models: Scale and Beyond invited-talk SPLASH/ISSTA REBASE industry track Baptiste Rozière Mistral AI
11:30 30m Industry talk		The Real World is Messy: Examining the Productivity Impact of Automatically Reverting Bad Changes SPLASH/ISSTA REBASE industry track Tim A. D. Henderson Google

13:30 - 15:00	REBASE 2SPLASH/ISSTA REBASE industry track at Grand Ballroom Salons A+B Chair(s): Eddie Aftandilian XBOW

13:30 60m Industry talk		The Anatomy of Machine Learning Compilersinvited-talk SPLASH/ISSTA REBASE industry track Dimitris Vardoulakis NVIDIA
14:30 30m Industry talk		It's Alive!: AI and Live Programming SPLASH/ISSTA REBASE industry track Gilad Bracha F5 Pre-print

15:30 - 17:00	REBASE 3SPLASH/ISSTA REBASE industry track at Grand Ballroom Salons A+B Chair(s): Daniel Lehmann Google, Germany

15:30 45m Industry talk		GitHub Agentic Workflows Security: Under the Hood and Behind the Wheelinvited-talk SPLASH/ISSTA REBASE industry track Landon Cox Microsoft Research
16:15 45m Industry talk		From Formal Methods to Fuzzing and Backinvited-talk SPLASH/ISSTA REBASE industry track Alastair F. Donaldson Imperial College London

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

10:30 - 12:00	REBASE 4SPLASH/ISSTA REBASE industry track at Grand Ballroom Salons A+B Chair(s): Filip Křikava Czech Technical University

10:30 45m Industry talk		A Simple Compiler Tutorialinvited-talk SPLASH/ISSTA REBASE industry track Cliff Click me
11:15 45m Industry talk		A Compiler And Visualizer Design For Debugger Visualization Expressionsinvited-talk SPLASH/ISSTA REBASE industry track Ryan Fleury

13:30 - 15:00	REBASE 5SPLASH/ISSTA REBASE industry track at Grand Ballroom Salons A+B Chair(s): Filip Křikava Czech Technical University

13:30 45m Industry talk		A Taste of Verseinvited-talk SPLASH/ISSTA REBASE industry track Jan Vitek Charles University

15:30 - 17:00	REBASE 6SPLASH/ISSTA REBASE industry track at Grand Ballroom Salons A+B Chair(s): Eddie Aftandilian XBOW

15:30 45m Industry talk		The Era of Coding Agentsinvited-talk SPLASH/ISSTA REBASE industry track Satish Chandra Meta Platforms, Inc.
16:15 30m Industry talk		Cohesive Agent Teams with Central Agent Registry SPLASH/ISSTA REBASE industry track Vivek Krishna Choppa Amazon Web Services, USA

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

10:30 - 12:00	REBASE 7SPLASH/ISSTA REBASE industry track at Grand Ballroom Salons A+B Chair(s): Eddie Aftandilian XBOW

10:30 45m Industry talk		Programming Languages in the Agentic Coding Era: Agentic Coding is not going to save C++ SPLASH/ISSTA REBASE industry track Kathryn S McKinley Google
11:15 45m Industry talk		Formal Verification of Hardware With An AI Theorem Proverinvited-talk SPLASH/ISSTA REBASE industry track Satnam Singh Harmonic

13:30 - 15:00	REBASE 8SPLASH/ISSTA REBASE industry track at Grand Ballroom Salons A+B Chair(s): Daniel Lehmann Google, Germany

13:30 45m Industry talk		Autonomous Testing with Time-Traveling Agents in a Chaotic Multiverse SPLASH/ISSTA REBASE industry track Rohan Padhye Carnegie Mellon University and Antithesis
14:15 30m Industry talk		Specification-Driven Code Validation via Automated Test Generation and Mutation Analysis SPLASH/ISSTA REBASE industry track Rajdeep Mukherjee Amazon, USA

15:30 - 17:00	REBASE 9SPLASH/ISSTA REBASE industry track at Grand Ballroom Salons A+B Chair(s): Daniel Lehmann Google, Germany

15:30 45m Industry talk		What Agentic Development Means for Rust (and Vice Versa)invited-talk SPLASH/ISSTA REBASE industry track Nicholas Matsakis AWS
16:15 30m Industry talk		The Last Mile of Certified Programming SPLASH/ISSTA REBASE industry track Joomy Korkut Bloomberg

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

08:30 - 10:00	Session 1PLSS at Grand Ballroom Salons A+B

08:30 15m Day opening		Opening of PLSS 2026 PLSS
08:45 45m Keynote		Specifying Languages and VMs: Looking Back and Looking Forward PLSS K: Gilad Bracha F5
09:30 30m Talk		LLMs as Collaborators in Language Specification and Design PLSS Steve Klabnik , Dorian Scheidt

10:30 - 12:00	Session 2PLSS at Grand Ballroom Salons A+B

10:30 30m Talk		JSpecify and the EISOP Checker Framework PLSS Werner Dietl University of Waterloo
11:00 30m Talk		Common Expression Language (CEL): Evolutions in Specification PLSS Tristan Swadell Google
11:30 30m Talk		Experimenting with User Research in the Rust Project PLSS Jack Huey

13:30 - 15:00	Session 3PLSS at Grand Ballroom Salons A+B

13:30 30m Talk		MoonBit: Safe Wasm-Backed Skills for AI Agents PLSS Zihang Ye International Digital Economy Academy, Hongbo Zhang International Digital Economy Academy
14:00 30m Talk		The Power of Paper: The C Standard in 2026 PLSS Björkus Dorkus Shepherd's Oasis
14:30 30m Talk		Designing Language Specifications for Static Reasoning: Lessons from IRIDIUM PLSS Meetesh Kalpesh Mehta IIT Bombay

15:30 - 17:00	Session 4PLSS at Grand Ballroom Salons A+B

15:30 45m Panel		Panel: Working with Standards Organizations to Standardize Programming Languages PLSS M: Gilad Bracha F5, P: Björkus Dorkus Shepherd's Oasis, P: Bertrand Meyer Eiffel Software, P: Guy Steele Tech Squares
16:15 45m Keynote		From the Eiffel experience: lessons on programming language design, evolution and standardization PLSS K: Bertrand Meyer Eiffel Software

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

08:30 - 10:00	KeynoteLMPL at Grand Ballroom Salons A+B

09:00 60m Keynote		[Keynote] Programming with Trust: Toward Reliable and Private Agentic AI for Code LMPL Baishakhi Ray Columbia University

10:30 - 12:00	Session 1LMPL at Grand Ballroom Salons A+B

10:30 20m Full-paper		Symbolon: Symbolic Execution by Learning Code Transformation LMPL Jie Zhu University of Chicago, Penghui Li Columbia University, Zhongxuan Li University of Chicago, Chihao Shen University of Maryland, Ziyang Li Johns Hopkins University, Yizheng Chen University of Maryland, Kexin Pei The University of Chicago
10:50 15m Short-paper		Feature Reduction for Translating Language Interpreters from C to Safe Rust LMPL Bo Wang National University of Singapore, Brandon Paulsen Amazon, Joey Dodds Amazon, Daniel Kroening Amazon, Umang Mathur National University of Singapore, Prateek Saxena National University of Singapore Pre-print
11:05 20m Full-paper		SWE-Proof: Can Language Models Resolve Real-World Issues with Machine-Checked Proofs? LMPL George Ma University of California, Berkeley, Benjamin Mikek Georgia Institute of Technology, Haoyu Li University of Illinois Urbana-Champaign, Ferhat Erata Amazon Web Services, USA, Yuhao Zhang Amazon Web Services, Zeren Shui Amazon Web Services, Murali Krishna Ramanathan AWS AI Labs, Hao Zhou Amazon Web Services, Behrooz Omidvar Tehrani AWS AI Labs, Jun Huan AWS AI Labs, Anoop Deoras AWS AI Labs, Somayeh Sojoudi University of California, Berkeley
11:25 15m Short-paper		The Checkability Boundary: Abstraction Principles for LLM-Assisted Verification and Analysis LMPL Chenyu Zhou University of Southern California, Yuzhou Fang University of Southern California, Jingbo Wang Purdue University
11:40 20m Full-paper		Detecting Database Migration Non-equivalence through LLM-Assisted Mutation-Score-Guided Testing LMPL Yuhao Zhang Amazon Web Services, Sayan Ghosh Amazon Web Services, Amit Kachroo Amazon, Jun Huan AWS AI Labs

13:30 - 15:00	Session 2LMPL at Grand Ballroom Salons A+B

13:30 20m Full-paper		FlowCheck: Helping End-users Specify and Verify Intent in Vibe-Coded Web Apps LMPL Reya Vir Columbia University, Lydia Chilton Columbia University, Zhuo Zhang Columbia University, Eugene Wu Columbia University
13:50 15m Short-paper		Type-Carrying Names LMPL Xuejing Huang Standard Chartered Bank
14:05 20m Full-paper		Predicting Program Exit Code with LLMs and Programming Language Semantics LMPL Lara Marinov The University of Texas at Austin, Aditya Thimmaiah University of Texas at Austin, Jayanth Srinivasa Cisco, Junyi Jessy Li University of Texas at Austin, USA, Milos Gligoric University of Texas at Austin
14:25 15m Short-paper		Dissociating language and thought in the brain using LLM-guided program synthesis LMPL Kartik Chandra MIT, Pablo Wentz MIT, Mitchell Chan MIT, Jonathan Ragan-Kelley Massachusetts Institute of Technology, Joshua B. Tenenbaum Massachusetts Institute of Technology, Rebecca Saxe MIT
14:40 20m Full-paper		The Best Programming Language for Tokenmaxxing: An Investigation of Coding Agent Behavior Across Programming Languages LMPL Zixuan Wu Northeastern University, Carolyn Jane Anderson Wellesley College, Arjun Guha Northeastern University, USA

15:30 - 17:00	Session 3LMPL at Grand Ballroom Salons A+B

15:30 20m Full-paper		Invariant Pretraining for Robust Code Representations LMPL Yifeng He University of California at Davis, USA, Yundi Xu University of California, Davis, Christopher Castro Gaw Gonzalo University of California, Davis, Zili Wang University of California, Davis, Hao Chen University of California at Davis
15:50 15m Short-paper		Rethinking Correctness Evaluation for GPU Kernel Optimization LMPL Zirui Wang The Chinese University of Hong Kong, Yunbo Ni The Chinese University of Hong Kong, Shaohua Li The Chinese University of Hong Kong Pre-print
16:05 15m Short-paper		Refining LLM-based Directed Test Input Generation via Runtime Value Feedback LMPL Narin Han Chungbuk National University, Shin Hong Chungbuk National University Pre-print
16:20 20m Full-paper		Semantic Prefix Oracles for LLM Decoding: Contracts and Differential Validation LMPL Paul Kronlund-Drouault Unsuspicious Industries Link to publication DOI Pre-print
16:40 15m Short-paper		From Answers to Contracts: LLM Agents as Untrusted Program Components LMPL Haonan Li University of California at Riverside, USA, Zhiyun Qian University of California at Riverside, USA
16:40 20m Full-paper		Authority Is Not a String: A Capability-Scoped Harness for Prompt-Injection-Resistant Coding Agents LMPL Dimitrios Stamatios Bouras Peking University, Yihan Dai Peking University, Sergey Mechtaev Peking University

Hide past events

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
Grand Ballroom Salons A+B							SPLASH-E Keynote																								SPLASH-E Teaching Formal Foundations																																				SPLASH-E Language and Environment Design for Learners																								SPLASH-E Observing, Exploring and Assessing Student Work

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
Grand Ballroom Salons A+B							SPLASH/ISSTA REBASE industry track																								SPLASH/ISSTA REBASE industry track REBASE 1																																				SPLASH/ISSTA REBASE industry track REBASE 2																								SPLASH/ISSTA REBASE industry track REBASE 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
Grand Ballroom Salons A+B							SPLASH/ISSTA REBASE industry track																								SPLASH/ISSTA REBASE industry track REBASE 4																																				SPLASH/ISSTA REBASE industry track REBASE 5																								SPLASH/ISSTA REBASE industry track REBASE 6

Wed 7 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
Grand Ballroom Salons A+B							SPLASH/ISSTA REBASE industry track																								SPLASH/ISSTA REBASE industry track REBASE 7																																				SPLASH/ISSTA REBASE industry track REBASE 8																								SPLASH/ISSTA REBASE industry track REBASE 9

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
Grand Ballroom Salons A+B							PLSS Session 1																								PLSS Session 2																																				PLSS Session 3																								PLSS Session 4

Fri 9 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
Grand Ballroom Salons A+B							LMPL Keynote																								LMPL Session 1																																				LMPL Session 2																								LMPL Session 3

Hide past events

Sun 4 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
Grand Ballroom Salons A+B							SPLASH -EKeynote Teaching About Tools For Thought 08:30 - 10:00																								SPLASH -E An Approach to Introduce Hoare Logic in the Undergraduate CS Curriculum ... 10:30 - 11:00						SPLASH -E More Pie for the Little Typer 11:00 - 11:30						SPLASH -E Visualizing Turing Machines and Multitape Turing Machines 11:30 - 12:00																								SPLASH -EPresentation only Aiki: Designing a Programming Language from a Criterion of Apprehension 13:30 - 14:00						SPLASH -EPresentation only Integrating Blocks and Text in the Classroom 14:00 - 14:30						SPLASH -EPresentation only RCKid: Designing a Programming Language Through Its Editors 14:30 - 15:00												SPLASH -E Curated Semantic Mutants: Multi-Purpose Artifacts for Grading and Hinti ... 15:30 - 16:00						SPLASH -EPresentation only Observations on Tracing Program Design through Natural Language Dialogue 16:00 - 16:30						SPLASH -EPresentation only Proof Interfaces for Exploratory Mathematics 16:30 - 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
Grand Ballroom Salons A+B							SPLASH/ISSTA REBASE industry track Welcome to REBASE 10:30 - 10:45			SPLASH/ISSTA REBASE industry trackinvited-talk Building Code Models: Scale and Beyond 10:45 - 11:30									SPLASH/ISSTA REBASE industry track The Real World is Messy: Examining the Productivity Impact of Automatic ... 11:30 - 12:00																								SPLASH/ISSTA REBASE industry trackinvited-talk The Anatomy of Machine Learning Compilers 13:30 - 14:30												SPLASH/ISSTA REBASE industry track It's Alive!: AI and Live Programming 14:30 - 15:00												SPLASH/ISSTA REBASE industry trackinvited-talk GitHub Agentic Workflows Security: Under the Hood and Behind the Wheel 15:30 - 16:15									SPLASH/ISSTA REBASE industry trackinvited-talk From Formal Methods to Fuzzing and Back 16:15 - 17:00

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
Grand Ballroom Salons A+B							SPLASH/ISSTA REBASE industry trackinvited-talk A Simple Compiler Tutorial 10:30 - 11:15									SPLASH/ISSTA REBASE industry trackinvited-talk A Compiler And Visualizer Design For Debugger Visualization Expressions 11:15 - 12:00																											SPLASH/ISSTA REBASE industry trackinvited-talk A Taste of Verse 13:30 - 14:15																								SPLASH/ISSTA REBASE industry trackinvited-talk The Era of Coding Agents 15:30 - 16:15									SPLASH/ISSTA REBASE industry track Cohesive Agent Teams with Central Agent Registry 16:15 - 16:45

Wed 7 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
Grand Ballroom Salons A+B							SPLASH/ISSTA REBASE industry track Programming Languages in the Agentic Coding Era: Agentic Coding is no ... 10:30 - 11:15									SPLASH/ISSTA REBASE industry trackinvited-talk Formal Verification of Hardware With An AI Theorem Prover 11:15 - 12:00																											SPLASH/ISSTA REBASE industry track Autonomous Testing with Time-Traveling Agents in a Chaotic Multiverse 13:30 - 14:15									SPLASH/ISSTA REBASE industry track Specification-Driven Code Validation via Automated Test Generation and ... 14:15 - 14:45															SPLASH/ISSTA REBASE industry trackinvited-talk What Agentic Development Means for Rust (and Vice Versa) 15:30 - 16:15									SPLASH/ISSTA REBASE industry track The Last Mile of Certified Programming 16:15 - 16:45

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
Grand Ballroom Salons A+B							PLSS Opening of PLSS 2026 08:30 - 08:45			PLSS Specifying Languages and VMs: Looking Back and Looking Forward 08:45 - 09:30									PLSS LLMs as Collaborators in Language Specification and Design 09:30 - 10:00												PLSS JSpecify and the EISOP Checker Framework 10:30 - 11:00						PLSS Common Expression Language (CEL): Evolutions in Specification 11:00 - 11:30						PLSS Experimenting with User Research in the Rust Project 11:30 - 12:00																								PLSS MoonBit: Safe Wasm-Backed Skills for AI Agents 13:30 - 14:00						PLSS The Power of Paper: The C Standard in 2026 14:00 - 14:30						PLSS Designing Language Specifications for Static Reasoning: Lessons from IR ... 14:30 - 15:00												PLSS Panel: Working with Standards Organizations to Standardize Programming ... 15:30 - 16:15									PLSS From the Eiffel experience: lessons on programming language design, evo ... 16:15 - 17:00

Fri 9 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
Grand Ballroom Salons A+B	LMPL [Keynote] Programming with Trust: Toward Reliable and Private Agentic A ... 09:00 - 10:00																		LMPL Symbolon: Symbolic Execution by Learning Code Transformation 10:30 - 10:50				LMPL Feature Reduction for Translating Language Interpreters from C to Safe Rust 10:50 - 11:05			LMPL SWE-Proof: Can Language Models Resolve Real-World Issues with Machine-C ... 11:05 - 11:25				LMPL The Checkability Boundary: Abstraction Principles for LLM-Assisted Veri ... 11:25 - 11:40			LMPL Detecting Database Migration Non-equivalence through LLM-Assisted Mutat ... 11:40 - 12:00																						LMPL FlowCheck: Helping End-users Specify and Verify Intent in Vibe-Coded We ... 13:30 - 13:50				LMPL Type-Carrying Names 13:50 - 14:05			LMPL Predicting Program Exit Code with LLMs and Programming Language Semantics 14:05 - 14:25				LMPL Dissociating language and thought in the brain using LLM-guided program ... 14:25 - 14:40			LMPL The Best Programming Language for Tokenmaxxing: An Investigation of Cod ... 14:40 - 15:00										LMPL Invariant Pretraining for Robust Code Representations 15:30 - 15:50				LMPL Rethinking Correctness Evaluation for GPU Kernel Optimization 15:50 - 16:05			LMPL Refining LLM-based Directed Test Input Generation via Runtime Value Fee ... 16:05 - 16:20			LMPL Semantic Prefix Oracles for LLM Decoding: Contracts and Differential Va ... 16:20 - 16:40				LMPL From Answers to Contracts: LLM Agents as Untrusted Program Components 16:40 - 16:55 Authority Is Not a String: A Capability-Scoped Harness for Prompt-Injec ... 16:40 - 17:00

Hide past events

Room information: Grand Ballroom Salons A+B

This program is tentative and subject to change.

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

Fri 9 OctDisplayed time zone: Pacific Time (US & Canada) change

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

SPLASH-E

SPLASH-E

SPLASH-E

SPLASH-E

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

SPLASH/ISSTA REBASE industry track

SPLASH/ISSTA REBASE industry track

SPLASH/ISSTA REBASE industry track

SPLASH/ISSTA REBASE industry track

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

SPLASH/ISSTA REBASE industry track

SPLASH/ISSTA REBASE industry track

SPLASH/ISSTA REBASE industry track

SPLASH/ISSTA REBASE industry track

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

SPLASH/ISSTA REBASE industry track

SPLASH/ISSTA REBASE industry track

SPLASH/ISSTA REBASE industry track

SPLASH/ISSTA REBASE industry track

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

PLSS

PLSS

PLSS

PLSS

Fri 9 OctDisplayed time zone: Pacific Time (US & Canada) change

LMPL

LMPL

LMPL

LMPL

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

Fri 9 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

Fri 9 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

Fri 9 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

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