SPLASH 2026
Sun 4 - Fri 9 October 2026 Oakland, California, United States
co-located with SPLASH/ISSTA 2026

The SPLASH/ISSTA 2026 REBASE industry track brings together industry practitioners and the academic community in the fields of programming languages and software engineering. We will have a mix of exciting keynote speakers, invited talks, and an open call for presentations. The goal is to exchange and learn about challenges in practical settings, novel ideas from research that could help solving those problems, celebrating past achievements in the two spheres, and discovering new opportunities for collaboration for the future. We are looking forward to seeing you in Oakland in 2026!

Conference days: Monday Oct 5 – Wednesday Oct 7

Accepted Papers

Title
A Compiler And Visualizer Design For Debugger Visualization Expressionsinvited-talk
SPLASH/ISSTA REBASE industry track
A Simple Compiler Tutorialinvited-talk
SPLASH/ISSTA REBASE industry track
A Taste of Verseinvited-talk
SPLASH/ISSTA REBASE industry track
Autonomous Testing with Time-Traveling Agents in a Chaotic Multiverse
SPLASH/ISSTA REBASE industry track
Building code models: scale and beyond invited-talk
SPLASH/ISSTA REBASE industry track
Cohesive Agent Teams with Central Agent Registry
SPLASH/ISSTA REBASE industry track
Formal Verification of Hardware With An AI Theorem Proverinvited-talk
SPLASH/ISSTA REBASE industry track
From Bug Reports to Reproduction Tests: A Multi-Patch, Multi-Level Feedback-Guided Approach with an IBM Torch Spyre Industrial Case Study
SPLASH/ISSTA REBASE industry track
Pre-print
From Formal Methods to Fuzzing and Backinvited-talk
SPLASH/ISSTA REBASE industry track
It's Alive!: AI and Live Programming
SPLASH/ISSTA REBASE industry track
Pre-print
Specification-Driven Code Validation via Automated Test Generation and Mutation Analysis
SPLASH/ISSTA REBASE industry track
The Anatomy of Machine Learning Compilersinvited-talk
SPLASH/ISSTA REBASE industry track
The Era of Coding Agentsinvited-talk
SPLASH/ISSTA REBASE industry track
The Last Mile of Certified Programming
SPLASH/ISSTA REBASE industry track
The Real World is Messy: Examining the Productivity Impact of Automatically Reverting Bad Changes
SPLASH/ISSTA REBASE industry track
What Agentic Development Means for Rust (and Vice Versa)invited-talk
SPLASH/ISSTA REBASE industry track

Call for Presentations

We invite practitioners and academics to submit talk proposals in the form of an extended abstract, slide deck, or a PDF or archived version of a (possibly existing) blog post. We are flexible about submission format and will aim to accept presentations that are interesting and relevant to the SPLASH/ISSTA audience.

Please submit your proposal using this Google Form: https://forms.gle/xALjBh9bWMYcBqC46

We welcome content from industrial and applied research settings, across all programming languages, and across software engineering techniques, tools, methodologies, processes, and practices applicable at any point in the software lifecycle.

Appropriate topics include, but are not limited to:

  • Design and implementation of programming languages and DSLs, both public and internal
  • Programming language extensions and new features
  • Generative AI for software development
  • Program synthesis
  • Formal methods
  • Static analysis
  • Automated testing
  • Compilers
  • IDEs and other development environments
  • Linters, bug detection, and fuzzing

Appropriate formats include, but are not limited to:

  • Experience reports with deployed systems
  • Empirical studies with industrial developers
  • Traditional research papers

Talks will be approximately 30 minutes, followed by time for questions and answers. We will select talks through a lightweight reviewing process. Submissions will be evaluated based on clarity and quality of the proposal, relevance and interest to the SPLASH/ISSTA audience, and whether the work takes place in an industry or applied research setting.

Extended abstracts, talk proposals, and, if speakers wish, their slides, will be published on the REBASE website.

Important Dates

All AoE (anywhere on earth)

  • Friday, July 31st, 2026 – Submission deadline
  • Wednesday, August 12th, 2026 – Acceptance notifications