SPLASH 2026
Sun 4 - Fri 9 October 2026 Oakland, California, United States
co-located with SPLASH/ISSTA 2026
SPLASH/ISSTA 2026 (series) / SPLASH 2026 (series) / Oakland Marriott City Center /

Room information: OCC 202

VenueOakland Marriott City Center
Room nameOCC 202
Capacity50
Room InformationNo extra information available
Program

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 5 Oct

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

10:30 - 12:00
EXPRESSEXPRESS at OCC 202
Chair(s): Hongxu Xu University of Waterloo
10:30
11m
Talk
Passes Alone, Fails Together: Benchmarking Semantic Coordination in Parallel LLM-Agent Development
EXPRESS
Haocheng Xia University of Illinois Urbana-Champaign, Eugene Wu Columbia University, Yongjoo Park University of Illinois Urbana-Champaign
10:41
11m
Talk
Towards Budget-Aware Early Candidate Selection for Vulnerability Analysis
EXPRESS
Xinye Zhao University of Notre Dame, Joanna C. S. Santos University of Notre Dame
10:52
11m
Talk
CoVerif: An Automated Contract Verifier for Java using Symbolic Execution
EXPRESS
Aryan Kumar Birla Institute of Technology, Mesra, Alex Toppo Birla Institute of Technology, Mesra, Sandip Ghosal Birla Institute of Technology, Mesra
11:03
11m
Talk
How Faithfully Do LLMs Implement Mutated Specifications? An Empirical Study of Grammar-Guided Protocol Testing
EXPRESS
Polina Kozyreva Syracuse University, Endadul Hoque Syracuse University
11:15
11m
Talk
Can GUI Testing Agents Work on Android-Based In-Vehicle Infotainment Systems? An Empirical Study
EXPRESS
Liang Chen Nantong University, Shuyun Gong Sun Yat-sen University, Yuming Xiao Sun Yat-sen University, Jianzhong Su Sun Yat-sen University
11:26
11m
Talk
Recompilation Is Not Enough: Test-Guided Decompiled-C Repair
EXPRESS
Yuhan Huang Xidian University, Puzhuo Liu Ant Group & Tsinghua University, Jianlei Chi
Pre-print
11:37
11m
Talk
Vulnerability Trends Across Open-Source AI-Attributed Code
EXPRESS
Clarisa Caballero-Ignacio Oregon State University, Lucas Stephens Oregon State University, Josiah Sage Oregon State University, Manish Motwani Oregon State University, Zane Ma Oregon State University
DOI
11:48
11m
Talk
Decomposing LLM-Based Testing with Agent Skills: A Case Study on Numerical Inconsistencies
EXPRESS
Yutong Wang , Cindy Rubio-González University of California at Davis

Tue 6 Oct

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

