As software systems have become ubiquitous in our lives, modern applications are designed to be highly concurrent, responsive, fault tolerant and distributed. Increased complexity of the software systems makes it more difficult to reason about possible behaviors of a system and to produce correct software.
The research of my team aims to improve the reliability of software by building program analysis, testing and verification techniques. To this end, our research spans software engineering, formal methods, programming models and languages, concurrent programming, and distributed systems.
Published in Proceedings of the ACM on Programming Languages (PACMPL), volume 7, OOPSLA(1), 2023
Recommended citation: Levin N. Winter, Florena Buse, Daan de Graaf, Klaus von Gleissenthall, and Burcu Kulahcioglu Ozkan. 2023. Randomized Testing of Byzantine Fault Tolerant Algorithms. Proc. ACM Program. Lang. 7, OOPSLA1, Article 101, pp 757–788. https://dl.acm.org/doi/10.1145/3586053
Published in 28th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2023), 2023
Recommended citation: Jérémie Decouchant, Burcu Kulahcioglu Ozkan, Yanzhuo Zhou. "Liveness Checking of the HotStuff Protocol Family." Proceedings of the 28th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2023), Singapore, Singapore, October 24-27, 2023
Published in 45th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, ICSE (SEIP) 2023, Melbourne, Australia, May 14-20, 2023 (to appear), 2023
Recommended citation: Martijn van Meerten, Burcu Kulahcioglu Ozkan, Annibale Panichella. "Evolutionary Approach for Concurrency Testing of Ripple Blockchain Consensus Algorithm." Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, ICSE (SEIP) 2023
Published in 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2, ASPLOS 2023, 2023
Recommended citation: Mingyu Gao, Soham Chakraborty, Burcu Kulahcioglu Ozkan. "Probabilistic Concurrency Testing for Weak Memory Programs." Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2, ASPLOS 2023, Vancouver, BC, Canada, March 25-29, 2023
Published in Proceedings of the ACM on Programming Languages (PACMPL), volume 4, number OOPSLA, 2020
Recommended citation: Cezara Dragoi, Constantin Enea, Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic. "Testing Consensus Implementations Using Communication Closure." Proceedings of the ACM on Programming Languages (PACMPL), volume 4, number OOPSLA, 2020.
Published in In Proc. 8th Int. Conference on Networked Systems, 2020
Recommended citation: Burcu Kulahcioglu Ozkan. "Verifying Weakly Consistent Transactional Programs using Symbolic Execution." In Proc. 8th Int. Conference on Networked Systems (NETYS), 2020.
Published in Proceedings of the ACM on Programming Languages (PACMPL), volume 3, number OOPSLA, 2019
Recommended citation: Burcu Kulahcioglu Ozkan, Rupak Majumdar, Simin Oraee. "Trace Aware Random Testing for Distributed Systems." Proceedings of the ACM on Programming Languages (PACMPL), volume 3, number OOPSLA, October 2019.
Published in In 24th ACM SIGPLAN Symp. on Principles and Practice of Parallel Programming, PPoPP., 2019
Recommended citation: Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic. "Checking Linearizability Using Hitting Families." 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, (PPoPP).
Published in Proceedings of the ACM on Programming Languages (PACMPL), volume 2, number OOPSLA, 2018
Recommended citation: Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic, Mitra Tabaei Befrouei, Georg Weissenbacher. "Randomized Testing of Distributed Systems with Probabilistic Guarantees."Proceedings of the ACM on Programming Languages (PACMPL), volume 2, number OOPSLA.
Published in 17th Erlang Workshop, 2018
Recommended citation: Aman Shankar Mathur, Burcu Kulahcioglu Ozkan, Rupak Majumdar. (2018). "iDeA: An Immersive Debugger for Actors. 17th Erlang Workshop.
Published in CHI Conference on Human Factors in Computing Systems Extended Abstracts, 2018
Recommended citation: 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 Conference on Human Factors in Computing Systems Extended Abstracts.
Published in ACM SIGSOFT Software Engineering Notes 42(4): 1-5, 2018
Recommended citation: Maryam Dabaghchian, Zvonimir Rakamaric, Burcu Kulahcioglu Ozkan, Erdal Mutlu, Serdar Tasiran. "Consistency-Aware Scheduling for Weakly Consistent Programs. ACM SIGSOFT Software Engineering Notes 42(4): 1-5.
Published in 26th European Symposium on Programming (ESOP), 2017
Recommended citation: Ahmed Bouajjani, Michael Emmi, Constantin Enea, Burcu Kulahcioglu Ozkan, Serdar Tasiran. "Verifying Robustness of Event-Driven Asynchronous Programs against Concurrency. 26th European Symposium on Programming (ESOP)
Published in 27th Int. Conference on Computer Aided Verification (CAV), 2015
Recommended citation: Burcu Kulahcioglu Ozkan, Michael Emmi, Serdar Tasiran. "Systematic Asynchrony Bug Exploration for Android Apps. 27th Int. Conference on Computer Aided Verification (CAV).
Published in Transactional Memory. Foundations, Algorithms, Tools, and Applications, Springer, 2015
Recommended citation: Adrian Cristal, Burcu Kulahcioglu Ozkan, Ernie Cohen, Gokcen Kestor, Ismail Kuru, Osman Unsal, Serdar Tasiran, Suha Orhun Mutluergil, Tayfun Elmas. "Verification Tools for Transactional Programs. Transactional Memory. Foundations, Algorithms, Tools, and Applications, Springer.
Published in International SPIN Symposium on Model Checking of Software (SPIN), 2014
Recommended citation: Michael Emmi, Burcu Kulahcioglu Ozkan, Serdar Tasiran. "Exploiting Synchronization in the Analysis of Shared-Memory Asynchronous Programs. International SPIN Symposium on Model Checking of Software (SPIN).
Published in Proceedings of the First Workshop on Principles and Practice of Eventual Consistency (PaPEC), 2014
Recommended citation: Burcu Kulahcioglu Ozkan, Erdal Mutlu, Serdar Tasiran. "Proceedings of the First Workshop on Principles and Practice of Eventual Consistency (PaPEC).
Published in 9th ACM SIGPLAN Workshop on Transactional Computing, TRANSACT, 2014
Recommended citation: Ismail Kuru, Burcu Kulahcioglu Ozkan, Suha Orhun Mutluergil, Serdar Tasiran, Tayfun Elmas, Ernie Cohen. "Verifying Programs under Snapshot Isolation and Similar Relaxed Consistency Models. 9th ACM SIGPLAN Workshop on Transactional Computing, TRANSACT.
See more at Google Scholar and DBLP