I received my doctoral degree in computer science under the supervision of Eric Bodden at Paderborn University. My doctoral research focused 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.

Publications

Program Analysis

Kadiray Karakaya, Jonas Klauke, Enes Yigitbas, ”Toward Static Analysis of Immersive Attacks” 2025 40th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW), Seoul, Republic of Korea, 2025

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 PLDI, Seoul, Republic of Korea, 2025 [DOI]

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]

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]

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]

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]

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

Teaching Assistance

  • Summer 25: Soft­wa­re­tech­nik­prak­ti­kum (Bachelor’s Course)
  • Summer 24: Designing Code Analyses for Large-scale Software Systems II (Master’s Course)
  • Summer 23: Designing Code Analyses for Large-scale Software Systems II (Master’s Course)
  • Winter 22/23: Seminar Secure Systems Engineering (Master’s Course)
  • Summer 22: Seminar Secure Systems Engineering (Master’s Course)
  • Winter 21/22: Designing Code Analyses for Large-scale Software Systems I (Master’s Course)
  • Summer 21: Designing Code Analyses for Large-scale Software Systems II (Master’s Course)
  • Winter 20/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) - 2025
  • Santosh Mohan, Explaining Privacy-Relevant Program Slices to Android App Developers (Master’s Thesis) - 2025
  • Dennis Wüppelmann, Visualizing Software Vulnerabilities in Virtual Reality (Master’s Thesis) - 2024
  • 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