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 201

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

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
Session #1SSNL at OCC 201
08:30
10m
Talk
Welcome
SSNL
Jon Aytac Sandia National Laboratories, Steven Holtzen Northeastern University, Todd Gamblin Lawrence Livermore National Laboratory
08:40
50m
Talk
We Can Know, we Must Know
SSNL
Philip Johnson-Freyd Sandia National Laboratories
09:30
30m
Talk
Todd Gamblin
SSNL
Todd Gamblin Lawrence Livermore National Laboratory
10:30 - 12:00
Session #2SSNL at OCC 201
10:30
20m
Talk
Amal Ahmed
SSNL
Amal Ahmed Northeastern University, USA
10:50
15m
Talk
Lydia Zoghbi
SSNL
Lydia Zoghbi University of California, San Diego
11:05
15m
Break
Social Break #1
SSNL

11:20
20m
Talk
J Tanner Slagel
SSNL
J Tanner Slagel NASA
11:40
20m
Talk
John Sarracino
SSNL
John Sarracino Lawrence Livermore National Laboratory
13:30 - 15:00
Session #3SSNL at OCC 201
13:30
20m
Talk
Joshua Gancher
SSNL
Joshua Gancher Northeastern University
13:50
20m
Talk
Shibbir Ahmed
SSNL
Shibbir Ahmed Texas State University
14:10
15m
Talk
Social Break #2
SSNL

14:25
20m
Talk
Jon Bell
SSNL
Jonathan Bell Northeastern University
14:45
15m
Talk
Caspar Popova
SSNL
Caspar Popova University of Maryland College Park
15:30 - 17:00
Breakout SessionSSNL at OCC 201
15:30
15m
Talk
Sam Pollard
SSNL
Samuel D. Pollard Sandia National Laboratories
15:45
15m
Talk
Zachary J. Sullivan
SSNL
Zachary Sullivan University of Oregon
16:00
60m
Talk
Breakout Groups
SSNL

Mon 5 Oct

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

10:30 - 12:00
Round 1, Poster PresentationsSPLASH/ISSTA Student Research Competition at OCC 201
10:30
90m
Paper
Do Machines Struggle Where Humans Do? Obfuscation as a Probe of Human and Machine Code Comprehension
SPLASH/ISSTA Student Research Competition
A: Jack Le
10:30
90m
Paper
Template-Free Dynamic Invariant Detection
SPLASH/ISSTA Student Research Competition
A: Erfan Arvan New Jersey Institute of Technology
10:30
90m
Paper
Code as Interface for No-Code
SPLASH/ISSTA Student Research Competition
A: Niv Benaloul Open University of Israel
10:30
90m
Paper
Detecting Silent Java GC Bugs via Anomalous Runtime Behavior
SPLASH/ISSTA Student Research Competition
A: Ye Liu Nanjing University
10:30
90m
Paper
PEPPER: Native Shell Scripting in Python
SPLASH/ISSTA Student Research Competition
A: Ridhi Srikanth University of California, San Diego
10:30
90m
Paper
Knowing When a Cheap Model Is Enough: An Information Limit on Pre-Review Cost Routing for LLM Code Review
SPLASH/ISSTA Student Research Competition
A: Md Khairul Azman Texas State University
10:30
90m
Paper
OLIVE: Output-Level Iterative Verification Engine
SPLASH/ISSTA Student Research Competition
A: Aila Jahromi University of California, San Diego, A: junhao gao University of California, San Diego, Zhixuan He University of California, San Diego, A: jonathan mendoza University of California, San Diego
10:30
90m
Paper
ss: A Slide Description Language with Dependence-Scheduled Execution
SPLASH/ISSTA Student Research Competition
A: Yuchi Yamaguchi Institute of Science Tokyo
10:30
90m
Paper
Measuring Per-Decision Propagation Work as a Formula-Dependent Signal
SPLASH/ISSTA Student Research Competition
A: Zenas Boamah Haverford College
10:30
90m
Paper
How Far Does Replication Pay Off? A Throughput-Area Study of Brute-Force SAT on an ECP5 FPGA
SPLASH/ISSTA Student Research Competition
A: Andrew Bonilla Columbia University
10:30
90m
Paper
DSLReasoning: Evaluating LLM Program Reasoning Beyond Pretrained Language Familiarity
SPLASH/ISSTA Student Research Competition
A: Haozhi Wang University of Alberta
10:30
90m
Paper
Typed Template Fuzzing
SPLASH/ISSTA Student Research Competition
A: Lu Maltsis University of Manchester
10:30
90m
Paper
Slice-Guided, Context-Augmented Large Language Model Inference of Java Nullability Annotations
SPLASH/ISSTA Student Research Competition
A: Mushfiqur Rahman Chowdhury New Jersey Institute of Technology
10:30
90m
Paper
ThunderFork: Splitting SMT queries with targeted control-flow transformations
SPLASH/ISSTA Student Research Competition
A: Muhammad Hassan Virginia Tech
10:30
90m
Paper
Modular Abstract Interpretation for Stack-Heap Analysis of C/C++ via LLVM IR
SPLASH/ISSTA Student Research Competition
A: Giacomo Boldini Ca' Foscari University of Venice
10:30
90m
Paper
Generating Property-Based Tests for Web Applications
SPLASH/ISSTA Student Research Competition
A: Savitha Ravi UC San Diego
10:30
90m
Paper
ActionTaint: Framework-Aware Taint Analysis for Next.js Server Actions
SPLASH/ISSTA Student Research Competition
A: Aisha Gurbanli Azerbaijan State University of Economics (UNEC)
10:30
90m
Paper
Single-Metric Size and Complexity Thresholds Fail to Forecast Refactoring
SPLASH/ISSTA Student Research Competition
A: Binamra Aryal University of Texas at Arlington

