I am a postdoctoral researcher at Max Planck Institute for Software Systems, working with Rupak Majumdar. I got my PhD from Koc University, Reserach Center for Multicore Engineering in 2016, under the supervision of Serdar Tasiran.
My research interests involve:
- Software testing and verification
- Concurrent, event-driven and distributed systems
- Theoretical foundations of computer science
Consistency-Aware Scheduling for Weakly Consistent Programs
Maryam Dabaghchian, Zvonimir Rakamaric, Burcu Kulahcioglu Ozkan, Erdal Mutlu, Serdar Tasiran.
Java Pathfinder Workshop JPF 2017.
Verifying Robustness of Event-Driven Asynchronous Programs against Concurrency
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Burcu Kulahcioglu Ozkan, Serdar Tasiran.
26th European Symposium on Programming ESOP'17.
Systematic Asynchrony Bug Exploration for Android Apps.
Burcu Kulahcioglu Ozkan, Michael Emmi, Serdar Tasiran.
27th Int. Conference on Computer Aided Verification, CAVí15.
Verification Tools for Transactional Programs. (Book chapter)
Adrian Cristal, Burcu Kulahcioglu Ozkan, Ernie Cohen, Gokcen Kestor, Ismail Kuru, Osman Unsal, Serdar Tasiran, Suha Orhun Mutluergil, Tayfun Elmas.
Transactional Memory. Foundations, Algorithms, Tools, and Applications, Springer, 2015.
Exploiting Synchronization in the Analysis of Shared-Memory Asynchronous Programs.
Michael Emmi, Burcu Kulahcioglu Ozkan, Serdar Tasiran.
SPIN 2014: International SPIN Symposium on Model Checking of Software, July 2014.
- Towards verifying eventually consistent applications.
Burcu Kulahcioglu Ozkan, Erdal Mutlu, Serdar Tasiran.
PaPEC '14 Proceedings of the First Workshop on Principles and Practice of Eventual Consistency, April 2014.
- Verifying Programs under Snapshot Isolation and Similar Relaxed Consistency Models.
Ismail Kuru, Burcu Kulahcioglu Ozkan, Suha Orhun Mutluergil, Serdar Tasiran, Tayfun Elmas, Ernie Cohen.
9th ACM SIGPLAN Workshop on Transactional Computing, March, 2014