SPLASH 2026 – Preliminary Table of Contents

Frontmatter

Joint SPLASH/ISSTA Doctoral Symposium

Property-Based Testing of Separation Logic Specifications
Zain K Aamer
(University of Pennsylvania, USA)

Article Search Article: splashcomp26doc-p5-p (type: Extended Abstract) doi:10.1145/3837729.3842144

After the Hitchhiker’s Guide: Toward Principled LLM Assistance for Static Analysis
Haonan Li
(University of California at Riverside, USA)

Article Search Article: splashcomp26doc-p18-p (type: Extended Abstract) doi:10.1145/3837729.3842145

Accurate Specification Recovery for Effective Test Generation
Junda Zhao
(University of Toronto, Canada)

Article Search Article: splashcomp26doc-p31-p (type: Extended Abstract) doi:10.1145/3837729.3842146

The Mechanisms and Practice of Mutation Testing in Improving Software Quality
Hang Du
(University of California at Irvine, USA)

Article Search Article: splashcomp26doc-p57-p (type: Extended Abstract) doi:10.1145/3837729.3842147

Safe<T>: Automaton-Theoretic Runtime Monitoring of Blackbox Distributed Systems
Karuna Grewal
(Cornell University, USA)

Article Search Article: splashcomp26doc-p86-p (type: Extended Abstract) doi:10.1145/3837729.3842148

Towards Scalable and Verifiable Automated Translation from C to Safe Rust
Victor Chen
(Ohio State University, USA)

Article Search Article: splashcomp26doc-p96-p (type: Extended Abstract) doi:10.1145/3837729.3842149

Toward Reliable Automatic Proxies for Code Comprehensibility
Erfan Arvan
(New Jersey Institute of Technology, USA)

Article Search Article: splashcomp26doc-p99-p (type: Extended Abstract) doi:10.1145/3837729.3842150

Joint SPLASH/ISSTA Student Research Competition

Generating Property-Based Tests for Web Applications
Savitha Ravi
(University of California at San Diego, USA)

Article Search Article: splashcomp26src-p2-p (type: Extended Abstract) doi:10.1145/3837729.3839567

OLIVE: Output-Level Iterative Verification Engine
Aila Jahromi, Junhao Gao, Zhixuan He, and Jonathan Mendoza
(University of California at San Diego, USA)

Article Search Article: splashcomp26src-p3-p (type: Extended Abstract) doi:10.1145/3837729.3839568

Single-Metric Size and Complexity Thresholds Fail to Forecast Refactoring
Binamra Aryal
(University of Texas at Arlington, USA)

Article Search Article: splashcomp26src-p4-p (type: Extended Abstract) doi:10.1145/3837729.3839569

PEPPER: Native Shell Scripting in Python
Ridhi Srikanth
(University of California at San Diego, USA)

Article Search Article: splashcomp26src-p5-p (type: Extended Abstract) doi:10.1145/3837729.3839570

ss: A Slide Description Language with Dependence-Scheduled Execution
Yuchi Yamaguchi
(Institute of Science Tokyo, Japan)

Article Search Article: splashcomp26src-p8-p (type: Extended Abstract) doi:10.1145/3837729.3839571

