Kadiray Karakaya

According to our database, Kadiray Karakaya authored at least 9 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Scalable data-flow analysis through sparsification and precise call graphs.

Kadiray Karakaya

PhD thesis, 2025

Pick Your Call Graphs Well: On Scaling IFDS-Based Data-Flow Analyses.

Kadiray Karakaya, Palaniappan Muthuraman, Eric Bodden

Proceedings of the 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2025

Toward Static Analysis of Immersive Attacks.

Kadiray Karakaya, Jonas Klauke, Enes Yigitbas

Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering, ASE 2025, 2025

2024

SootUp: A Redesign of the Soot Static Analysis Framework.

Kadiray Karakaya, Stefan Schott, Jonas Klauke, Eric Bodden, Markus Schmidt, Linghui Luo, Dongjie He

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems.

Kadiray Karakaya, Eric Bodden

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

2023

Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis.

Kadiray Karakaya, Eric Bodden

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2023

2022

Enhancing Human-in-the-Loop Adaptive Systems through Digital Twins and VR Interfaces.

Enes Yigitbas, Kadiray Karakaya, Ivan Jovanovikj, Gregor Engels

Proceedings of the Software Engineering 2022, 2022

Automated UX Evaluation for User-Centered Design of VR Interfaces.

Kadiray Karakaya, Enes Yigitbas, Gregor Engels

Proceedings of the Human-Centered Software Engineering, 2022

2021

SootFX: A Static Code Feature Extraction Tool for Java and Android.

Kadiray Karakaya, Eric Bodden

Proceedings of the 21st IEEE International Working Conference on Source Code Analysis and Manipulation, 2021