Kadiray Karakaya

12 papers A* 1A 1C 3Journal 2Unranked 5
YearRankTypeTitle / Venue / Authors
2025 — conf
Pick Your Call Graphs Well: On Scaling IFDS-Based Data-Flow Analyses.
SOAP@PLDI
Kadiray Karakaya, Palaniappan Muthuraman, Eric Bodden
2025 — conf
Toward Static Analysis of Immersive Attacks.
ASEW
Kadiray Karakaya, Jonas Klauke, Enes Yigitbas
2024 — conf
SootUp: A Redesign of the Soot Static Analysis Framework.
TACAS (1)
Kadiray Karakaya, Stefan Schott, Jonas Klauke, Eric Bodden, Markus Schmidt, Linghui Luo, Dongjie He
2024 A* conf
Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems.
ICSE
Kadiray Karakaya, Eric Bodden
2024 J jnl
Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems.
CoRR
Kadiray Karakaya, Eric Bodden
2024 C conf
Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis.
Software Engineering
Kadiray Karakaya, Eric Bodden
2023 A conf
Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis.
ICST
Kadiray Karakaya, Eric Bodden
2022 — conf
Automated UX Evaluation for User-Centered Design of VR Interfaces.
HCSE
Kadiray Karakaya, Enes Yigitbas, Gregor Engels
2022 C conf
Enhancing Human-in-the-Loop Adaptive Systems through Digital Twins and VR Interfaces.
Software Engineering
Enes Yigitbas, Kadiray Karakaya, Ivan Jovanovikj, Gregor Engels
2021 — conf
Enhancing Human-in-the-Loop Adaptive Systems through Digital Twins and VR Interfaces.
SEAMS@ICSE
Enes Yigitbas, Kadiray Karakaya, Ivan Jovanovikj, Gregor Engels
2021 J jnl
Enhancing Human-in-the-Loop Adaptive Systems through Digital Twins and VR Interfaces.
CoRR
Enes Yigitbas, Kadiray Karakaya, Ivan Jovanovikj, Gregor Engels
2021 C conf
SootFX: A Static Code Feature Extraction Tool for Java and Android.
SCAM
Kadiray Karakaya, Eric Bodden