Burcu Kulahcioglu Ozkan

35 papers A 4B 3C 1Journal 11Unranked 12
YearRankTypeTitle / Venue / Authors
2026 J jnl
DEBT 2025 - Third Workshop on Future Debugging Techniques: Preface.
J. Object Technol.
Burcu Kulahcioglu Ozkan, Tom Lauwaerts
2026 J jnl
TriCEGAR: A Trace-Driven Abstraction Mechanism for Agentic AI.
CoRR
Roham Koohestani, Ates Görpelioglu, Egor Klimov, Burcu Kulahcioglu Ozkan, Maliheh Izadi
2025 — conf
A Benchmark Framework for Byzantine Fault Tolerance Testing Algorithms (Tool Paper).
FMBC
João Miguel Louro Neto, Burcu Kulahcioglu Ozkan
2025 J jnl
Balancing Fairness and Performance in Multi-User Spark Workloads with Dynamic Scheduling (extended version).
CoRR
Davis Kazemaks, Laurens Versluis, Burcu Kulahcioglu Ozkan, Jérémie Decouchant
2025 — conf
Balancing Fairness and Performance in Multi-User Spark Workloads with Dynamic Scheduling.
SoCC
Davis Kazemaks, Laurens Versluis, Burcu Kulahcioglu Ozkan, Jérémie Decouchant
2025 — conf
CRDTs for Approximate Membership Queries.
PaPoC@EuroSys
Junbo Xiong, Ege Berkay Gulcan, Burcu Kulahcioglu Ozkan
2025 B conf
Fuzzing Graph Database Applications with Graph Transformations.
ICGT
Stefania Dumbrava, Melchior W. M. Oudemans, Burcu Kulahcioglu Ozkan
2025 J jnl
Model-Guided Fuzzing of Distributed Systems.
Proc. ACM Program. Lang.
Ege Berkay Gulcan, Burcu Kulahcioglu Ozkan, Rupak Majumdar, Srinidhi Nagendra
2025 A conf
Rocket: A System-Level Fuzz-Testing Framework for the XRPL Consensus Algorithm.
ICST
Wishaal Kanhai, Ivar van Loon, Yuraj Mangalgi, Thijs Van der Valk, Lucas Witte, Annibale Panichella, Mitchell Olsthoorn, Burcu Kulahcioglu Ozkan
2024 B conf
Checking Transaction Isolation Violations Using Graph Queries.
ICGT
Stefania Dumbrava, Zhao Jin, Burcu Kulahcioglu Ozkan, Jingxuan Qiu
2024 — conf
GRAIL: Checking Transaction Isolation Violations with Graph Queries.
ICSE Companion
Stefania Dumbrava, Zhao Jin, Burcu Kulahcioglu Ozkan, Jingxuan Qiu
2024 A conf
Generalized Concurrency Testing Tool for Distributed Systems.
ISSTA
Ege Berkay Gulcan, João Neto, Burcu Kulahcioglu Ozkan
2024 J jnl
Model-guided Fuzzing of Distributed Systems.
CoRR
Ege Berkay Gulcan, Burcu Kulahcioglu Ozkan, Rupak Majumdar, Srinidhi Nagendra
2024 A conf
Understanding Concurrency Bugs in Real-World Programs with Kotlin Coroutines.
ECOOP
Bob Brockbernd, Nikita Koval, Arie van Deursen, Burcu Kulahcioglu Ozkan
2023 — conf
Evolutionary Approach for Concurrency Testing of Ripple Blockchain Consensus Algorithm.
ICSE-SEIP
Martijn van Meerten, Burcu Kulahcioglu Ozkan, Annibale Panichella
2023 C conf
Liveness Checking of the HotStuff Protocol Family.
PRDC
Jérémie Decouchant, Burcu Kulahcioglu Ozkan, Yanzhuo Zhou
2023 J jnl
Liveness Checking of the HotStuff Protocol Family.
CoRR
Jérémie Decouchant, Burcu Kulahcioglu Ozkan, Yanzhuo Zhou
2023 — conf
Probabilistic Concurrency Testing for Weak Memory Programs.
ASPLOS (2)
Mingyu Gao, Soham Chakraborty, Burcu Kulahcioglu Ozkan
2023 — ed.
Proceedings of the 22nd ACM SIGPLAN International Workshop on Erlang, Erlang 2023, Seattle, WA, USA, 4 September 2023
Erlang Workshop
Burcu Kulahcioglu Ozkan, Kiko Fernandez-Reyes
2023 J jnl
Randomized Testing of Byzantine Fault Tolerant Algorithms.
Proc. ACM Program. Lang.
Levin N. Winter, Florena Buse, Daan de Graaf, Klaus von Gleissenthall, Burcu Kulahcioglu Ozkan
2022 — ed.
Erlang '22: 21st ACM SIGPLAN International Workshop on Erlang, Ljubljana, Slovenia, 11 September 2022
Erlang Workshop
Stavros Aronis, Burcu Kulahcioglu Ozkan
2020 J jnl
Testing consensus implementations using communication closure.
Proc. ACM Program. Lang.
Cezara Dragoi, Constantin Enea, Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic
2020 — conf
Verifying Weakly Consistent Transactional Programs Using Symbolic Execution.
NETYS
Burcu Kulahcioglu Ozkan
2019 B conf
Checking linearizability using hitting families.
PPoPP
Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic
2019 J jnl
Trace aware random testing for distributed systems.
Proc. ACM Program. Lang.
Burcu Kulahcioglu Ozkan, Rupak Majumdar, Simin Oraee
2018 — conf
DebugAR: Mixed Dimensional Displays for Immersive Debugging of Distributed Systems.
CHI Extended Abstracts
Patrick Reipschläger, Burcu Kulahcioglu Ozkan, Aman Shankar Mathur, Stefan Gumhold, Rupak Majumdar, Raimund Dachselt
2018 J jnl
Randomized testing of distributed systems with probabilistic guarantees.
Proc. ACM Program. Lang.
Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic, Mitra Tabaei Befrouei, Georg Weissenbacher
2018 — conf
iDeA: an immersive debugger for actors.
Erlang Workshop
Aman Shankar Mathur, Burcu Kulahcioglu Ozkan, Rupak Majumdar
2017 J jnl
Consistency-Aware Scheduling for Weakly Consistent Programs.
ACM SIGSOFT Softw. Eng. Notes
Maryam Dabaghchian, Zvonimir Rakamaric, Burcu Kulahcioglu Ozkan, Erdal Mutlu, Serdar Tasiran
2017 A conf
Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency.
ESOP
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Burcu Kulahcioglu Ozkan, Serdar Tasiran
2016 — —
Characterization and verification of correctness criteria for event-driven asynchronous programs (Olaya-dayalı asenkron programlar için doğruluk kriteri tanımlanması ve doğrulanması)
Burcu Kulahcioglu Ozkan
2015 — conf
Systematic Asynchrony Bug Exploration for Android Apps.
CAV (1)
Burcu Kulahcioglu Ozkan, Michael Emmi, Serdar Tasiran
2015 — ch.
Verification Tools for Transactional Programs.
Transactional Memory
Adrián Cristal, Burcu Kulahcioglu Ozkan, Ernie Cohen, Gokcen Kestor, Ismail Kuru, Osman S. Unsal, Serdar Tasiran, Suha Orhun Mutluergil, Tayfun Elmas
2014 — conf
Exploiting synchronization in the analysis of shared-memory asynchronous programs.
SPIN
Michael Emmi, Burcu Kulahcioglu Ozkan, Serdar Tasiran
2014 — conf
Towards verifying eventually consistent applications.
PaPEC@EuroSys
Burcu Kulahcioglu Ozkan, Erdal Mutlu, Serdar Tasiran