@inproceedings{61506,
  author       = {{Karakaya, Kadiray and Klauke, Jonas and Yigitbas, Enes}},
  booktitle    = {{Proceedings of the 3rd International Workshop on Virtual and Augmented Reality Software Engineering (VARSE) @ ASE 2025 }},
  title        = {{{Toward Static Analysis of Immersive Attacks}}},
  year         = {{2025}},
}

@inproceedings{53938,
  abstract     = {{Previous work has shown that one can often greatly speed up static analysis by computing data flows not for every edge in the program’s control-flow graph but instead only along definition-use chains. This yields a so-called sparse static analysis. Recent work on SparseDroid has shown that specifically taint analysis can be “sparsified” with extraordinary effectiveness because the taint state of one variable does not depend on those of others. This allows one to soundly omit more flow-function computations than in the general case. In this work, we now assess whether this result carries over to the more generic setting of so-called Interprocedural Distributive Environment (IDE) problems. Opposed to taint analysis, IDE comprises distributive problems with large or even infinitely broad domains, such as typestate analysis or linear constant propagation. Specifically, this paper presents Sparse IDE, a framework that realizes sparsification for any static analysis that fits the IDE framework. We implement Sparse IDE in SparseHeros, as an extension to the popular Heros IDE solver, and evaluate its performance on real-world Java libraries by comparing it to the baseline IDE algorithm. To this end, we design, implement and evaluate a linear constant propagation analysis client on top of SparseHeros. Our experiments show that, although IDE analyses can only be sparsified with respect to symbols and not (numeric) values, Sparse IDE can nonetheless yield significantly lower runtimes and often also memory consumptions compared to the original IDE.}},
  author       = {{Karakaya, Kadiray and Bodden, Eric}},
  booktitle    = {{Proceedings of the IEEE/ACM 46th International Conference on Software Engineering}},
  publisher    = {{ACM}},
  title        = {{{Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems}}},
  doi          = {{10.1145/3597503.3639092}},
  year         = {{2024}},
}

@inbook{53942,
  abstract     = {{<jats:title>Abstract</jats:title><jats:p>Since its inception two decades ago, <jats:sc>Soot</jats:sc> has become one of the most widely used open-source static analysis frameworks. Over time it has been extended with the contributions of countless researchers. Yet, at the same time, the requirements for <jats:sc>Soot</jats:sc> have changed over the years and become increasingly at odds with some of the major design decisions that underlie it. In this work, we thus present <jats:sc>SootUp</jats:sc>, a complete reimplementation of <jats:sc>Soot</jats:sc> that seeks to fulfill these requirements with a novel design, while at the same time keeping elements that <jats:sc>Soot</jats:sc> users have grown accustomed to.</jats:p>}},
  author       = {{Karakaya, Kadiray and Schott, Stefan and Klauke, Jonas and Bodden, Eric and Schmidt, Markus and Luo, Linghui and He, Dongjie}},
  booktitle    = {{Tools and Algorithms for the Construction and Analysis of Systems}},
  isbn         = {{9783031572456}},
  issn         = {{0302-9743}},
  publisher    = {{Springer Nature Switzerland}},
  title        = {{{SootUp: A Redesign of the Soot Static Analysis Framework}}},
  doi          = {{10.1007/978-3-031-57246-3_13}},
  year         = {{2024}},
}

@inproceedings{59412,
  author       = {{Karakaya, Kadiray and Bodden, Eric}},
  booktitle    = {{2023 IEEE Conference on Software Testing, Verification and Validation (ICST)}},
  publisher    = {{IEEE}},
  title        = {{{Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis}}},
  doi          = {{10.1109/icst57152.2023.00036}},
  year         = {{2023}},
}

@inproceedings{29927,
  author       = {{Yigitbas, Enes and Karakaya, Kadiray and Jovanovikj, Ivan and Engels, Gregor}},
  booktitle    = {{Software Engineering 2022, Fachtagung des GI-Fachbereichs Softwaretechnik, 21.-25. Februar 2022, Virtuell}},
  editor       = {{Grunske, Lars and Siegmund, Janet and Vogelsang, Andreas}},
  pages        = {{95–96}},
  publisher    = {{Gesellschaft für Informatik e.V.}},
  title        = {{{Enhancing Human-in-the-Loop Adaptive Systems through Digital Twins and VR Interfaces}}},
  doi          = {{10.18420/se2022-ws-033}},
  volume       = {{{P-320}}},
  year         = {{2022}},
}

@inproceedings{32305,
  author       = {{Karakaya, Kadiray and Yigitbas, Enes and Engels, Gregor}},
  booktitle    = {{Proceedings of the 9th International Working Conference on Human-Centered Software Engineering (HCSE'22)}},
  publisher    = {{Springer}},
  title        = {{{Automated UX Evaluation for User-Centered Design of VR Interfaces}}},
  year         = {{2022}},
}

@inproceedings{22819,
  author       = {{Yigitbas, Enes and Karakaya, Kadiray and Jovanovikj, Ivan and Engels, Gregor}},
  booktitle    = {{2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)}},
  title        = {{{Enhancing Human-in-the-Loop Adaptive Systems through Digital Twins and VR Interfaces}}},
  doi          = {{10.1109/seams51251.2021.00015}},
  year         = {{2021}},
}

@inproceedings{33840,
  author       = {{Karakaya, Kadiray and Bodden, Eric}},
  booktitle    = {{2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM)}},
  pages        = {{181–186}},
  title        = {{{SootFX: A Static Code Feature Extraction Tool for Java and Android}}},
  year         = {{2021}},
}