SPLASH/ISSTA 2026 - Oakland
Table of Contents
- 1. Overview
- 2. The program against research here
- 2.1. Key talks to listen to
- 2.2. Keynotes, Onward! and the anniversary panel
- 2.3. Agents writing and running code
- 2.4. Isolating and constraining agents
- 2.5. Specifications for and from agents
- 2.6. Testing the tests
- 2.7. Specification and model checking
- 2.8. Types, including the RacketCon threads
- 2.9. Live programming, editors and debugging
- 2.10. Notation and language design
- 2.11. Not on the list
- 2.12. How the selection was made
- 3. Related research on this site
- 4. Notes
1. Overview
SPLASH 2026, co-located with ISSTA, at the Oakland Convention Center, October 4–9, 2026. Conference site · full program.
RacketCon 2026 ran in Oakland on October 3–4, the weekend SPLASH opened; see the RacketCon note.
2. The program against research here
Read from the published program on 2026-10-05: 504 items over six days, October 4–9. Times are Pacific, local to Oakland. The conference site shows Eastern by default, three hours ahead; the times here were checked against that view. The program page was parsed into a list of talks; each talk was matched by title against the research areas on this site, then the matches were picked by hand. What follows is a selection, not an index. Workshop scope is in the EXPRESS and SpecOps notes.
| Track (top ten by items) | Items |
|---|---|
| SPLASH OOPSLA | 130 |
| ISSTA research papers | 113 |
| SAS | 34 |
| REBASE industry track | 18 |
| Student Research Comp. | 18 |
| Doctoral symposium | 17 |
| LMPL | 17 |
| SSNL | 16 |
| Tool demonstrations | 15 |
| VMIL | 12 |
2.1. Key talks to listen to
The shortlist, written on the evening of Monday, October 5. Each one is here because it tests something this site has argued, not because it is the best paper in its session. Rooms are at the Oakland Convention Center.
2.1.1. Still ahead
| When | Room | Talk | Why this one |
|---|---|---|---|
| Tue 6 10:30, 40 min | OCC 208 | Agents as Software: A Programming Languages Agenda for Agent Reliability (Onward!) | A PL agenda for agents; set it against Context Surfaces |
| Tue 6 11:40, 20 min | Grand Ballroom | Grounding AI Agents in Contracts: An Empirical Evaluation of Spec-Driven Test Generation (SpecOps) | Measured, not argued: does a spec make agent tests better. Rebuilding from the spec |
| Tue 6 13:30, 90 min | Grand Ballroom | Property-Based Testing and Fuzzing with Formal Specifications (summer school) | The long-form version of Property-Based Test Shrink Discipline |
| Tue 6 15:30, 18 min | OCC 202 | HeapLens: An IDE-Integrated Tool for Heap Dump Analysis with In-Editor Source Bridging (tool demo) | Santiago Cabrera's Conj talk as a tool. Clashes with the SpecOps hour below |
| Tue 6 15:30, 60 min | Grand Ballroom | Unlocking Safe Agentic Autonomy through Verification (SpecOps) | The SpecOps headline slot; Visibility is Verification |
| Tue 6 16:30, 30 min | OCC 208 | The Developer as Curator: A Canvas for Coding Agent Context (Onward!) | The nearest thing on the program to Context Surfaces |
| Wed 7 08:30, 60 min | East Hall 1 | The Augmented Forest, Kent Beck (keynote) | No abstract on the program; Beck has been writing about coding with agents |
| Wed 7 13:30, 45 min | Grand Ballroom | Autonomous Testing with Time-Traveling Agents in a Chaotic Multiverse (REBASE) | Time travel as a testing tool; Time-Travel Chat |
| Wed 7 14:06, 54 min | East Hall 1 | Random Testing via Runtime Abstract Interpretation, Testing Theorems, Fully Automatically, Fail Faster: Staging and Fast Randomness for High-Performance PBT | Three property-testing papers back to back. Shrink discipline |
| Thu 8 10:48, 18 min | Junior Ballroom 1 | PropCov: Effective Coverage Reporting for Property-Based Testing | What does a passing property test cover. The Failure That Looks Like Success question |
| Thu 8 11:42, 18 min | East Hall 1 | Red-Teaming Coding Agents from a Tool-Invocation Perspective | Attacks on the tool layer; the jails note |
| Thu 8 13:30, 30 min | Grand Ballroom | MoonBit: Safe Wasm-Backed Skills for AI Agents (PLSS) | Skills run in a sandbox instead of trusted as text |
| Fri 9 09:00, 60 min | Grand Ballroom | Programming with Trust: Toward Reliable and Private Agentic AI for Code (LMPL keynote) | Overlaps the ISSTA keynote at 08:30 |
| Fri 9 13:30, 18 min | Junior Ballroom 1 | Do Coverage and Mutation Scores of LLM-Generated Test Suites Correlate With Their Effectiveness? | A replication on whether the usual test metrics mean anything |
| Fri 9 14:40, 20 min | Grand Ballroom | The Best Programming Language for Tokenmaxxing (LMPL) | Agent behaviour by language; Brendan Foote's Conj argument with data |
| Fri 9 16:40, 20 min | Grand Ballroom | Authority Is Not a String: A Capability-Scoped Harness for Prompt-Injection-Resistant Coding Agents (LMPL) | Capabilities, not filters, for agent tools |
If only three: Grounding AI Agents in Contracts, PropCov, and Authority Is Not a String. Each is short, empirical or concrete, and lands on a claim already written up here.
2.1.2. Already given: find the recording
| When | Talk | Why |
|---|---|---|
| Mon 5 08:40 | In the Age of AI Coding Agents, Keeping the Engineer in Software Engineering, Elena Glassman (keynote) | The opening framing of the week |
| Mon 5 10:30 | Passes Alone, Fails Together: Benchmarking Semantic Coordination in Parallel LLM-Agent Development (EXPRESS) | Parallel agents on one codebase; Shared REPL as Gossip Protocol |
| Mon 5 10:30 | Type Inference for Functional and Imperative Dynamic Languages | The OOPSLA side of Fred Fu's RacketCon talk |
| Mon 5 14:30 | It's Alive!: AI and Live Programming, Gilad Bracha (REBASE) | The REPL-first argument with an agent in it. The pre-print is a blog post; see below |
| Mon 5 16:10 | (This is Not a Paper About) Mutation Driven Development, Alex Groce (Onward!) | Testing the tests, from the mutation-testing side |
2.1.3. It's Alive!: the argument
Gilad Bracha (F5), REBASE, Monday 14:30. The pre-print is a post on his blog, dated July 23, 2026, and itself a live Ampleforth document in the Newspeak IDE. Read on 2026-10-05.
Two claims:
- Users need live systems. As AI makes personal software cheap, people will customise their own platforms, and they cannot be asked to go through "a classic compile-build-restart-rinse-and-repeat cycle". The argument started in his Substrates 25 workshop paper.
- So does the AI. "Better programming abstractions benefit any code-writing intelligence, natural or artificial." He reports "numerous cases where an AI harness such as Claude or Codex struggles to predict dynamic behavior that is self evident in the live environment": evaluating code against a specific object, fix-and-continue debugging, measuring performance, inspecting DOM layout.
The Newspeak IDE now runs several AIs at once, can point each at a specific method or object so it has "the precise context of the code and values you are looking at", and can set one AI to critique another. He names Glamorous Toolkit and VisualAge Smalltalk as related work, and calls static verification complementary rather than opposed.
The second claim is the one this site has been testing from the Clojure side: Building a Clojure Agent Environment and Shared REPL as Gossip Protocol both start from an agent that evaluates against a running process instead of reading files. Context Surfaces names the running instance as one of the things an agent should be able to read. Bracha's point about pointing an AI at one object is the same move at a finer grain.
2.1.4. The REBASE industry track
All nine sessions, in the Grand Ballroom (Salons A+B). The conference site shows Eastern time by default; these are Pacific, local to Oakland.
| When | Talk | Speaker |
|---|---|---|
| Mon 5 10:30 | Welcome to REBASE | Eddie Aftandilian, Daniel Lehmann, Filip Křikava |
| Mon 5 10:45 | Building Code Models: Scale and Beyond (invited) | Baptiste Rozière, Mistral AI |
| Mon 5 11:30 | The Real World is Messy: Examining the Productivity Impact of Automatically Reverting Bad Changes | Tim A. D. Henderson, Google |
| Mon 5 13:30 | The Anatomy of Machine Learning Compilers (invited) | Dimitris Vardoulakis, NVIDIA |
| Mon 5 14:30 | It's Alive!: AI and Live Programming | Gilad Bracha, F5 |
| Mon 5 15:30 | GitHub Agentic Workflows Security: Under the Hood and Behind the Wheel (invited) | Landon Cox, Microsoft Research |
| Mon 5 16:15 | From Formal Methods to Fuzzing and Back (invited) | Alastair F. Donaldson, Imperial College London |
| Tue 6 10:30 | A Simple Compiler Tutorial (invited) | Cliff Click |
| Tue 6 11:15 | A Compiler And Visualizer Design For Debugger Visualization Expressions (invited) | Ryan Fleury |
| Tue 6 13:30 | A Taste of Verse (invited) | Jan Vitek, Charles University |
| Tue 6 15:30 | The Era of Coding Agents (invited) | Satish Chandra, Meta |
| Tue 6 16:15 | Cohesive Agent Teams with Central Agent Registry | Vivek Krishna Choppa, AWS |
| Wed 7 10:30 | Programming Languages in the Agentic Coding Era: Agentic Coding is not going to save C++ | Kathryn S. McKinley, Google |
| Wed 7 11:15 | Formal Verification of Hardware With An AI Theorem Prover (invited) | Satnam Singh, Harmonic |
| Wed 7 13:30 | Autonomous Testing with Time-Traveling Agents in a Chaotic Multiverse | Rohan Padhye, CMU and Antithesis |
| Wed 7 14:15 | Specification-Driven Code Validation via Automated Test Generation and Mutation Analysis | Rajdeep Mukherjee, Amazon |
| Wed 7 15:30 | What Agentic Development Means for Rust (and Vice Versa) (invited) | Nicholas Matsakis, AWS |
| Wed 7 16:15 | The Last Mile of Certified Programming | Joomy Korkut, Bloomberg |
Unscheduled: From Bug Reports to Reproduction Tests (Mehant Kammakomati, IBM) and a talk to be announced by Julien Verlaguet (SkipLabs).
Worth adding to the shortlist from here: A Taste of Verse (Tue 13:30), Jan Vitek on Epic's functional-logic language, and The Last Mile of Certified Programming (Wed 16:15).
2.2. Keynotes, Onward! and the anniversary panel
| When | Track | Talk | Speakers |
|---|---|---|---|
| Mon 5 10:30 | SPLASH Onward! Papers | Normalization by Origin, Not by Shape | Marco Servetto, Colin S. Gordon |
| Mon 5 11:00 | SPLASH Onward! Papers | The Choose-Your-Own-Adventure Calculus | Tomas Petricek, Jan Liam Verter, Mikoláš Fromm |
| Mon 5 11:30 | SPLASH Onward! Essays | The Spreadsheet Was the Constitution | Abutalib Namazov |
| Mon 5 08:40 | SPLASH Keynotes | In the Age of AI Coding Agents, Keeping the Engineer in Software Engineering | Elena Glassman |
| Mon 5 13:30 | SPLASH Onward! Essays | Programs Should Be Comics, Their Execution — Animation | Maciej Godek |
| Mon 5 14:10 | SPLASH Onward! Essays | Towards Critical Abstraction for Software | Alice Chung, Devamardeep Hayatpur, Philip Guo |
| Mon 5 15:30 | SPLASH Onward! Essays | Objects and classes will do | Ole Lehrmann Madsen, Birger Møller-Pedersen |
| Mon 5 16:10 | SPLASH Onward! Essays | (This is Not a Paper About) Mutation Driven Development | Alex Groce |
| Mon 5 18:45 | OOPSLA @ 40 panel | OOPSLA 40th Anniversary Panel: Escaped from the Lab: ACM’s SPLASH Influences on the Future of Software? | Steven D. Fraser, Dennis Mancl, Jonathan Aldrich |
| Tue 6 08:30 | SPLASH Keynotes | Mojo: Towards One Systems Language for All Hardware | Chris Lattner |
| Tue 6 10:30 | SPLASH Onward! Essays | Agents as Software: A Programming Languages Agenda for Agent Reliability | Shraddha Barke, Adithya Murali |
| Tue 6 11:10 | SPLASH Onward! Essays | The Conversation We're Not Having About AI in Peer Review | Emerson Murphy-Hill, Christian Bird |
| Tue 6 13:30 | SPLASH Onward! Papers | Proxies All the Way Down: Bootstrapping a Userland Speculative Optimizer for the OpenSmalltalk VM | Christoph Thiede, Marius Dörbandt, Eliot Miranda |
| Tue 6 14:00 | SPLASH Onward! Papers | Escaping the DAG Dogma: Toward Modular Reactive Architectures | Rivka Altshuler, David H. Lorenz |
| Tue 6 14:30 | SPLASH Onward! Papers | Glassbox Debugging: Code as Interface for No-Code | Niv Benaloul, David H. Lorenz |
| Tue 6 15:30 | SPLASH Onward! Papers | Relational Agenda Programming: A Uniform Execution Model for Embedded Reasoning Systems | Andrew Shi-hwa Chen |
| Tue 6 16:00 | SPLASH Onward! Papers | Croquetify: Transforming Single-User Functional Reactive Programs into Multi-User Applications | Yoshiki Ohshima, Aran Lunzer, David A Smith |
| Tue 6 16:30 | SPLASH Onward! Papers | The Developer as Curator: A Canvas for Coding Agent Context | Lukas Böhme, Tom Beckmann, Michael Perscheid |
| Wed 7 08:30 | SPLASH Keynotes | The Augmented Forest | Kent Beck |
| Thu 8 08:30 | ISSTA Keynotes | Beyond next-token prediction – autonomous verification and visual testing in the agent-first era | Paige Bailey |
| Fri 9 08:30 | ISSTA Keynotes | Finding the Bugs Users Would Find: From Sapienz to Autonomous Agents | Ke Mao |
Glassman's SPLASH keynote and both ISSTA keynotes are about coding agents. Onward! has three pieces on AI and agents, among them Agents as Software and The Developer as Curator, which is close to Context Surfaces.
2.3. Agents writing and running code
The largest theme by far: 102 of 504 program items mention agents or LLMs. These are the ones closest to work here.
| When | Track | Talk | Speakers | Related here |
|---|---|---|---|---|
| Mon 5 10:30 | EXPRESS | Passes Alone, Fails Together: Benchmarking Semantic Coordination in Parallel LLM-Agent Development (parallel agents on one codebase) | Haocheng Xia, Eugene Wu et al. | Shared REPL as Gossip Protocol · EXPRESS notes |
| Mon 5 11:48 | EXPRESS | Decomposing LLM-Based Testing with Agent Skills: A Case Study on Numerical Inconsistencies (agent skills, decomposed) | Yutong Wang, Cindy Rubio-González | 2026 Q2 Skills |
| Tue 6 16:30 | SPLASH Onward! Papers | The Developer as Curator: A Canvas for Coding Agent Context (curating what an agent sees) | Lukas Böhme, Tom Beckmann et al. | Context Surfaces |
| Wed 7 11:06 | ISSTA Research papers | SWE-PDB: Teaching LLMs to Leverage Debugging Tools via Agentic Training (agents taught to use a debugger) | Jiaxing Liu, Xing Hu et al. | Building a Clojure Agent Environment |
| Wed 7 13:30 | REBASE industry track | Autonomous Testing with Time-Traveling Agents in a Chaotic Multiverse (time travel as a testing tool) | Rohan Padhye | Time-Travel Chat · Visibility is Verification |
| Thu 8 14:40 | VMIL | A-JIT: Agentic Just-In-Time Software Construction | Mark Marron, Earl T. Barr | The Agent Integration Layer |
| Fri 9 14:40 | LMPL | The Best Programming Language for Tokenmaxxing: An Investigation of Coding Agent Behavior Across Programming Languages (agent behaviour by language; compare Brendan Foote's Conj talk) | Zixuan Wu, Carolyn Jane Anderson et al. | Clojure/Conj 2026 · What Survived Clojure |
| Wed 7 10:30 | REBASE industry track | Programming Languages in the Agentic Coding Era: Agentic Coding is not going to save C++ (the language-choice argument, from the C++ side) | Kathryn S McKinley | Clojure/Conj 2026 |
| Tue 6 15:30 | REBASE industry track | The Era of Coding Agents | Satish Chandra | The Agent Integration Layer |
| Fri 9 13:30 | LMPL | FlowCheck: Helping End-users Specify and Verify Intent in Vibe-Coded Web Apps (checking vibe-coded apps) | Reya Vir, Lydia Chilton et al. | Elenctic Vibe Code Review |
| Fri 9 16:40 | LMPL | From Answers to Contracts: LLM Agents as Untrusted Program Components (agents as untrusted components with contracts) | Haonan Li, Zhiyun Qian | Rebuilding from the spec |
2.4. Isolating and constraining agents
| Fri 9 15:48 | ISSTA Research papers | Applying System Call Filtering to Real-World Binaries (Experience Paper) (seccomp-style filtering, measured) | Soumyakant Priyadarshan, Seyedhamed Ghavamnia | Sandboxing AI Coding Agents with FreeBSD Jails · Practical Agent Sandbox Configurations |
| Thu 8 14:20 | VMIL | Towards a Bitflip-Safe SFI EncodingPresentation Only (software fault isolation) | James Mosedale, Shravan Ravi Narayan | Practical Agent Sandbox Configurations |
Prompt injection and tool abuse, and the capability answers to them.
| When | Track | Talk | Speakers | Related here |
|---|---|---|---|---|
| Mon 5 15:30 | REBASE industry track | GitHub Agentic Workflows Security: Under the Hood and Behind the Wheel | Landon Cox | Practical Agent Sandbox Configurations |
| Thu 8 10:30 | ISSTA Research papers | AgentBreaker: Evaluating Context-Aware Indirect Prompt Injection Risks in Modern Web Agents | Yongbi Son, Changoo Lee et al. | Sandboxing AI Coding Agents with FreeBSD Jails |
| Thu 8 11:42 | ISSTA Research papers | Red-Teaming Coding Agents from a Tool-Invocation Perspective: An Empirical Security Assessment | Yuchong Xie, Mingyu Luo et al. | Sandboxing AI Coding Agents with FreeBSD Jails · Practical Agent Sandbox Configurations |
| Thu 8 11:06 | ISSTA Research papers | Datura: Progressive Red Teaming Testing for Tool Invocation Chain in LLM Agents | Yuchen Shao, Ziqun Bao et al. | Practical Agent Sandbox Configurations |
| Fri 9 16:40 | LMPL | Authority Is Not a String: A Capability-Scoped Harness for Prompt-Injection-Resistant Coding Agents (capability-scoped harness) | Dimitrios Stamatios Bouras, Yihan Dai et al. | Sandboxing AI Coding Agents with FreeBSD Jails |
| Thu 8 13:30 | PLSS | MoonBit: Safe Wasm-Backed Skills for AI Agents (skills run in Wasm) | Zihang Ye, Hongbo Zhang | Practical Agent Sandbox Configurations · 2026 Q2 Skills |
| Mon 5 14:24 | SPLASH OOPSLA | Classifying Capabilities | Nguyen Pham, Oliver Bračevac et al. | Sandboxing AI Coding Agents with FreeBSD Jails |
| Fri 9 14:35 | IWACO | Coenobita: Static Capability Types for Side Effect Safety in Rust (capabilities in the type system) | George Berdovskiy, Caleb Stanford | Rust Programming |
2.5. Specifications for and from agents
SpecOps and the verification sessions where agents produce or consume specs.
| When | Track | Talk | Speakers | Related here |
|---|---|---|---|---|
| Tue 6 11:40 | SpecOps | Grounding AI Agents in Contracts: An Empirical Evaluation of Spec-Driven Test Generation | Michele Tufano, James McClure et al. | Rebuilding from the spec · SpecOps notes |
| Tue 6 14:30 | SpecOps | Specifications for Humans, Agents, and Tooling | Mark Marron | Context Surfaces · SpecOps notes |
| Tue 6 15:30 | SpecOps | Unlocking Safe Agentic Autonomy through Verification | Niranjan Tulpule | Visibility is Verification · SpecOps notes |
| Tue 6 10:40 | SpecOps | Intent Formalization: Assessing the Quality of AI-Generated Formal Program Specifications (how good are AI-written specs) | Shuvendu K. Lahiri | Rebuilding from the spec · SpecOps notes |
| Tue 6 13:30 | SpecOps | Bridging Requirements and Assurance: Neurosymbolic Autoformalization for C++ Verification and Requirements-Coverage Testing | Corina S. Pasareanu, Joe Ruthland | The Four-Boundary Spec Mapping · SpecOps notes |
| Thu 8 15:50 | SAS | Proof Engineering with LLMs and Auto-active Verifiers | Jenna DiVincenzo (Wise) | Dafny-Clojure JVM Interop |
| Fri 9 11:05 | LMPL | SWE-Proof: Can Language Models Resolve Real-World Issues with Machine-Checked Proofs? | George Ma, Benjamin Mikek et al. | AxiomProver |
| Fri 9 11:25 | LMPL | The Checkability Boundary: Abstraction Principles for LLM-Assisted Verification and Analysis | Chenyu Zhou, Yuzhou Fang et al. | Visibility is Verification · CFP draft: Visibility Is Verification |
| Wed 7 11:15 | REBASE industry track | Formal Verification of Hardware With An AI Theorem Prover | Satnam Singh | AxiomProver |
2.6. Testing the tests
| Wed 7 14:06 | SPLASH OOPSLA | Random Testing via Runtime Abstract Interpretation | Zain K Aamer, Benjamin C. Pierce | Property-Based Test Shrink Discipline |
| Wed 7 14:24 | SPLASH OOPSLA | Testing Theorems, Fully Automatically (property tests for theorem statements) | Segev Elazar Mittelman, Harrison Goldstein et al. | Property-Based Test Shrink Discipline |
| Wed 7 14:42 | SPLASH OOPSLA | Fail Faster: Staging and Fast Randomness for High-Performance PBT (making property-based testing fast) | Cynthia Richey, Joseph W. Cutler et al. | Property-Based Test Shrink Discipline |
Mutation, property-based testing, flakiness: whether a green result means anything.
| When | Track | Talk | Speakers | Related here |
|---|---|---|---|---|
| Tue 6 13:30 | Summer School | Property-Based Testing and Fuzzing with Formal Specifications | Leonidas Lampropoulos | Property-Based Test Shrink Discipline |
| Tue 6 14:45 | SpecOps | SPINACH: Inferring Properties of Web Applications for Property-Based Testing (properties inferred for web apps) | Savitha Ravi, Michael Coblenz | Bombadil for SPAs: Inferred properties (SPINACH) · Property-testing the crowsnest client |
| Mon 5 10:30 | Student Research Competition | Generating Property-Based Tests for Web Applications | Savitha Ravi | Property-testing the crowsnest client |
| Thu 8 10:48 | ISSTA Research papers | PropCov: Effective Coverage Reporting for Property-Based Testing (coverage for property-based tests) | Jesse Coultas, Joseph Wiseman et al. | Property-Based Test Shrink Discipline |
| Sun 4 09:20 | Doctoral symposium | Property-based Testing of Separation Logic Specifications | Zain K Aamer | Property-Based Test Shrink Discipline |
| Mon 5 16:15 | REBASE industry track | From Formal Methods to Fuzzing and Back | Alastair F. Donaldson | Property-Based Test Shrink Discipline |
| Wed 7 14:15 | REBASE industry track | Specification-Driven Code Validation via Automated Test Generation and Mutation Analysis | Rajdeep Mukherjee | CFP draft: The Failure That Looks Like Success |
| Tue 6 16:30 | SpecOps | RuSMT: An Executable Semantics as Conformance Oracle and Test Suite Synthesizer (an executable semantics as the oracle) | Mehrad Haghshenas, Meng Xu | The Four-Boundary Spec Mapping · SpecOps notes |
| Fri 9 13:30 | ISSTA Research papers | Do Coverage and Mutation Scores of LLM-Generated Test Suites Correlate With Their Effectiveness? (Replicability Study) (do coverage and mutation scores of generated tests mean anything) | Junda Zhao, Shurui Zhou et al. | CFP draft: The Failure That Looks Like Success |
| Fri 9 14:24 | ISSTA Research papers | Re-evaluating Detection of Equivalent Mutants Using LLMs: We Should Properly Measure How Far We Are | Arjun Tandon, Mehmet Fırat Dündar et al. | CFP draft: The Failure That Looks Like Success |
| Fri 9 10:48 | ISSTA Research papers | LLMutantKiller: Using Large Language Models to Generate Tests that Kill Mutants | Farideh Khalili, Aidan Domondon et al. | CFP draft: The Failure That Looks Like Success |
| Wed 7 13:48 | SPLASH OOPSLA | Detecting Flaky Tests by Controlling Nondeterministic API Behavior | Hengchen Yuan, Jiefang Lin et al. | CFP draft: The Failure That Looks Like Success |
| Wed 7 15:30 | ISSTA Research papers | A Dataset of Reproducible Flaky-Test Failures | Suzzana Rafi, MAHBUB-UL-HOQUE SUMON et al. | CFP draft: The Failure That Looks Like Success |
2.7. Specification and model checking
Formal methods without the agent angle.
| When | Track | Talk | Speakers | Related here |
|---|---|---|---|---|
| Mon 5 11:42 | SPLASH OOPSLA | Specy: Learning Specifications for Distributed Systems from Event Traces (specs learned from distributed-system traces) | Mike He, Ankush Desai et al. | TLA+ for System Design |
| Mon 5 13:48 | SPLASH OOPSLA | PRDTs: Composable Design and Verification of Consensus Protocols using Replicated Data Types | Julian Haas, Ragnar Mogk et al. | TLA+ for System Design |
| Tue 6 14:42 | SPLASH OOPSLA | RAT-CAT-SAT: Model Checking Memory Consistency Models | Jan Grünke, Thomas Haas et al. | Alloy Specification Language |
| Sun 4 10:30 | HATRA | Ironwright: A Rusty Bridge from Bounded Model Checking to Full Verification | Yan Tong, Sabrina Reis et al. | Dafny-Clojure JVM Interop |
| Sun 4 11:15 | HATRA | Just Draw It: Widgets for Generating and Visualizing Graph Structures in Lean 4 (Lean 4 widgets) | Cruise Song, Zhengyu (Brian ) Li et al. | AxiomProver |
| Tue 6 15:48 | SPLASH OOPSLA | First-Class Refinement Types for Scala | Matt Bovel, Viktor Kunčak et al. | Type Systems: One Tool, Four Ways |
| Thu 8 11:00 | PLSS | Common Expression Language (CEL): Evolutions in Specification | Tristan Swadell | The Four-Boundary Spec Mapping |
2.8. Types, including the RacketCon threads
| Sun 4 11:00 | SPLASH -E | More Pie for the Little Typer (Pie, the dependently typed language of The Little Typer, in Racket) | Qixiang Zhang, Ding Feng et al. | RacketCon 2026 |
| Fri 9 15:30 | IWACO | Hylo: Safe Systems- & Generic-programming with Value Semantics (value semantics instead of borrows) | Dave Abrahams | Rust Programming |
Several papers continue what Fred Fu and JJ presented at RacketCon the same weekend.
| When | Track | Talk | Speakers | Related here |
|---|---|---|---|---|
| Mon 5 10:30 | SPLASH OOPSLA | Type Inference for Functional and Imperative Dynamic Languages (type inference for dynamic languages; compare Fred Fu's RacketCon talk) | Mickaël Laurent, Jan Vitek | RacketCon 2026 |
| Mon 5 11:06 | SPLASH OOPSLA | A Typed Intermediate Representation for Dynamic Languages (TOPLAS) | Mickaël Laurent, Jakob Hain et al. | RacketCon 2026 |
| Mon 5 13:30 | SPLASH OOPSLA | Implementing Set-Theoretic Types (set-theoretic types, in Fu's reading list via Castagna) | Mickaël Laurent, Kim Nguyễn | RacketCon 2026 |
| Mon 5 15:30 | SPLASH OOPSLA | Revisiting Row Polymorphism for Set-Theoretic Types | Mickaël Laurent, Pierre Donat-Bouillud et al. | RacketCon 2026 |
| Mon 5 15:48 | SPLASH OOPSLA | Type, Ability, and Effect Systems: Perspectives on Purity, Semantics, and Expressiveness (effects and abilities; compare JJ's cio talk) | Yuyan Bao, Tiark Rompf | RacketCon 2026 |
| Sun 4 14:15 | HATRA | What Makes a Good Type Error for Units of Measure? (units of measure, which Fortress put in the type) | Hila Peleg | RacketCon 2026 |
| Tue 6 13:30 | SPLASH OOPSLA | Speak Now: Safe Actor Programming with Multiparty Session Types (multiparty session types) | Simon Fowler, Raymond Hu | Type Systems: One Tool, Four Ways |
| Thu 8 11:06 | ISSTA Research papers | Rust's Type Checker Implementation is Unsound: An Empirical Study on Soundness Bugs in rustc | Yusung Sim, Sukyoung Ryu et al. | Rust Programming |
2.9. Live programming, editors and debugging
| Tue 6 11:42 | Tool Demonstrations | Diffpoints: Breakpoints Comparing Values of Variables (breakpoints that compare values) | Filip Čmilňák, Matúš Sulír et al. | Visibility is Verification |
| Mon 5 16:24 | SPLASH OOPSLA | InspectCoder: Dynamic Analysis-Driven Self Repair through Interactive LLM-Debugger Collaboration (an LLM driving a debugger; Bracha's argument as a paper) | Yunkun Wang, Yue Zhang et al. | It's Alive! · Building a Clojure Agent Environment |
| Thu 8 10:30 | ISSTA Research papers | Mathematically-Guided Detection of Floating-Point Errors (Herbie territory) | Youshuai Tan, Zhanwei Zhang et al. | RacketCon 2026 |
The visible-program thread from the Conj source-inspector talk and the REPL notes.
| When | Track | Talk | Speakers | Related here |
|---|---|---|---|---|
| Sun 4 08:30 | HATRA | The Next 700 Block-Based Editors (editors as the language's surface) | Ravi Chugh | Clojure/Conj 2026 |
| Sun 4 14:30 | SPLASH -E | RCKid: Designing a Programming Language Through Its Editors | Petr Maj | Clojure/Conj 2026 |
| Mon 5 14:30 | REBASE industry track | It's Alive!: AI and Live Programming (live programming with AI) | Gilad Bracha | REPL-Driven Flight Tracking · Building a Clojure Agent Environment |
| Tue 6 10:48 | SPLASH OOPSLA | Differential Execution with Lexical Tracing | Sebastian Erdweg, Runqing Xu et al. | Visibility is Verification |
| Tue 6 11:15 | REBASE industry track | A Compiler And Visualizer Design For Debugger Visualization Expressions | Ryan Fleury | Visibility is Verification |
| Thu 8 15:45 | SAS | Towards Sound Interactive Static Analysis | Michael Schwarz | Visibility is Verification |
| Mon 5 11:06 | SPLASH OOPSLA | Accurate Residues for Floating-Point Debugging (floating-point debugging; compare Herbie at RacketCon) | Yumeng He, Pavel Panchekha | RacketCon 2026 |
| Tue 6 15:30 | Tool Demonstrations | HeapLens: An IDE-Integrated Tool for Heap Dump Analysis with In-Editor Source Bridging and LLM-Assisted Diagnosis (heap-dump analysis in the editor; compare Santiago Cabrera's Conj talk) | Sachin Gupta | Clojure/Conj 2026 |
2.10. Notation and language design
| Sun 4 08:30 | SPLASH -E | Teaching About Tools For Thought | Will Crichton | RacketCon 2026 |
| Sun 4 14:30 | PLMW @ SPLASH/ISSTA'26 | Before, During, and After: Tools for Thought in the Age of Tools for Slop | Cyrus Omar | RacketCon 2026 |
| Mon 5 11:30 | SPLASH Onward! Essays | The Spreadsheet Was the Constitution | Abutalib Namazov | RacketCon 2026 |
| Thu 8 08:45 | PLSS | Specifying Languages and VMs: Looking Back and Looking Forward | Gilad Bracha | RacketCon 2026 |
For the RacketCon keynote's question.
| When | Track | Talk | Speakers | Related here |
|---|---|---|---|---|
| Sun 4 13:30 | HATRA | Morphosyntactic Programming: Case, Mood, and Type-Directed Disambiguation for Turkish-Like Syntax (case and mood as syntax) | Joomy Korkut, Alperen Keles et al. | RacketCon 2026 |
| Sun 4 16:30 | SPLASH -E | Proof Interfaces for Exploratory Mathematics | Nishant Kheterpal, Matthew Keenan et al. | RacketCon 2026 |
| Thu 8 09:30 | PLSS | LLMs as Collaborators in Language Specification and Design | Steve Klabnik, Dorian Scheidt | RacketCon 2026 |
| Mon 5 13:30 | Summer School | Language design for Systems | Mae Milano | RacketCon 2026 |
| Thu 8 16:15 | PLSS | From the Eiffel experience: lessons on programming language design, evolution and standardization | Bertrand Meyer | RacketCon 2026 |
2.11. Not on the list
Large parts of the program have no counterpart here and are left out: quantum programs, smart contracts and blockchain RPC, GPU and FPGA tooling, autonomous-driving scenario testing, Android security, and most of SAS.
2.12. How the selection was made
The program page lists every talk with its time, track and speakers; it was parsed into 504 records. Each title was matched against nine topic patterns (agents, isolation, specification, testing, types, live programming, effects, Rust, language design) built from this site's research areas. That gave about 250 candidates. The ones above were then picked by reading the titles against the linked notes. A match means the subject overlaps; it does not mean the paper cites or was read against the note.