research

Recent publications:

2024

  1. Model-guided Fuzzing of Distributed Systems
    Ege Berkay Gulcan, Burcu Kulahcioglu Ozkan, Rupak Majumdar, and Srinidhi Nagendra
    CoRR, 2024
    DOI PDF
  2. Generalized Concurrency Testing Tool for Distributed Systems
    Ege Berkay Gulcan, João Neto, and Burcu Kulahcioglu Ozkan
    In Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2024, Vienna, Austria, September 16-20, 2024, 2024
    DOI PDF
  3. Understanding Concurrency Bugs in Real-World Programs with Kotlin Coroutines
    Bob Brockbernd, Nikita Koval, Arie Deursen, and Burcu Kulahcioglu Ozkan
    In 38th European Conference on Object-Oriented Programming, ECOOP 2024, September 16-20, 2024, Vienna, Austria, 2024
    DOI PDF
  4. Checking Transaction Isolation Violations Using Graph Queries
    Stefania Dumbrava, Zhao Jin, Burcu Kulahcioglu Ozkan, and Jingxuan Qiu
    In Graph Transformation - 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings, 2024
    DOI PDF
  5. GRAIL: Checking Transaction Isolation Violations with Graph Queries
    Stefania Dumbrava, Zhao Jin, Burcu Kulahcioglu Ozkan, and Jingxuan Qiu
    In Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2024, Lisbon, Portugal, April 14-20, 2024, 2024
    DOI PDF

2023

  1. Randomized Testing of Byzantine Fault Tolerant Algorithms
    Levin N. Winter, Florena Buse, Daan Graaf, Klaus Gleissenthall, and Burcu Kulahcioglu Ozkan
    Proc. ACM Program. Lang., 2023
    DOI PDF
  2. Evolutionary Approach for Concurrency Testing of Ripple Blockchain Consensus Algorithm
    Martijn Meerten, Burcu Kulahcioglu Ozkan, and Annibale Panichella
    In 45th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, SEIP@ICSE 2023, Melbourne, Australia, May 14-20, 2023, 2023
    DOI PDF
  3. Probabilistic Concurrency Testing for Weak Memory Programs
    Mingyu Gao, Soham Chakraborty, and Burcu Kulahcioglu Ozkan
    In 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, 2023
    DOI PDF
  4. Liveness Checking of the HotStuff Protocol Family
    Jérémie Decouchant, Burcu Kulahcioglu Ozkan, and Yanzhuo Zhou
    In 28th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2023, Singapore, October 24-27, 2023, 2023
    DOI PDF

The complete list of publications at DBLP.