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.

Mon 5 Oct 2026 10:30 - 10:48 at East Hall 1 - Debugging and Fault Localization Chair(s): Alastair F. Donaldson

Debugging tools rely on compiler-generated metadata to present a source-language view, but current compilers often throw away or corrupt debugging information in optimised programs. Attempts to test debugging information are confounded by ad-hoc limitations of the debug info formats and a lack of clarity on whether the compiler or the format is to blame for any given loss. Adopting the "residual program" conceptual view of debug info, we conduct a study of the quality of debugging information in respect of the <i>source-level dynamic call trees</i> it can recover. We compare the trees recovered from optimised and unoptimised versions of the same program, producing a classification of the observed divergences. For each class, we analyse whether format or compiler is to blame and identify specific ways to address these defects. We also validate our classification across a larger collection of well-known codebases.

This program is tentative and subject to change.

Mon 5 Oct

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

10:30 - 12:00
Debugging and Fault LocalizationOOPSLA at East Hall 1
Chair(s): Alastair F. Donaldson Imperial College London
10:30
18m
Talk
Debugging Debugging Information using Dynamic Call Trees
OOPSLA
J. Ryan Stinnett King's College London, Stephen Kell King's College London
DOI Pre-print
10:48
18m
Talk
Automated Debugging of Datalog ProgramsDistinguished Paper
OOPSLA
Jiashen Wei Nanjing University, Baoyuan Luo Nanjing University, Runshuo Xie Nanjing University, Yun Qi Nanjing University, Yiyu Zhang Nanjing University, Xizao Wang Nanjing University, Xintao Niu Nanjing University, Zhiqiang Zuo Nanjing University
Link to publication DOI
11:06
18m
Talk
Accurate Residues for Floating-Point Debugging
OOPSLA
Yumeng He University of Utah, Pavel Panchekha University of Utah
DOI
11:24
18m
Talk
Prosecutor: Bayesian Counterfactual Fault Localization
OOPSLA
Sara Baradaran University of Southern California, Yifei Huang University of Southern California, Wei Le Iowa State University, Mukund Raghothaman University of Southern California
DOI
11:42
18m
Talk
Specy: Learning Specifications for Distributed Systems from Event Traces
OOPSLA
Mike He Princeton University, Ankush Desai Snowflake, Aishwarya Jagarapu Amazon Web Services, Doug Terry LinkedIn, Sharad Malik Princeton University, Aarti Gupta Princeton University
DOI Pre-print
Hide past events