Burcu Kulahcioglu Ozkan

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 17

Top Topics

Symbolic Execution

Distributed Systems

Constraint Checking

Top Venues

Proc. ACM Program. Lang.

Publications

Stefania Dumbrava, Zhao Jin, Burcu Kulahcioglu Ozkan, Jingxuan Qiu
GRAIL: Checking Transaction Isolation Violations with Graph Queries. ICSE Companion (2024)
Stefania Dumbrava, Zhao Jin, Burcu Kulahcioglu Ozkan, Jingxuan Qiu
Checking Transaction Isolation Violations Using Graph Queries. ICGT (2024)
Mingyu Gao, Soham Chakraborty, Burcu Kulahcioglu Ozkan
Probabilistic Concurrency Testing for Weak Memory Programs. ASPLOS (2) (2023)
Levin N. Winter, Florena Buse, Daan de Graaf, Klaus von Gleissenthall, Burcu Kulahcioglu Ozkan
Randomized Testing of Byzantine Fault Tolerant Algorithms. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
Jérémie Decouchant, Burcu Kulahcioglu Ozkan, Yanzhuo Zhou
Liveness Checking of the HotStuff Protocol Family. CoRR (2023)
Martijn van Meerten, Burcu Kulahcioglu Ozkan, Annibale Panichella
Evolutionary Approach for Concurrency Testing of Ripple Blockchain Consensus Algorithm. ICSE-SEIP (2023)
Jérémie Decouchant, Burcu Kulahcioglu Ozkan, Yanzhuo Zhou
Liveness Checking of the HotStuff Protocol Family. PRDC (2023)
Cezara Dragoi, Constantin Enea, Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic
Testing consensus implementations using communication closure. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Burcu Kulahcioglu Ozkan
Verifying Weakly Consistent Transactional Programs Using Symbolic Execution. NETYS (2020)
Burcu Kulahcioglu Ozkan, Rupak Majumdar, Simin Oraee
Trace aware random testing for distributed systems. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic
Checking linearizability using hitting families. PPoPP (2019)
Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic, Mitra Tabaei Befrouei, Georg Weissenbacher
Randomized testing of distributed systems with probabilistic guarantees. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Aman Shankar Mathur, Burcu Kulahcioglu Ozkan, Rupak Majumdar
iDeA: an immersive debugger for actors. Erlang Workshop (2018)
Patrick Reipschläger, Burcu Kulahcioglu Ozkan, Aman Shankar Mathur, Stefan Gumhold, Rupak Majumdar, Raimund Dachselt
DebugAR: Mixed Dimensional Displays for Immersive Debugging of Distributed Systems. CHI Extended Abstracts (2018)
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Burcu Kulahcioglu Ozkan, Serdar Tasiran
Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency. ESOP (2017)
Maryam Dabaghchian, Zvonimir Rakamaric, Burcu Kulahcioglu Ozkan, Erdal Mutlu, Serdar Tasiran
Consistency-Aware Scheduling for Weakly Consistent Programs. ACM SIGSOFT Softw. Eng. Notes 42 (4) (2017)
Burcu Kulahcioglu Ozkan, Michael Emmi, Serdar Tasiran
Systematic Asynchrony Bug Exploration for Android Apps. CAV (1) (2015)
Burcu Kulahcioglu Ozkan, Erdal Mutlu, Serdar Tasiran
Towards verifying eventually consistent applications. PaPEC@EuroSys (2014)
Michael Emmi, Burcu Kulahcioglu Ozkan, Serdar Tasiran
Exploiting synchronization in the analysis of shared-memory asynchronous programs. SPIN (2014)