Berk Çirisci

15 papers A* 1A 1B 1C 2Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
UTFix: Change Aware Unit Test Repairing using LLM.
CoRR
Shanto Rahman, Sachit Kuhar, Berk Çirisci, Pranav Garg, Shiqi Wang, Xiaofei Ma, Anoop Deoras, Baishakhi Ray
2025 J jnl
UTFix: Change Aware Unit Test Repairing using LLM.
Proc. ACM Program. Lang.
Shanto Rahman, Sachit Kuhar, Berk Çirisci, Pranav Garg, Shiqi Wang, Xiaofei Ma, Anoop Deoras, Baishakhi Ray
2024 — conf
CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis.
ASPLOS (3)
Hünkar Can Tunç, Ameya Prashant Deshmukh, Berk Çirisci, Constantin Enea, Andreas Pavlogiannis
2024 J jnl
CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis.
CoRR
Hünkar Can Tunç, Ameya Prashant Deshmukh, Berk Çirisci, Constantin Enea, Andreas Pavlogiannis
2024 A* conf
Understanding Developer-Analyzer Interactions in Code Reviews.
ASE
Martin Schäf, Berk Çirisci, Linghui Luo, Muhammad Numair Mansur, Omer Tripp, Daniel Sanchez, Qiang Zhou, Muhammad Bilal Zafar
2023 — conf
A Language-agnostic Framework for Mining Static Analysis Rules from Code Changes.
ICSE-SEIP
Sedick Baker Effendi, Berk Çirisci, Rajdeep Mukherjee, Hoan Anh Nguyen, Omer Tripp
2023 B conf
A Pragmatic Approach to Stateful Partial Order Reduction.
VMCAI
Berk Çirisci, Constantin Enea, Azadeh Farzan, Suha Orhun Mutluergil
2023 A conf
Quorum Tree Abstractions of Consensus Protocols.
ESOP
Berk Çirisci, Constantin Enea, Suha Orhun Mutluergil
2023 J jnl
Quorum Tree Abstractions of Consensus Protocols.
CoRR
Berk Çirisci, Constantin Enea, Suha Orhun Mutluergil
2022 J jnl
A Pragmatic Approach to Stateful Partial Order Reduction.
CoRR
Berk Çirisci, Constantin Enea, Azadeh Farzan, Suha Orhun Mutluergil
2022 — —
Formal verification of concurrent data structures. (Vérification formelle de structures de données concurrentes).
Berk Çirisci
2020 — conf
Root Causing Linearizability Violations.
CAV (1)
Berk Çirisci, Constantin Enea, Azadeh Farzan, Suha Orhun Mutluergil
2019 C conf
Using Synchronizing Heuristics to Construct Homing Sequences.
MODELSWARD
Berk Çirisci, M. Yusa Emek, Ege Sorguç, Kamer Kaya, Hüsnü Yenigün
2018 — conf
Synchronizing Heuristics for Weakly Connected Automata with Various Topologies.
MODELSWARD (Revised Selected Papers)
Berk Çirisci, Baris Sevilmis, Emre Yasin Sivri, Poyraz Kivanç Karaçam, Kamer Kaya, Hüsnü Yenigün
2018 C conf
Using Structure of Automata for Faster Synchronizing Heuristics.
MODELSWARD
Berk Çirisci, Muhammed Kerem Kahraman, Cagri Uluc Yildirimoglu, Kamer Kaya, Hüsnü Yenigün