10:30 - 12:00
Program Analysis, Verification & DebuggingSPLASH/ISSTA Tool Demonstrations at OCC 202
Chair(s): Vesal Vojdani University of Tartu
10:30
18m
Paper
FlowLog: Re-thinking Datalog for Fast and Extensible Static Analysis
SPLASH/ISSTA Tool Demonstrations
A: Zhenghong Yu University of Wisconsin-Madison, A: Hangdong Zhao Microsoft Gray Systems Lab, A: Wanzhu Hou University of Wisconsin-Madison, A: Paraschos Koutris University of Wisconsin-Madison
10:48
18m
Talk
Fusion: A Fold and Unfold Annotation Synthesis Tool for Viper-Based Verification
SPLASH/ISSTA Tool Demonstrations
A: Joonghoon Lee Korea University, A: Nicolas Klose ETH Zurich, A: Seokhyun Lee Korea University, South Korea, A: Peter Müller ETH Zurich, A: Hakjoo Oh Korea University
11:06
18m
Paper
VarCHEKER: A Variability-based Static Analyzer for Python Applications
SPLASH/ISSTA Tool Demonstrations
A: Chin Khor Iowa State University, A: Robyn Lutz Iowa State University, A: Amir Niaraki Musco Sports Lighting
11:24
18m
Paper
Iekkë: A Bounded-Round Partial-Order Encoding Verification Tool for Concurrent C Programs
SPLASH/ISSTA Tool Demonstrations
A: Paolo Di Biase Gran Sasso Science Institute, A: Bernd Fischer Stellenbosch University, A: Salvatore La Torre Università degli Studi di Salerno, A: Peter Schrammel Diffblue Ltd, A: Gennaro Parlato University of Molise
11:42
18m
Paper
Diffpoints: Breakpoints Comparing Values of Variables
SPLASH/ISSTA Tool Demonstrations
A: Filip Čmilňák Technical University of Košice, A: Matúš Sulír Technical University of Košice, A: Milan Nosáľ ValeSoft, s.r.o.
Link to publication Media Attached
13:30 - 15:00
Testing & Quality AssuranceSPLASH/ISSTA Tool Demonstrations at OCC 202
Chair(s): Soneya Binta Hossain University of Texas at Dallas
13:30
18m
Paper
Dredd: Scalable Source-Level Mutation Testing for Large C/C++ Codebases
SPLASH/ISSTA Tool Demonstrations
A: Alastair F. Donaldson Imperial College London, A: James Lee-Jones Imperial College London, A: Jonathan Foo Imperial College London
13:48
18m
Paper
WGSLsmith: Randomised Testing for the WebGPU Shading Language
SPLASH/ISSTA Tool Demonstrations
A: Michał Andryskowski Imperial College London, A: Amber Gorzynski Imperial College London, A: Hasan Mohsin Imperial College London, A: Alastair F. Donaldson Imperial College London
14:06
18m
Paper
ADEPT: A Unified Framework for Deep Learning Test Adequacy
SPLASH/ISSTA Tool Demonstrations
A: Yidi Kao Auburn University, A: Shawn Burnham Auburn University, A: Tommi Rose Fahy Auburn University, A: Ali Ghanbari Auburn University
14:24
18m
Paper
PyMut4SE: Comprehensive Mutation Testing for Python
SPLASH/ISSTA Tool Demonstrations
A: Laura Plein CISPA Helmholtz Center for Information Security, A: Matthieu Jimenez SnT, University of Luxembourg, A: Mike Papadakis University of Luxembourg
14:42
18m
Paper
SCOUT: A Scenario-Guided Unit Test Generation Tool for Compact Open-Source LLMs
SPLASH/ISSTA Tool Demonstrations
A: Myungho Lee Samsung SDS, A: Seokhyeon Moon Samsung SDS, A: Yoon-Chan Jhi Technology Research, Samsung SDS, Seoul, South Korea, A: Hakjoo Oh Korea University
15:30 - 17:00
Developer Tools, Diagnostics & AutomationSPLASH/ISSTA Tool Demonstrations at OCC 202
Chair(s): Lucie le Blanc
15:30
18m
Paper
HeapLens: An IDE-Integrated Tool for Heap Dump Analysis with In-Editor Source Bridging and LLM-Assisted Diagnosis
SPLASH/ISSTA Tool Demonstrations
A: Sachin Gupta eBay Inc.
15:48
18m
Talk
CoCoMUT: A Tool for Code-Context Mining and Automated Dataset Generation
SPLASH/ISSTA Tool Demonstrations
A: Alessandro Botta University of Texas at Dallas, A: Shiven Garisa Heritage High School, A: Jaya Vardhini Akurathi University of Texas at Dallas, A: Ahsanul Ameen Sabit University of Texas at Dallas, A: Trey Woodlief William & Mary, A: Soneya Binta Hossain University of Texas at Dallas
16:06
18m
Paper
RepairFormer: Automated Repair of Structured Inputs Using Transformers
SPLASH/ISSTA Tool Demonstrations
A: Ovi Paul University of Houston, A: Tom J King University of Houston, A: Ali Shokri University of Houston
Pre-print Media Attached
16:24
18m
Paper
Falconf: A Web-Based Tool for Misconfiguration Diagnosis via Log Analysis
SPLASH/ISSTA Tool Demonstrations
A: Youyang Kim Kyungpook National University, A: Sahil Suneja IBM Research, A: Yong-Hwan Jeong Kyungpook National University, A: Yunja Choi Kyungpook National University, A: Young-Woo Kwon Kyungpook National University, A: Byungchul Tak Kyungpook National University
16:42
18m
Paper
bench: A Programmable Command-Line Framework for Complex Benchmarking Workflows
SPLASH/ISSTA Tool Demonstrations
A: Filip Riha Czech Technical University in Prague, A: Filip Křikava Czech Technical University

Wed 7 Oct

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

