Burcu Kulahcioglu Ozkan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
12
Active years
2014–2026
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICST | Observability and Fault Injection for LLM-Based Multi-Agent Systems in Software Engineering. | Zahra Seyedghorban, Egor Klimov, Arie van Deursen, Annibale Panichella, Burcu Kulahcioglu Ozkan |
| 2025 | CLOUD | Balancing Fairness and Performance in Multi-User Spark Workloads with Dynamic Scheduling. | Davis Kazemaks, Laurens Versluis, Burcu Kulahcioglu Ozkan, Jrmie Decouchant |
| 2025 | ICST | Rocket: A System-Level Fuzz-Testing Framework for the XRPL Consensus Algorithm. | Wishaal Kanhai, Ivar van Loon, Yuraj Mangalgi, Thijs Van der Valk, Lucas Witte, Annibale Panichella, Mitchell Olsthoorn, Burcu Kulahcioglu Ozkan |
| 2024 | ECOOP | Understanding Concurrency Bugs in Real-World Programs with Kotlin Coroutines. | Bob Brockbernd, Nikita Koval, Arie van Deursen, Burcu Kulahcioglu Ozkan |
| 2024 | ICSE | GRAIL: Checking Transaction Isolation Violations with Graph Queries. | Stefania Dumbrava, Zhao Jin, Burcu Kulahcioglu Ozkan, Jingxuan Qiu |
| 2024 | ISSTA | Generalized Concurrency Testing Tool for Distributed Systems. | Ege Berkay Gulcan, Joo Neto, Burcu Kulahcioglu Ozkan |
| 2023 | ASPLOS | Probabilistic Concurrency Testing for Weak Memory Programs. | Mingyu Gao, Soham Chakraborty, Burcu Kulahcioglu Ozkan |
| 2023 | ICSE | Evolutionary Approach for Concurrency Testing of Ripple Blockchain Consensus Algorithm. | Martijn van Meerten, Burcu Kulahcioglu Ozkan, Annibale Panichella |
| 2023 | PRDC | Liveness Checking of the HotStuff Protocol Family. | Jrmie Decouchant, Burcu Kulahcioglu Ozkan, Yanzhuo Zhou |
| 2019 | PPoPP | Checking linearizability using hitting families. | Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic |
| 2018 | CHI | DebugAR: Mixed Dimensional Displays for Immersive Debugging of Distributed Systems. | Patrick Reipschlger, Burcu Kulahcioglu Ozkan, Aman Shankar Mathur, Stefan Gumhold, Rupak Majumdar, Raimund Dachselt |
| 2017 | ESOP | Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency. | Ahmed Bouajjani, Michael Emmi, Constantin Enea, Burcu Kulahcioglu Ozkan, Serdar Tasiran |
| 2015 | CAV | Systematic Asynchrony Bug Exploration for Android Apps. | Burcu Kulahcioglu Ozkan, Michael Emmi, Serdar Tasiran |
| 2014 | EuroSys | Towards verifying eventually consistent applications. | Burcu Kulahcioglu Ozkan, Erdal Mutlu, Serdar Tasiran |