SPLASH 2025 – Companion Proceedings

Frontmatter

Keynotes

Automating Maintenance of the Linux Kernel: A Perspective over 20 Years (Keynote)
Julia Lawall
(Inria, France)

Publisher's Version Article: splashcomp25key-key4-p doi:10.1145/3758316.3771268

The Quest toward That Perfect Compiler (Keynote)
Zhendong Su
(ETH Zurich, Switzerland)

Publisher's Version Article: splashcomp25key-key1-p doi:10.1145/3758316.3771269

Software Stacks for Confidential Computing Hardware (Keynote)
Frank Piessens
(KU Leuven, Belgium)

Publisher's Version Article: splashcomp25key-key6-p doi:10.1145/3758316.3771270

Doctoral Symposium

Separation Logics for Probability, Concurrency, and Security
Kwing Hei Li
(Aarhus University, Denmark)

Publisher's Version Article: splashcomp25docs-p1-p doi:10.1145/3758316.3762818

A Multi-layer Dynamic Security Framework for DeFi Smart Contracts
Zhiyang Chen
(University of Toronto, Canada)

Publisher's Version Article: splashcomp25docs-p2-p doi:10.1145/3758316.3762819

How to Synthesize Quantum-Circuit Optimizers
Amanda Xu
(University of Wisconsin-Madison, USA)

Publisher's Version Article: splashcomp25docs-p3-p doi:10.1145/3758316.3762820

Practical Compositional Diagramming
Shardul Chiplunkar
(EPFL, Switzerland)

Publisher's Version Article: splashcomp25docs-p6-p doi:10.1145/3758316.3762821

Lexical Effect Handlers: Fast by Design, Correct by Proof
Cong Ma
(University of Waterloo, Canada)

Publisher's Version Article: splashcomp25docs-p7-p doi:10.1145/3758316.3762822

Towards Compiler-Guided Static Analysis
Benjamin Mikek
(Georgia Institute of Technology, USA)

Publisher's Version Article: splashcomp25docs-p8-p doi:10.1145/3758316.3762823

SRC

Automata Visualization for Validation and Verification: Helping Develop Correctness Arguments for Nondeterministic Machines
David Anthony K. Fields
(Seton Hall University, USA)

Publisher's Version Article: splashcomp25src-p3-p doi:10.1145/3758316.3763246

Restoring Data Sovereignty: A Human-Centered Approach to Blockchain Health Technology
Polina Bobrova
(Politecnico di Milano, Italy)

Publisher's Version Article: splashcomp25src-p6-p doi:10.1145/3758316.3763247

A Concurrency-Testing Approach for Detecting Isolation Level Bugs in Database Systems
Arsyad Kamili
(National University of Singapore, Singapore)

Publisher's Version Article: splashcomp25src-p7-p doi:10.1145/3758316.3763248

LLM-Assisted Dialect-Agnostic SQL Query Parsing
Junwen An
(National University of Singapore, Singapore)

Publisher's Version Article: splashcomp25src-p8-p doi:10.1145/3758316.3763249

Formal Verification of Graham’s Scan Algorithm
Yingjun Lan and Yuxuan Sun
(Shanghai Jiao Tong University, China)

Publisher's Version Article: splashcomp25src-p9-p doi:10.1145/3758316.3763250

LegoFuzz: Interleaving Large Language Models for Compiler Testing
Yunbo Ni
(Nanjing University, China)

Publisher's Version Article: splashcomp25src-p10-p doi:10.1145/3758316.3763251

On a Multitier Actor Programming Language
HyeonJin Lee
(Chonnam National University, Republic of Korea)

Publisher's Version Article: splashcomp25src-p11-p doi:10.1145/3758316.3763252

Siloso: Finding Logic Bugs in RDBMS via Dialect-Adaptable Reference Engine Construction
Emily Ong
(National University of Singapore, Singapore)

Publisher's Version Article: splashcomp25src-p12-p doi:10.1145/3758316.3763253

Posters

Incremental and Unbounded Loop Analysis
Arpita Dutta and Joxan Jaffar
(National University of Singapore, Singapore)

Publisher's Version Article: splashcomp25posters-p2-p doi:10.1145/3758316.3765480

View Types in Rust
Sasha Pak, Richard Willie, Umang Mathur, Fabian Muehlboeck, and Alex Potanin
(Australian National University, Australia; National University of Singapore, Singapore)

Publisher's Version Article: splashcomp25posters-p19-p doi:10.1145/3758316.3765481

Reproducibility Debt in Scientific Software
Zara Hassan, Christoph Treude, Graham Williams, Michael Norrish, and Alex Potanin
(Australian National University, Australia; Singapore Management University, Singapore)

Publisher's Version Article: splashcomp25posters-p20-p doi:10.1145/3758316.3765482

Type Checking for Python using Intersection Types
Mingyeong Jeong and Sungho Lee
(Chungnam National University, Republic of Korea)

Publisher's Version Article: splashcomp25posters-p25-p doi:10.1145/3758316.3765483

Simplifying Lifter-Generated Emulation Style LLVM IR for Analysis Suitability
Yujin An and Sungho Lee
(Chungnam National University, Republic of Korea)

Publisher's Version Article: splashcomp25posters-p69-p doi:10.1145/3758316.3765484

Toward Automated Verification of Static Analysis Results of Android Applications
Hannuri Kim and Sungho Lee
(Chungnam National University, Republic of Korea)

Publisher's Version Article: splashcomp25posters-p79-p doi:10.1145/3758316.3765485

Verifying Extract Method Refactoring in Rust
Matthew Britton, Alex Potanin, and Sasha Pak
(Australian National University, Australia)

Publisher's Version Article: splashcomp25posters-p86-p doi:10.1145/3758316.3765486

proc time: 0.04