12:00 - 13:30
ISSTA Steering Committee LunchSPLASH/ISSTA Social Events at OCC 202

Attendees will just need to grab food from the main buffet.

Hide past events

Mon 5 Oct

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

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
OCC 202

EXPRESS

EXPRESS

EXPRESS

EXPRESS

EXPRESS

Tue 6 Oct

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

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
OCC 202

SPLASH/ISSTA Tool Demonstrations

SPLASH/ISSTA Tool Demonstrations

Program Analysis, Verification & Debugging

SPLASH/ISSTA Tool Demonstrations

Testing & Quality Assurance

SPLASH/ISSTA Tool Demonstrations

Developer Tools, Diagnostics & Automation

Wed 7 Oct

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

Room12:003013:0030
OCC 202

SPLASH/ISSTA Social Events

ISSTA Steering Committee Lunch
Hide past events

Mon 5 Oct

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

Room10:0015304511:00153045
OCC 202
EXPRESS
Passes Alone, Fails Together: Benchmarking Semantic Coordination in Par ...
10:30 - 10:41
EXPRESS
Towards Budget-Aware Early Candidate Selection for Vulnerability Analysis
10:41 - 10:52
EXPRESS
CoVerif: An Automated Contract Verifier for Java using Symbolic Execution
10:52 - 11:03
EXPRESS
How Faithfully Do LLMs Implement Mutated Specifications? An Empirical S ...
11:03 - 11:15
EXPRESS
Can GUI Testing Agents Work on Android-Based In-Vehicle Infotainment Sy ...
11:15 - 11:26
EXPRESS
Recompilation Is Not Enough: Test-Guided Decompiled-C Repair
11:26 - 11:37
EXPRESS
Vulnerability Trends Across Open-Source AI-Attributed Code
11:37 - 11:48
EXPRESS
Decomposing LLM-Based Testing with Agent Skills: A Case Study on Numeri ...
11:48 - 12:00

Tue 6 Oct

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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
OCC 202
SPLASH/ISSTA Tool Demonstrations
FlowLog: Re-thinking Datalog for Fast and Extensible Static Analysis
10:30 - 10:48
SPLASH/ISSTA Tool Demonstrations
Fusion: A Fold and Unfold Annotation Synthesis Tool for Viper-Based Ver ...
10:48 - 11:06
SPLASH/ISSTA Tool Demonstrations
VarCHEKER: A Variability-based Static Analyzer for Python Applications
11:06 - 11:24
SPLASH/ISSTA Tool Demonstrations
Iekkë: A Bounded-Round Partial-Order Encoding Verification Tool for Con ...
11:24 - 11:42
SPLASH/ISSTA Tool Demonstrations
Diffpoints: Breakpoints Comparing Values of Variables
11:42 - 12:00
SPLASH/ISSTA Tool Demonstrations
Dredd: Scalable Source-Level Mutation Testing for Large C/C++ Codebases
13:30 - 13:48
SPLASH/ISSTA Tool Demonstrations
WGSLsmith: Randomised Testing for the WebGPU Shading Language
13:48 - 14:06
SPLASH/ISSTA Tool Demonstrations
ADEPT: A Unified Framework for Deep Learning Test Adequacy
14:06 - 14:24
SPLASH/ISSTA Tool Demonstrations
PyMut4SE: Comprehensive Mutation Testing for Python
14:24 - 14:42
SPLASH/ISSTA Tool Demonstrations
SCOUT: A Scenario-Guided Unit Test Generation Tool for Compact Open-Sou ...
14:42 - 15:00
SPLASH/ISSTA Tool Demonstrations
HeapLens: An IDE-Integrated Tool for Heap Dump Analysis with In-Editor ...
15:30 - 15:48
SPLASH/ISSTA Tool Demonstrations
CoCoMUT: A Tool for Code-Context Mining and Automated Dataset Generation
15:48 - 16:06
SPLASH/ISSTA Tool Demonstrations
RepairFormer: Automated Repair of Structured Inputs Using Transformers
16:06 - 16:24
SPLASH/ISSTA Tool Demonstrations
Falconf: A Web-Based Tool for Misconfiguration Diagnosis via Log Analysis
16:24 - 16:42
SPLASH/ISSTA Tool Demonstrations
bench: A Programmable Command-Line Framework for Complex Benchmarking W ...
16:42 - 17:00
Hide past events