Tue 6 Oct

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

13:30 - 15:00
Round 2, Undergraduate PresentationsSPLASH/ISSTA Student Research Competition at OCC 201
15:30 - 17:00
Round 2, Graduate PresentationsSPLASH/ISSTA Student Research Competition at OCC 201

Wed 7 Oct

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

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

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

Hide past events

Sun 4 Oct

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

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

SSNL

Session #1

SSNL

Session #2

SSNL

Session #3

SSNL

Breakout Session

Mon 5 Oct

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

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

SPLASH/ISSTA Student Research Competition

SPLASH/ISSTA Student Research Competition

Round 1, Poster Presentations

SPLASH/ISSTA Student Research Competition

SPLASH/ISSTA Student Research Competition

Tue 6 Oct

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

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

SPLASH/ISSTA Student Research Competition

SPLASH/ISSTA Student Research Competition

SPLASH/ISSTA Student Research Competition

Round 2, Undergraduate Presentations

SPLASH/ISSTA Student Research Competition

Round 2, Graduate Presentations

Wed 7 Oct

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

Room12:003013:003014:003015:003016:003017:0030
OCC 201

SPLASH/ISSTA Social Events

SPLASH Steering Committee Lunch

SPLASH/ISSTA Student Research Competition

Thu 8 Oct

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

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

SPLASH/ISSTA Student Research Competition

SPLASH/ISSTA Student Research Competition

SPLASH/ISSTA Student Research Competition

SPLASH/ISSTA Student Research Competition

Hide past events

Sun 4 Oct

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

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
OCC 201
SSNL
Welcome
08:30 - 08:40
SSNL
We Can Know, we Must Know
08:40 - 09:30
SSNL
Todd Gamblin
09:30 - 10:00
SSNL
Amal Ahmed
10:30 - 10:50
SSNL
Lydia Zoghbi
10:50 - 11:05
SSNL
Social Break #1
11:05 - 11:20
SSNL
J Tanner Slagel
11:20 - 11:40
SSNL
John Sarracino
11:40 - 12:00
SSNL
Joshua Gancher
13:30 - 13:50
SSNL
Shibbir Ahmed
13:50 - 14:10
SSNL
Social Break #2
14:10 - 14:25
SSNL
Jon Bell
14:25 - 14:45
SSNL
Caspar Popova
14:45 - 15:00
SSNL
Sam Pollard
15:30 - 15:45
SSNL
Zachary J. Sullivan
15:45 - 16:00
SSNL
Breakout Groups
16:00 - 17:00

Mon 5 Oct

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

Room10:0015304511:00153045
OCC 201
SPLASH/ISSTA Student Research Competition
Do Machines Struggle Where Humans Do? Obfuscation as a Probe of Human a ...
10:30 - 12:00
Template-Free Dynamic Invariant Detection
10:30 - 12:00
Code as Interface for No-Code
10:30 - 12:00
Detecting Silent Java GC Bugs via Anomalous Runtime Behavior
10:30 - 12:00
PEPPER: Native Shell Scripting in Python
10:30 - 12:00
Knowing When a Cheap Model Is Enough: An Information Limit on Pre-Revie ...
10:30 - 12:00
OLIVE: Output-Level Iterative Verification Engine
10:30 - 12:00
ss: A Slide Description Language with Dependence-Scheduled Execution
10:30 - 12:00
Measuring Per-Decision Propagation Work as a Formula-Dependent Signal
10:30 - 12:00
How Far Does Replication Pay Off? A Throughput-Area Study of Brute-Forc ...
10:30 - 12:00
DSLReasoning: Evaluating LLM Program Reasoning Beyond Pretrained Langua ...
10:30 - 12:00
Typed Template Fuzzing
10:30 - 12:00
Slice-Guided, Context-Augmented Large Language Model Inference of Java ...
10:30 - 12:00
ThunderFork: Splitting SMT queries with targeted control-flow transform ...
10:30 - 12:00
Modular Abstract Interpretation for Stack-Heap Analysis of C/C++ via LL ...
10:30 - 12:00
Generating Property-Based Tests for Web Applications
10:30 - 12:00
ActionTaint: Framework-Aware Taint Analysis for Next.js Server Actions
10:30 - 12:00
Single-Metric Size and Complexity Thresholds Fail to Forecast Refactoring
10:30 - 12:00
Hide past events