Burcu Kulahcioglu Ozkan
Cited by
Cited by
Randomized testing of distributed systems with probabilistic guarantees
BK Ozkan, R Majumdar, F Niksic, MT Befrouei, G Weissenbacher
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-28, 2018
Trace aware random testing for distributed systems
BK Ozkan, R Majumdar, S Oraee
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019
Verifying robustness of event-driven asynchronous programs against concurrency
A Bouajjani, M Emmi, C Enea, BK Ozkan, S Tasiran
Programming Languages and Systems: 26th European Symposium on Programming …, 2017
Systematic asynchrony bug exploration for android apps
BK Ozkan, M Emmi, S Tasiran
International Conference on Computer Aided Verification, 455-461, 2015
Debugar: Mixed dimensional displays for immersive debugging of distributed systems
P Reipschläger, BK Ozkan, AS Mathur, S Gumhold, R Majumdar, ...
Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing …, 2018
Testing consensus implementations using communication closure
C Drăgoi, C Enea, BK Ozkan, R Majumdar, F Niksic
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-29, 2020
Verifying programs under snapshot isolation and similar relaxed consistency models
I Kuru, BK Ozkan, SO Mutluergil, S Tasiran, T Elmas, E Cohen
Proceedings of the 9th ACM SIGPLAN Workshop on Transactional Computing …, 2014
Utilization of timed automata as a verification tool for security protocols
A Koltuksuz, B Kulahcioglu, M Ozkan
2010 Fourth International Conference on Secure Software Integration and …, 2010
Idea: an immersive debugger for actors
AS Mathur, BK Ozkan, R Majumdar
Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang, 1-12, 2018
Using Control Network Programming in Teaching Randomization
K Kratchanov, E Golemanova, T Golemanov, B Külahçıoğlu
Proc. Int. Conf. Electronics, Information and Communication Engineering …, 2012
Checking linearizability using hitting families
BK Ozkan, R Majumdar, F Niksic
Proceedings of the 24th Symposium on Principles and Practice of Parallel …, 2019
Using control network programming in teaching nondeterminism
BK Kostadin Kratchanov, Emilia Golemanova, Tzanko Golemanov
Proceedings of the 13th International Conference on Computer Systems and …, 2012
Exploiting synchronization in the analysis of shared-memory asynchronous programs
M Emmi, BK Ozkan, S Tasiran
Proceedings of the 2014 International SPIN Symposium on Model Checking of …, 2014
Randomized testing of byzantine fault tolerant algorithms
LN Winter, F Buse, D De Graaf, K Von Gleissenthall, B Kulahcioglu Ozkan
Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 757-788, 2023
Probabilistic Concurrency Testing for Weak Memory Programs
M Gao, S Chakraborty, B Kulahcioglu Ozkan
Proceedings of the 28th ACM International Conference on Architectural …, 2023
Verifying Weakly Consistent Transactional Programs using Symbolic Execution
BK Ozkan
International Conference on Networked Systems (NETYS), 2020
Verification tools for transactional programs
A Cristal, BK Ozkan, E Cohen, G Kestor, I Kuru, O Unsal, S Tasiran, ...
Transactional Memory. Foundations, Algorithms, Tools, and Applications: COST …, 2015
Evolutionary Approach for Concurrency Testing of Ripple Blockchain Consensus Algorithm
M van Meerten, B Kulahcioglu Ozkan, A Panichella
45th International Conference on Software Engineering: SEIP-Software …, 2022
Consistency-aware scheduling for weakly consistent programs
M Dabaghchian, Z Rakamaric, BK Ozkan, E Mutlu, S Tasiran
ACM SIGSOFT Software Engineering Notes 42 (4), 1-5, 2018
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015
BK Ozkan, M Emmi, S Tasiran
Proceedings, Part I, chapter Systematic Asynchrony Bug Exploration for …, 0
The system can't perform the operation now. Try again later.
Articles 1–20