SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore
co-located with ICFP/SPLASH 2025

This program is tentative and subject to change.

Thu 16 Oct 2025 18:00 - 20:00 at Orchid Dining Hall - SPLASH Posters Session

Reproducibility Debt (RpD) refers to accumulated technical and organisational issues in scientific software that hinder the ability to reproduce research results. While reproducibility is essential to scientific integrity, RpD remains poorly defined and under-addressed. This study introduces a formal definition of RpD and investigates its causes, effects, and mitigation strategies using a mixed-methods approach involving a systematic literature review (214 papers), interviews (23 practitioners), and a global survey (59 participants). We identify seven categories of contributing issues, 75 causes, 110 effects, and 61 mitigation strategies. Findings are synthesised into a cause-effect model and supported by taxonomies of team roles and software types. This work provides conceptual clarity and practical tools to help researchers, developers, and institutions understand and manage RpD, ultimately supporting more sustainable and reproducible scientific software.

This program is tentative and subject to change.

Thu 16 Oct

Displayed time zone: Perth change

18:00 - 20:00
SPLASH Posters SessionPosters at Orchid Dining Hall
18:00
2h
Poster
Toward Automated Verification of Static Analysis Results of Android Applications
Posters
Hannuri Kim Chungnam National University, Sungho Lee Chungnam National University, Korea
18:00
2h
Poster
Existentialize your Generics
Posters
Dimi Racordon EPFL, Matt Bovel EPFL, Hamza Remmal EPFL, LAMP
18:00
2h
Poster
View Types in Rust
Posters
Sasha Pak The Australian National University, Richard Willie National University of Singapore, Umang Mathur National University of Singapore, Singapore, Fabian Muehlboeck Australian National University, Alex Potanin Australian National University
18:00
2h
Poster
Simplifying Lifter-generated Emulation Style LLVM IR for Analysis Suitability
Posters
Yujin An Chungnam National University, Sungho Lee Chungnam National University, Korea
18:00
2h
Poster
Verifying Extract Method Refactoring in Rust
Posters
Matthew Britton The Australian National University, Alex Potanin Australian National University, Sasha Pak The Australian National University
18:00
2h
Poster
Reproducibility Debt in Scientific Software
Posters
Zara Hassan Australian National University, Christoph Treude Singapore Management University, Graham Williams Australian National University, Michael Norrish Australian National University, Alex Potanin Australian National University
18:00
2h
Poster
Lemma Discovery for Inductive Equational Proofs via Recursive Function Synthesis
Posters
Mingyu Jo Korea University, Hakjoo Oh Korea University
18:00
2h
Poster
Logically Qualified Types for Scala
Posters
18:00
2h
Poster
Incremental and Unbounded Loop Analysis
Posters
Arpita Dutta National University of Singapore, Joxan Jaffar National University of Singapore
18:00
2h
Poster
Type Checking for Python Using Intersection Types
Posters
Mingyeong Jeong Chungnam National University, Sungho Lee Chungnam National University, Korea
18:00
2h
Poster
Current Practices for Building LLM-Powered Reasoning Tools Are Ad Hoc—and We Can do Better
Posters
Aaron Bembenek The University of Melbourne