Research

My research aims to improve the reliability of software by building program analysis, testing and verification techniques. 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.

My goal is to advance the state of the art of software reliability techniques for modern programming models and software systems. To this end, my research spans software engineering, formal methods, programming models and languages, concurrent programming, and distributed systems.

Publications

Testing Consensus Implementations Using Communication Closure

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.

Trace Aware Random Testing for Distributed Systems

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.

Checking Linearizability Using Hitting Families

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).

Randomized Testing of Distributed Systems with Probabilistic Guarantees

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.

iDeA: An Immersive Debugger for Actors

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.

DebugAR: Mixed Dimensional Displays for Immersive Debugging of Distributed Systems

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.

Systematic Asynchrony Bug Exploration for Android Apps

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).

Verification Tools for Transactional Programs

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.

Towards Verifying Eventually Consistent Applications

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).

Verifying Programs under Snapshot Isolation and Similar Relaxed Consistency Models

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.