SPLASH 2025
2025 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH 2025)
Powered by
Conference Publishing Consulting

2025 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH 2025), October 12–18, 2025, Singapore, Singapore

SPLASH 2025 – Companion Proceedings

Contents - Abstracts - Authors

Frontmatter

Title Page
Article: splashcomp25foreword-fm000-p doi:
Welcome from the General Chair
Article: splashcomp25foreword-fm001-p doi:
SPLASH 2025 Organization
Article: splashcomp25foreword-fm002-p doi:
SPLASH 2025 Sponsors and Supporters
Article: splashcomp25foreword-fm003-p doi:

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