I am a senior Ph.D. student at Paderborn University, advised by Eric Bodden. I work on scaling precise static code analyses on large-scale code bases, mainly through sparse data-flow and pointer analyses. I lead the development of the SootUp static analysis framework.
Resarch Interests
I am interested in static program analysis. More specifically I focus on:
- Optimization techniques for the static analysis of real-world code bases
- Program-specific applications of such optimizations
- Techniques for specifying program analyses
Publications
Program Analysis
Kadiray Karakaya, Palaniappan Muthuraman, Eric Bodden, ”Pick Your Call Graphs Well: On Scaling IFDS-Based Data-Flow Analyses” 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP ’25) at the 46th ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI’25), Seoul, Republic of Korea, 2025 [TBA]
Kadiray Karakaya, Stefan Schott, Jonas Klauke, Eric Bodden, Markus Schmidt, Linghui Luo and Dongjie He, ”SootUp: A Redesign of the Soot Static Analysis Framework,” 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Luxembourg City, Luxembourg, 2024 [DOI] - [preprint] - [source code]
Kadiray Karakaya and Eric Bodden, ”Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems,” IEEE/ACM 46th International Conference on Software Engineering (ICSE), Lisbon, Portugal, 2024 [DOI] - [preprint] - [source code]
Kadiray Karakaya and Eric Bodden, ”Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis,” IEEE Conference on Software Testing, Verification and Validation (ICST), Dublin, Ireland, 2023 [DOI] - [preprint] - [source code]
Kadiray Karakaya and Eric Bodden, ”SootFX: A Static Code Feature Extraction Tool for Java and Android,” IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM), Luxembourg, 2021 [DOI] - [preprint] - [source code]
Other Topics
Kadiray Karakaya, Enes Yigitbas and Gregor Engels, ”Automated UX Evaluation for User-Centered Design of VR Interfaces,” Human-Centered Software Engineering (HCSE), 2022 [DOI]
Enes Yigitbas, Kadiray Karakaya, Ivan Jovanovikj and Gregor Engels, ”Enhancing Human-in-the-Loop Adaptive Systems through Digital Twins and VR Interfaces,” International Symposium on Software Engineering for Adaptive and Self- Managing Systems (SEAMS), Madrid, Spain, 2021 [DOI] - [preprint]
Tutorials and Talks
Kadiray Karakaya, Stefan Schott, Jonas Klauke, Eric Bodden, Markus Schmidt, ”Static Code Analysis with SootUp,” 45th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Copenhagen, Denmark, 2024 [Tutorial] - [source code]
Kadiray Karakaya, SootUp Tool Demo Session at ETAPS, European joint conferences on theory and practice of software (ETAPS), Luxembourg City, Luxembourg, 2024 [ETAPS]
Service
- SECDEV 2025: Program Committee
- CAV 2025: Artifact Evaluation Commitee
- SECDEV 2024: Program Committee
- ECOOP 2024: Extended Review Committee
- ECOOP 2024: Artifact Evaluation Commitee
- ISSTA 2024: Artifact Evaluation Commitee
Teaching Assistance
- Summer 2025: Softwaretechnikpraktikum (Bachelor’s Course)
- Summer 2024: Designing Code Analyses for Large-scale Software Systems II (Master’s Course)
- Summer 2023: Designing Code Analyses for Large-scale Software Systems II (Master’s Course)
- Winter 2022/23: Seminar Secure Systems Engineering (Master’s Course)
- Summer 2022: Seminar Secure Systems Engineering (Master’s Course)
- Winter 2021/22: Designing Code Analyses for Large-scale Software Systems I (Master’s Course)
- Summer 2021: Designing Code Analyses for Large-scale Software Systems II (Master’s Course)
- Winter 2020/21: Designing Code Analyses for Large-scale Software Systems I (Master’s Course)
Thesis Supervision
- Shajib Tainur Shaikh, Investigating the Runtime Values for the Invocation of Reflection Calls (Master’s Thesis) - Ongoing
- Zun Wang, Feature-based Adaptive Sparsification for Demand-Driven Pointer Analysis (Master’s Thesis) - 2024
- Palaniappan Muthuraman, Empirical Evaluation of Call Graph Precision’s Impact on the Scalability of IFDS and IDE-Based Static Analyses (Master’s Thesis) - 2024
- Tobias Wilker, Static code analysis for Unity-based VR apps: An exploratory research (Master’s Thesis) - 2023
- Sebastian Hüpping, Exploring Vulnerability Detection and Mitigation Strategies of Immersive Attacks through Static Code Analysis (Bachelor’s Thesis) - 2023
- Hari Kizhedath, Soundness Evaluation of the Call Graph Construction Algorithms of the Static Analysis Frameworks for Java (Master’s Thesis) - 2023
- Amit Kumar, Empirical Evaluation of Forward and Backward Static Taint Analysis (Master’s Thesis) - 2023
- Andre Blanke, Extending and Evaluating a Control Flow Obfuscation Technique for JVM Applications Utilizing InvokeDynamic with Native Bootstrapping (Bachelor’s Thesis) - 2022