SPLASH 2026
Sun 4 - Fri 9 October 2026 Oakland, California, United States
co-located with SPLASH/ISSTA 2026
Dates
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
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
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
Hide past events

Unscheduled Sessions

no time slot
Awards CeremonySPLASH/ISSTA Student Research Competition

Please go to the SPLASH/ISSTA awards session; SRC awards will be given out there.

Accepted Papers

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

Call for the Student Research Competition

“The SRC, Tools, and Posters tracks are jointly organized for SPLASH/ISSTA 2026. All three tracks share the same deadlines.”

The ACM Student Research Competition (SRC) offers a unique opportunity for undergraduate and graduate students to present their research to a panel of judges and conference attendees at SPLASH/ISSTA 2026. The SRC provides visibility and exposes up-and-coming researchers to computer science research and the research community. This competition also gives students an opportunity to discuss their research with experts in their field, get feedback, and sharpen their communication and networking skills.

To participate in the competition, a student must submit a 2-page description of their original research project. The submitted project descriptions are peer-reviewed. Each student whose description is selected by a panel of reviewers is invited to attend the SRC competition at SPLASH/ISSTA 2026 and present their work.

Winners of the SPLASH/ISSTA competition are invited to participate in the ACM Student Research Competition Grand Finals. Submit your work and take part in the ACM Student Research Competition at SPLASH/ISSTA 2026!

Participation Requirements

In order to participate in the SRC, you must:

  • Have graduate or undergraduate student status (i.e., be enrolled in a university or college) at the time of submission. Typically, one student author per submission.
  • Be a current ACM student member.
  • Each submission may be sent to only one SRC (either SPLASH or ISSTA) in 2026
  • If selected, register for the conference and attend.

Submission Guidelines

A submitted research abstract must not exceed 2 pages, including all text, appendices, and figures. Additional pages are permitted only for references (and no other text).

The submission must be written in English and must be submitted as a PDF file that follows the ACM SIGPLAN acmart style. See SIGPLAN Author Resources. Please use the provided double-column LaTeX or Word templates.

You must submit your SRC research abstract electronically via submission link here.

Competition Format

If your abstract is accepted, there are two additional rounds of SRC competition that are held during SPLASH/ISSTA 2026.

First Round: Poster Session

The first round is the Poster Session. If you are selected to participate in the competition, you will be invited to present a poster that will be used as a visual helping you to explain your work. This is your opportunity to present your research to conference attendees and SRC judges.

The judges will review the posters and speak to participants about their research. The judges will evaluate the posters based on:

  • Quality of the oral and visual presentation
  • Significance of the contribution
  • Research methods
  • Broader knowledge of the research area

Following that evaluation, the judges will select students to advance to the second round of the competition.

Second Round: Research Talk

If you are selected for this stage, you will give a 10-minute talk about your research before a panel of judges in a special session at SPLASH/ISSTA 2026.

You should prepare in advance a presentation and a talk describing your work. The talks will be evaluated by a panel of judges according to the same criteria as the poster session:

  • Quality of the oral and visual presentation
  • Significance of the contribution
  • Research methods
  • Broader knowledge of the research area

More information about the competition and selection criteria can be found at the official ACM SRC website: ACM Student Research Competition.

Prizes and SRC Grand Finals

The top three winners in each category (undergraduate and graduate) will be recognized during the conference. First-place undergraduate and graduate student winners from all SRCs held during the year (including SPLASH/ISSTA) advance to the SRC Grand Finals.

A separate panel of judges will evaluate all SRC Grand Final participants via the Web. Three undergraduate and three graduate students will be chosen as the SRC Grand Finals winners.