Trace Aware Random Testing for Distributed Systems (pdf)
Burcu Kulahcioglu Ozkan, Rupak Majumdar, Simin Oraee
Proceedings of the ACM on Programming Languages (PACMPL), volume 3, number OOPSLA, 2019.
Checking Linearizability Using Hitting Families (pdf)
Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic
24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP, 2019
Randomized Testing of Distributed Systems with Probabilistic Guarantees (pdf)
Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic, Mitra Tabaei Befrouei, Georg Weissenbacher
Proceedings of the ACM on Programming Languages (PACMPL), volume 2, number OOPSLA, 2018.
(Recipient of the Distinguished Paper Award)
iDeA: An Immersive Debugger for Actors
Aman Shankar Mathur, Burcu Kulahcioglu Ozkan, Rupak Majumdar.
17th Erlang Workshop, 2018.
DebugAR: Mixed Dimensional Displays for Immersive Debugging of Distributed Systems (extended abstract)
Patrick Reipschläger, Burcu Kulahcioglu Ozkan, Aman Shankar Mathur, Stefan Gumhold, Rupak Majumdar, Raimund Dachselt
CHI Conference on Human Factors in Computing Systems Extended Abstracts, 2018.
Consistency-Aware Scheduling for Weakly Consistent Programs
Maryam Dabaghchian, Zvonimir Rakamaric, Burcu Kulahcioglu Ozkan, Erdal Mutlu, Serdar Tasiran.
ACM SIGSOFT Software Engineering Notes 42(4): 1-5, 2017.
Verifying Robustness of Event-Driven Asynchronous Programs against Concurrency (pdf)
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Burcu Kulahcioglu Ozkan, Serdar Tasiran.
26th European Symposium on Programming (ESOP), 2017.
Systematic Asynchrony Bug Exploration for Android Apps (pdf) (slides)
Burcu Kulahcioglu Ozkan, Michael Emmi, Serdar Tasiran.
27th Int. Conference on Computer Aided Verification (CAV), 2015.
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 (pdf)
Michael Emmi, Burcu Kulahcioglu Ozkan, Serdar Tasiran.
International SPIN Symposium on Model Checking of Software (SPIN), 2014.
- Towards Verifying Eventually Consistent Applications (pdf)
Burcu Kulahcioglu Ozkan, Erdal Mutlu, Serdar Tasiran.
Proceedings of the First Workshop on Principles and Practice of Eventual Consistency (PaPEC), 2014.
- Verifying Programs under Snapshot Isolation and Similar Relaxed Consistency Models (pdf)
Ismail Kuru, Burcu Kulahcioglu Ozkan, Suha Orhun Mutluergil, Serdar Tasiran, Tayfun Elmas, Ernie Cohen.
9th ACM SIGPLAN Workshop on Transactional Computing, TRANSACT, 2014
- Using control network programming in teaching nondeterminism
Kostadin Kratchanov, Emilia Golemanova, Tzanko Golemanov, Burcu Kulahcioglu.
13th International Conference on Computer Systems and Technologies, CompSysTech 2012: 391-398
- Modeling Efficient Multi-chained Stream Signature Protocol Using Communicating Sequential Processes
Ahmet Koltuksuz, Murat Ozkan, Burcu Kulahcioglu.
Secure Software Integration and Reliability Improvement, SSIRI 2010: 54-61
- Utilization of Timed Automata as a Verification Tool for Security Protocols
Ahmet Koltuksuz, Burcu Kulahcioglu, Murat Ozkan.
Secure Software Integration and Reliability Improvement, SSIRI 2010: 86-93
PhD. Koc University, Istanbul, Turkey, 2016
Characterization and Verification of Correctness Criteria for Event Driven Asynchronous Programs
Supervisor: Serdar Tasiran
MSc. Izmir Institute of Technology, Izmir, Turkey, 2010
Utilization of Timed Automata as a Verification Tool for Security Protocols
Supervisor: Ahmet Koltuksuz
BSc. Yeditepe University, Istanbul, Turkey, 2007
Multiobjective Hyperheuristics for Data Clustering Problem
Supervisors: Emin Erkan Korkmaz, Ender Ozcan
Postdoctoral Researcher (Feb. 2017 - current)
Max Planck Institute for Software Systems, Kaiserslautern, Germany
Research and Teaching Assistant (Jul. 2012 - Sep. 2016)
College of Engineering, Koç University, Istanbul, Turkey
Research Intern (Mar. 2014 – Jul. 2014)
IMDEA Software Institute, Madrid, Spain
Research Intern (Jul. 2013 – Aug. 2013)
LIAFA, Université Paris Diderot, Paris, France
Research Intern (Jun. 2013 – Aug. 2013)
INRIA / Université Pierre et Marie Curie, Paris, France
Research and Teaching Assistant (Sep. 2010 – Jun. 2012)
Yasar University, Izmir, Turkey
Research and Teaching Assistant (Dec. 2007 – Aug. 2010)
Izmir Institute of Technology, Izmir, Turkey
Teaching Assistance Experience
Discrete Structures, Izmir Institute of Technology, Yasar University
Data Structures and Algorithms, Yasar University
Operating System Design, Izmir Institute of Technology, Koc University
Software Engineering, Yasar University, Koc University
Parallel Programming, Izmir Institute of Technology, Koc University
Reviewer for conferences:
PC Member, Int. Conf. on Computer Aided Verification (CAV'19)
AEC Member, Int. Conf. on The European COnference On Programming languages (ECOOP'19)
PC Member, Int. Conf. on Embedded Software (EMSOFT) Work In Progress, (EMSOFT'18)
AEC Member, Int. Conf. on Computer Aided Verification (CAV'18)
SubReviewer for conferences:
Int. Conf. on Runtime Verification (RV'15)
European Conf. on Computer Systems (EuroSys'15)
Int. Symp. on Formal Methods (FM'15)
Int. Conf. on Runtime Verification (RV'14)
Int. Conf. on Software Engineering and Formal Methods (SEFM'14)
India Software Engineering Conference (ISEC'14)
Int. Conf. on Runtime verification (RV'13)
Reviewer for journals:
Turkish Journal of Electrical Engineering and Computer Sciences, 2019
ACM Transactions on Programming Languages and Systems (TOPLAS), 2018
Special Issue on the Asia-Pacific Software Engineering Conference (APSEC), 2016
Formal Methods in System Design (FMSD), 2014
Software Testing, Verification and Reliability (STVR), 2013