SLE 2025
Thu 12 - Fri 13 June 2025 Koblenz, Germany
co-located with STAF 2025
Fri 13 Jun 2025 14:37 - 15:00 at M 001 - SLE Session 5: Language Tooling Chair(s): Görel Hedin

Mobile devices have become integral to our everyday lives, yet their utility hinges on their battery life. In Android apps, resource leaks caused by inefficient resource management are a significant contributor to battery drain and poor user experience. Our work introduces Alpakka, a source-to-source compiler for Android’s Smali syntax. To showcase Alpakka’s capabilities, we developed an Alpakka library capable of detecting and automatically correcting resource leaks in Android APK files. We demonstrate Alpakka’s effectiveness through empirical testing on 124 APK files from 31 real-world Android apps in the DroidLeaks dataset. In our analysis, Alpakka identified 93 unique resource leaks, of which we estimate 15% are false positives. From these, we successfully applied automatic corrections to 45 of the detected resource leaks.

Fri 13 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:30 - 15:00
SLE Session 5: Language ToolingSLE 2025 at M 001
Chair(s): Görel Hedin Lund University
13:30
22m
Talk
Optimize Effect Handling for Tail-resumption with Stack UnwindingArtifact FunctionalArtifact Available
SLE 2025
Yuze Fu University of Tokyo, Shigeru Chiba University of Tokyo
13:52
22m
Talk
Variability Fault Localization by Abstract Interpretation and its Application to SPL RepairArtifact ReusableArtifact Available
SLE 2025
Aleksandar S. Dimovski Mother Teresa University, Skopje
14:15
22m
Talk
(Semantic) Feature Model Differences with (Q)SATArtifact FunctionalArtifact Available
SLE 2025
Simone Heisinger JKU Linz, Maximilian Heisinger JKU Linz, Martina Seidl Johannes Kepler University Linz
14:37
22m
Talk
Detecting Resource Leaks on Android with Alpakka
SLE 2025
Gustavo Amorim Santos Faculty of Engineering, University of Porto, Alexandra Mendes Faculty of Engineering, University of Porto & INESC TEC, João Bispo Faculdade de Engenharia e Universidade do Porto
Pre-print