SPLASH 2026
Sun 4 - Fri 9 October 2026 Oakland, California, United States
co-located with SPLASH/ISSTA 2026

This program is tentative and subject to change.

Tue 6 Oct 2026 11:42 - 12:00 at OCC 202 - Program Analysis, Verification & Debugging Chair(s): Vesal Vojdani

Debugging is an integral, yet time-consuming and cognitively demanding part of software development. While common debugging tools allow for a detailed inspection of current variable values, they do not offer a clear visualization of their evolution over time. When comparing states at different execution points, they rely on the programmer’s memory or auxiliary console outputs. In this paper, we present Diffpoints, a novel debugging tool that introduces new types of breakpoints to enable the automatic capture and comparison of variable states between multiple points of program execution. Two distinct types, namely line and group diffpoints, are supported, and to match variables from different stack traces, a heuristic is used. Diffpoints are implemented as an extension for the IntelliJ IDEA development environment. We conducted a preliminary user study and plan further evaluation.

This program is tentative and subject to change.

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
Hide past events