Burcu Kulahcioglu Ozkan

According to our database, Burcu Kulahcioglu Ozkan authored at least 18 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Randomized Testing of Byzantine Fault Tolerant Algorithms.

Levin N. Winter, Florena Buse, Daan de Graaf, Klaus von Gleissenthall, Burcu Kulahcioglu Ozkan

Proc. ACM Program. Lang., April, 2023

Liveness Checking of the HotStuff Protocol Family.

Jérémie Decouchant, Burcu Kulahcioglu Ozkan, Yanzhuo Zhou

Proceedings of the 28th IEEE Pacific Rim International Symposium on Dependable Computing, 2023

Evolutionary Approach for Concurrency Testing of Ripple Blockchain Consensus Algorithm.

Martijn van Meerten, Burcu Kulahcioglu Ozkan, Annibale Panichella

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2023

Probabilistic Concurrency Testing for Weak Memory Programs.

Mingyu Gao, Soham Chakraborty, Burcu Kulahcioglu Ozkan

Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

2020

Testing consensus implementations using communication closure.

Cezara Dragoi, Constantin Enea, Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic

Proc. ACM Program. Lang., 2020

Verifying Weakly Consistent Transactional Programs Using Symbolic Execution.

Burcu Kulahcioglu Ozkan

Proceedings of the Networked Systems - 8th International Conference, 2020

2019

Trace aware random testing for distributed systems.

Burcu Kulahcioglu Ozkan, Rupak Majumdar, Simin Oraee

Proc. ACM Program. Lang., 2019

Checking linearizability using hitting families.

Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic

Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2019

2018

Randomized testing of distributed systems with probabilistic guarantees.

Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic, Mitra Tabaei Befrouei, Georg Weissenbacher

Proc. ACM Program. Lang., 2018

iDeA: an immersive debugger for actors.

Aman Shankar Mathur, Burcu Kulahcioglu Ozkan, Rupak Majumdar

Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang, 2018

DebugAR: Mixed Dimensional Displays for Immersive Debugging of Distributed Systems.

Patrick Reipschläger, Burcu Kulahcioglu Ozkan, Aman Shankar Mathur, Stefan Gumhold, Rupak Majumdar, Raimund Dachselt

Proceedings of the Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems, 2018

2017

Consistency-Aware Scheduling for Weakly Consistent Programs.

Maryam Dabaghchian, Zvonimir Rakamaric, Burcu Kulahcioglu Ozkan, Erdal Mutlu, Serdar Tasiran

ACM SIGSOFT Softw. Eng. Notes, 2017

Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency.

Ahmed Bouajjani, Michael Emmi, Constantin Enea, Burcu Kulahcioglu Ozkan, Serdar Tasiran

Proceedings of the Programming Languages and Systems, 2017

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

PhD thesis, 2016

2015

Verification Tools for Transactional Programs.

Adrián Cristal, Burcu Kulahcioglu Ozkan, Ernie Cohen, Gokcen Kestor, Ismail Kuru, Osman S. Unsal, Serdar Tasiran, Suha Orhun Mutluergil, Tayfun Elmas

Proceedings of the Transactional Memory. Foundations, Algorithms, Tools, and Applications, 2015

Systematic Asynchrony Bug Exploration for Android Apps.

Burcu Kulahcioglu Ozkan, Michael Emmi, Serdar Tasiran

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Exploiting synchronization in the analysis of shared-memory asynchronous programs.

Michael Emmi, Burcu Kulahcioglu Ozkan, Serdar Tasiran

Proceedings of the 2014 International Symposium on Model Checking of Software, 2014

Towards verifying eventually consistent applications.

Burcu Kulahcioglu Ozkan, Erdal Mutlu, Serdar Tasiran

Proceedings of the First Workshop on the Principles and Practice of Eventual Consistency, 2014