REBASE industry trackSPLASH/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
Mon 5 OctDisplayed 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 15mDay opening | Welcome to REBASE SPLASH/ISSTA REBASE industry track | ||
10:45 45mIndustry talk | Building Code Models: Scale and Beyond invited-talk SPLASH/ISSTA REBASE industry track Baptiste Rozière Mistral AI | ||
11:30 30mIndustry 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 60mIndustry talk | The Anatomy of Machine Learning Compilersinvited-talk SPLASH/ISSTA REBASE industry track Dimitris Vardoulakis NVIDIA | ||
14:30 30mIndustry 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 45mIndustry talk | GitHub Agentic Workflows Security: Under the Hood and Behind the Wheelinvited-talk SPLASH/ISSTA REBASE industry track Landon Cox Microsoft Research | ||
16:15 45mIndustry talk | From Formal Methods to Fuzzing and Backinvited-talk SPLASH/ISSTA REBASE industry track Alastair F. Donaldson Imperial College London | ||
Tue 6 OctDisplayed 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 45mIndustry talk | A Simple Compiler Tutorialinvited-talk SPLASH/ISSTA REBASE industry track Cliff Click me | ||
11:15 45mIndustry talk | A Compiler And Visualizer Design For Debugger Visualization Expressionsinvited-talk SPLASH/ISSTA REBASE industry track | ||
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 60mIndustry 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 45mIndustry talk | The Era of Coding Agentsinvited-talk SPLASH/ISSTA REBASE industry track Satish Chandra Meta Platforms, Inc. | ||
16:15 30mIndustry talk | Cohesive Agent Teams with Central Agent Registry SPLASH/ISSTA REBASE industry track Vivek Krishna Choppa Amazon Web Services, USA | ||
Wed 7 OctDisplayed 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 45mIndustry talk | Programming Languages in the Agentic Coding Era: Agentic Coding is not going to save C++invited-talk SPLASH/ISSTA REBASE industry track Kathryn S McKinley Google | ||
11:15 45mIndustry 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 45mIndustry talk | Autonomous Testing with Time-Traveling Agents in a Chaotic Multiverse SPLASH/ISSTA REBASE industry track Rohan Padhye Carnegie Mellon University | ||
14:15 30mIndustry 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 45mIndustry talk | What Agentic Development Means for Rust (and Vice Versa)invited-talk SPLASH/ISSTA REBASE industry track | ||
16:15 30mIndustry talk | The Last Mile of Certified Programming SPLASH/ISSTA REBASE industry track Joomy Korkut Bloomberg | ||
Unscheduled Events
| Not scheduled Industry talk | 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 Mehant Kammakomati IBM India Research Lab Pre-print | ||
| Not scheduled Industry talk | TBA SPLASH/ISSTA REBASE industry track Julien Verlaguet SkipLabs |
Accepted Papers
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
| Wed 12 Aug 2026 Notification |
| Fri 31 Jul 2026 Submission Deadline |