Modular Abstract Interpretation for Stack-Heap Analysis of C/C++ via LLVM IR
Giacomo Boldini
(Ca' Foscari University of Venice, Italy)

Article Search Article: splashcomp26src-p9-p (type: Extended Abstract) doi:10.1145/3837729.3839572

Do Machines Struggle Where Humans Do? Obfuscation as a Probe of Human and Machine Code Comprehension
Jack Le
(University of Texas at Dallas, USA)

Article Search Article: splashcomp26src-p10-p (type: Extended Abstract) doi:10.1145/3837729.3839573

Typed Template Fuzzing
Lu Maltsis
(University of Manchester, UK)

Article Search Article: splashcomp26src-p11-p (type: Extended Abstract) doi:10.1145/3837729.3839574

ActionTaint: Framework-Aware Taint Analysis for Next.js Server Actions
Aisha Gurbanli
(Azerbaijan State University of Economics, Azerbaijan)

Article Search Article: splashcomp26src-p12-p (type: Extended Abstract) doi:10.1145/3837729.3839575

Template-Free Dynamic Invariant Detection
Erfan Arvan
(New Jersey Institute of Technology, USA)

Article Search Article: splashcomp26src-p13-p (type: Extended Abstract) doi:10.1145/3837729.3839576

ThunderFork: Splitting SMT Queries with Targeted Control-Flow Transformations
Muhammad Hassan
(Virginia Tech, USA)

Article Search Article: splashcomp26src-p14-p (type: Extended Abstract) doi:10.1145/3837729.3839577

How Far Does Replication Pay Off? A Throughput-Area Study of Brute-Force SAT on an ECP5 FPGA
Andrew Bonilla
(Columbia University, USA)

Article Search Article: splashcomp26src-p15-p (type: Extended Abstract) doi:10.1145/3837729.3839578

DSLReasoning: Evaluating LLM Program Reasoning beyond Pretrained Language Familiarity
Haozhi Wang
(University of Alberta, Canada)

Article Search Article: splashcomp26src-p17-p (type: Extended Abstract) doi:10.1145/3837729.3839579

A First Look at Bugs in Tile-Based GPU Programming Frameworks
Aaryaa Moharir
(University of Texas at Dallas, USA)

Article Search Article: splashcomp26src-p18-p (type: Extended Abstract) doi:10.1145/3837729.3839580

Measuring Per-Decision Propagation Work as a Formula-Dependent Signal
Zenas Boamah
(Haverford College, USA)

Article Search Article: splashcomp26src-p19-p (type: Extended Abstract) doi:10.1145/3837729.3839581

Detecting Silent Java GC Bugs via Anomalous Runtime Behavior
Ye Liu
(Nanjing University, China)

Article Search Article: splashcomp26src-p20-p (type: Extended Abstract) doi:10.1145/3837729.3839582

Slice-Guided, Context-Augmented Large Language Model Inference of Java Nullability Annotations
Mushfiqur Rahman Chowdhury
(New Jersey Institute of Technology, USA)

Article Search Article: splashcomp26src-p21-p (type: Extended Abstract) doi:10.1145/3837729.3839583

Can We Trust RefAgent? A Differential-Fuzzing Test of Functional Equivalence in Multi-agent-Based Java Refactoring
Mustahid Hasan
(William & Mary, USA)

Article Search Article: splashcomp26src-p22-p (type: Extended Abstract) doi:10.1145/3837729.3839584

Knowing When a Cheap Model Is Enough: An Information Limit on Pre-review Cost Routing for LLM Code Review
Md Khairul Azman
(Texas State University, USA)

Article Search Article: splashcomp26src-p24-p (type: Extended Abstract) doi:10.1145/3837729.3839585

Code as Interface for No-Code
Niv Benaloul
(Open University of Israel, Israel)

Article Search Article: splashcomp26src-p25-p (type: Extended Abstract) doi:10.1145/3837729.3839586

Joint SPLASH/ISSTA Tool Demonstrations

HeapLens: An IDE-Integrated Tool for Heap Dump Analysis with In-Editor Source Bridging and LLM-Assisted Diagnosis
Sachin Gupta
(Independent, USA)

Article Search Article: splashcomp26demo-p1-p (type: Short Paper) doi:10.1145/3837729.3840479

FlowLog: Re-thinking Datalog for Fast and Extensible Static Analysis
Zhenghong Yu, Hangdong Zhao, Wanzhu Hou, and Paraschos Koutris
(University of Wisconsin-Madison, USA; Microsoft Gray Systems Lab, USA)

Article Search Artifacts Available Article: splashcomp26demo-p3-p (type: Short Paper) doi:10.1145/3837729.3840480

flowlog-rs/flowlog: ISSTA/SPLASH 2026 Tool Demo Artifact (doi:10.5281/zenodo.20815412): Artifact snapshot for the FlowLog tool demonstration submission to the ISSTA/SPLASH 2026 Tool Demonstration Track. FlowLog compiles Soufflé-style Datalog programs into standalone Differential Dataflow executables and supports efficient one-shot execution, incremental maintenance, profiling, and extended semantics. The ...

Fusion: A Fold and Unfold Annotation Synthesis Tool for Viper-Based Verification
Joonghoon Lee, Nicolas Klose, Seokhyun Lee, Peter Müller, and Hakjoo Oh
(Korea University, Republic of Korea; ETH Zurich, Switzerland)

Article Search Article: splashcomp26demo-p4-p (type: Short Paper) doi:10.1145/3837729.3840481

Dredd: Scalable Source-Level Mutation Testing for Large C/C++ Codebases
Alastair F. Donaldson, James Lee-Jones, and Jonathan Foo
(Imperial College London, UK)

Article Search Article: splashcomp26demo-p6-p (type: Short Paper) doi:10.1145/3837729.3840482

Spec-Skill: A Pluggable Coding-Agent Plugin for Neuro-symbolic Program Specification Synthesis
Wenjie Wu, Junjie Hu, Cheng Wen, Jialun Cao, Dugang Liu, Zhiwu Xu, Weidi Sun, Haokun Li, and Shengchao Qin
(Xidian University, China; Hong Kong University of Science and Technology, Hong Kong; Shenzhen University, China; Peking University, China)

Article Search Article: splashcomp26demo-p7-p (type: Short Paper) doi:10.1145/3837729.3840483

Query Analyzer: Framework-Agnostic, Confidence-Based N+1 Detection for the JVM
Mahmoud Khawaja
(Cairo University, Egypt)

Article Search Artifacts Available Article: splashcomp26demo-p8-p (type: Short Paper) doi:10.1145/3837729.3840484

Reproduction Package for Article `Query Analyzer: Framework-Agnostic, Confidence-Based N+1 Detection for the JVM' (doi:10.5281/zenodo.21997091): Query Analyzer is a framework-agnostic N+1 query detector and query-plan analyzer for the JVM. This package contains the complete tool source, the benchmark module used for every experiment reported in the paper, and the PetClinic and many-to-many case studies. Components: - query-analyzer-core: the detection engine ...

CoCoMUT: A Tool for Code-Context Mining and Automated Dataset Generation
Alessandro Botta, Shiven Garisa, Jaya Vardhini Akurathi, Ahsanul Ameen Sabit, Trey Woodlief, and Soneya Binta Hossain
(University of Texas at Dallas, USA; Heritage High School, USA; William & Mary, USA)

Article Search Article: splashcomp26demo-p9-p (type: Short Paper) doi:10.1145/3837729.3840485

WGSLsmith: Randomised Testing for the WebGPU Shading Language
Michał Andryskowski, Amber Gorzynski, Hasan Mohsin, and Alastair F. Donaldson
(Imperial College London, UK)

Article Search Article: splashcomp26demo-p10-p (type: Short Paper) doi:10.1145/3837729.3840486

VarCHEKER: A Variability-Based Static Analyzer for Python Applications
Chin Khor, Robyn Lutz, and Amir Niaraki
(Iowa State University, USA; Musco Sports Lighting, USA)

Article Search Article: splashcomp26demo-p11-p (type: Short Paper) doi:10.1145/3837729.3840487

ADEPT: A Unified Framework for Deep Learning Test Adequacy
Yidi Kao, Shawn Burnham, Tommi Rose Fahy, and Ali Ghanbari
(Auburn University, USA)

Article Search Article: splashcomp26demo-p14-p (type: Short Paper) doi:10.1145/3837729.3840488

OpenRepair: An Automated Tool for OpenMP Data Race Repair via Retrieval-Augmented LLMs
Jinning Zhang, Bin Yu, Haoli Zhang, Letian Wang, Wensheng Wang, and Xu Lu
(Xidian University, China)

Article Search Article: splashcomp26demo-p16-p (type: Short Paper) doi:10.1145/3837729.3840489

OmniJinja: A Cross-Language VS Code Extension for Jinja Application Development
Yu Sun, Kai Gao, and Chang-ai Sun
(University of Science and Technology Beijing, China)

Article Search Article: splashcomp26demo-p17-p (type: Short Paper) doi:10.1145/3837729.3840490

Iekkë: A Bounded-Round Partial-Order Encoding Verification Tool for Concurrent C Programs
Paolo Di Biase, Bernd Fischer, Salvatore La Torre, Peter Schrammel, and Gennaro Parlato
(Gran Sasso Science Institute, Italy; Stellenbosch University, South Africa; University of Salerno, Italy; Diffblue, UK; University of Molise, Italy)

Article Search Article: splashcomp26demo-p18-p (type: Short Paper) doi:10.1145/3837729.3840491

Phoenix: A Modular and Versatile Framework for C/C++ Pointer Analysis
Peisen Yao, Zinan Gu, and Qingkai Shi
(Zhejiang University, China; Nanjing University, China)

Article Search Article: splashcomp26demo-p19-p (type: Short Paper) doi:10.1145/3837729.3840492

CrossLangFuzzer: Differential Testing of Cross-Language JVM Compilers
Xiaotian Ma, Qiong Feng, Yongqiang Tian, Wei Song, and Peng Liang
(Nanjing University of Science and Technology, China; Monash University, Australia; Wuhan University, China)

Article Search Article: splashcomp26demo-p21-p (type: Short Paper) doi:10.1145/3837729.3840493

PyMut4SE: Comprehensive Mutation Testing for Python
Laura Plein, Matthieu Jimenez, and Mike Papadakis
(CISPA Helmholtz Center for Information Security, Germany; University of Luxembourg, Luxembourg)

Article Search Article: splashcomp26demo-p34-p (type: Short Paper) doi:10.1145/3837729.3840494

Diffpoints: Breakpoints Comparing Values of Variables
Filip Čmilňák, Matúš Sulír, and Milan Nosáľ
(Technical University of Košice, Slovakia; ValeSoft, Slovakia)

Article Search Article: splashcomp26demo-p35-p (type: Short Paper) doi:10.1145/3837729.3840495

SemaPLC: An Open-Source Agentic IDE for Generation, Verification, and Simulation of PLC Programs from Natural Language
Yanlun Tu, Huacan Wang, Ziyue Zhou, Jie Zhou, Ningyan Zhu, Ge Chen, Wangyi Chen, Xiaofeng Mou, Tengfei Zhou, Dasheng Yang, Hui Zhang, and Yi Xu
(Midea AIRC, China; KUKA, China; KUKA, Germany)

Article Search Article: splashcomp26demo-p36-p (type: Short Paper) doi:10.1145/3837729.3840496

RepairFormer: Automated Repair of Structured Inputs using Transformers
Ovi Paul, Tom J. King, and Ali Shokri
(University of Houston, USA)

Article Search Artifacts Available Article: splashcomp26demo-p37-p (type: Short Paper) doi:10.1145/3837729.3840497

RepairFormer: Automated Repair of Structured Inputs Using Transformers (doi:10.5281/zenodo.20956508): The artifact contains the source code, scripts, oracle, and example data required to train, evaluate, and demonstrate RepairFormer. It includes scripts for data collection, input mutation, boundary data conversion, dataset splitting, model training, and inference. The artifact also provides parser based oracles for ...

RepoTrace: Browser-Assisted Evidence Collection for GitHub Research Datasets
Xue Yao, Zehua Zhang, Jiatong Liu, and Yongqiang Tian
(Monash University, Australia)

Article Search Article: splashcomp26demo-p39-p (type: Short Paper) doi:10.1145/3837729.3840498

Falconf: A Web-Based Tool for Misconfiguration Diagnosis via Log Analysis
Youyang Kim, Sahil Suneja, Yong-Hwan Jeong, Yunja Choi, Young-Woo Kwon, and Byungchul Tak
(Kyungpook National University, Republic of Korea; IBM Research, USA)

Article Search Article: splashcomp26demo-p41-p (type: Short Paper) doi:10.1145/3837729.3840499

DebugTracker: Lightweight Process Evidence for Classroom Debugging
Jiatong Liu, Xue Yao, Zehua Zhang, and Yongqiang Tian
(Monash University, Australia)

Article Search Article: splashcomp26demo-p43-p (type: Short Paper) doi:10.1145/3837729.3840500

SCOUT: A Scenario-Guided Unit Test Generation Tool for Compact Open-Source LLMs
Myungho Lee, Seokhyeon Moon, Yoon-Chan Jhi, and Hakjoo Oh
(Samsung SDS, Republic of Korea; Korea University, Republic of Korea)

Article Search Article: splashcomp26demo-p44-p (type: Short Paper) doi:10.1145/3837729.3840501

bench: A Programmable Command-Line Framework for Complex Benchmarking Workflows
Filip Říha and Filip Křikava
(Czech Technical University, Czech Republic)

Article Search Article: splashcomp26demo-p46-p (type: Short Paper) doi:10.1145/3837729.3840502

Sema Core: An Open, Embeddable AI Coding Agent Runtime for the IDE and Beyond
Huacan Wang, Jie Zhou, Ningyan Zhu, Shuo Zhang, Yanlun Tu, Feiyu Chen, Jiarou Wu, Ziyue Zhou, Ge Chen, Chen Liu, Wangyi Chen, Xiaofeng Mou, and Yi Xu
(Midea AIRC, China)

Article Search Article: splashcomp26demo-p47-p (type: Short Paper) doi:10.1145/3837729.3840503

LPR+: Diverse Transformations for LLM-Aided Program Reduction
Zehua Zhang, Jiatong Liu, Xue Yao, and Yongqiang Tian
(Monash University, Australia)

Article Search Article: splashcomp26demo-p48-p (type: Short Paper) doi:10.1145/3837729.3840504

Joint SPLASH/ISSTA Posters

SiRL: Signal-Level Reinforcement Learning for Falsifying Cyber-Physical Systems
Hadiza Yusuf, Khouloud Gaaloul, and Aditi Dharmadhikari
(University of Michigan at Dearborn, USA)

Article Search Article: splashcomp26poster-p3-p (type: Extended Abstract (2 pages + 1 page for references only)) doi:10.1145/3837729.3839588

Understanding Correctness Failures in Compiler Optimization
Abdullah Al Noman and Mengfei Ren
(Baylor University, USA)

Article Search Article: splashcomp26poster-p4-p (type: Extended Abstract (2 pages + 1 page for references only)) doi:10.1145/3837729.3839589

Bridging Call Boundaries: Inter-procedural Semantic Completion for Graph-Based Vulnerability Detection
Ruiguo Hu, Dongqi Wang, Shujin Yang, Zhenglin Li, and Dongming Chen
(Northeastern University, China)

Article Search Article: splashcomp26poster-p5-p (type: Extended Abstract (2 pages + 1 page for references only)) doi:10.1145/3837729.3839590

SentryLine: Reviewable Capability Traces for CPython Plugin Hosts
Haoyi Zhang and Huaijin Ran
(Xi’an Jiaotong-Liverpool University, China; Nanyang Technological University, Singapore)

Article Search Article: splashcomp26poster-p11-p (type: Extended Abstract (2 pages + 1 page for references only)) doi:10.1145/3837729.3839591

proc time: 0.09