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
Advice for students interested in writing their thesis with me
Publications
Program Analysis
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]
Service
- Program Committee Member: SECDEV 2024
- Extended Review Committee Member: ECOOP 2024
- Artifact Evaluation Commitee Member: ISSTA 2024, ECOOP 2024
Teaching Assistance
- Seminar Secure Systems Engineering (Master’s Course)
- Designing Code Analyses for Large-scale Software Systems I (Master’s Course)
- Designing Code Analyses for Large-scale Software Systems II (Master’s Course)
Thesis Supervision
- Zun Wang, Feature-based Adaptive Sparsification for Demand-Driven Pointer Analysis (Master’s Thesis) - Ongoing
- 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