Using Structure of Automata for Faster Synchronizing Heuristics. - Berk Çirisci; Muhammed Kerem Kahraman; Cagri Uluc Yildirimoglu; Kamer Kaya; Hüsnü Yenigün (MODELSWARD, 2018)

Synchronizing Heuristics for Weakly Connected Automata with Various Topologies. - Berk Çirisci; Baris Sevilmis; Emre Yasin Sivri; Poyraz Kivanç Karaçam; Kamer Kaya; Hüsnü Yenigün (MODELSWARD (Revised Selected Papers), 2018)

Using Synchronizing Heuristics to Construct Homing Sequences. - Berk Çirisci; M. Yusa Emek; Ege Sorguç; Kamer Kaya; Hüsnü Yenigün (MODELSWARD, 2019)

Root Causing Linearizability Violations. - Berk Çirisci; Constantin Enea; Azadeh Farzan; Suha Orhun Mutluergil (CAV (1), 2020)

Formal verification of concurrent data structures. (Vérification formelle de structures de données concurrentes). - Berk Çirisci (2022)

Quorum Tree Abstractions of Consensus Protocols. - Berk Çirisci; Constantin Enea; Suha Orhun Mutluergil (ESOP, 2023)

A Language-agnostic Framework for Mining Static Analysis Rules from Code Changes. - Sedick Baker Effendi; Berk Çirisci; Rajdeep Mukherjee; Hoan Anh Nguyen; Omer Tripp (ICSE-SEIP, 2023)

A Pragmatic Approach to Stateful Partial Order Reduction. - Berk Çirisci; Constantin Enea; Azadeh Farzan; Suha Orhun Mutluergil (VMCAI, 2023)

CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis. - Hünkar Can Tunç; Ameya Prashant Deshmukh; Berk Çirisci; Constantin Enea; Andreas Pavlogiannis (ASPLOS (3), 2024)

Understanding Developer-Analyzer Interactions in Code Reviews. - Martin Schäf; Berk Çirisci; Linghui Luo; Muhammad Numair Mansur; Omer Tripp; Daniel Sanchez; Qiang Zhou; Muhammad Bilal Zafar (ASE, 2024)

UTFix: Change Aware Unit Test Repairing using LLM. - Shanto Rahman; Sachit Kuhar; Berk Çirisci; Pranav Garg 001; Shiqi Wang 002; Xiaofei Ma 001; Anoop Deoras; Baishakhi Ray (Proc. ACM Program. Lang., 2025)