Berk Çirisci

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 11

Top Topics

Top Venues

Publications

Hünkar Can Tunç, Ameya Prashant Deshmukh, Berk Çirisci, Constantin Enea, Andreas Pavlogiannis
CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis. ASPLOS (3) (2024)
Hünkar Can Tunç, Ameya Prashant Deshmukh, Berk Çirisci, Constantin Enea, Andreas Pavlogiannis
CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis. CoRR (2024)
Sedick Baker Effendi, Berk Çirisci, Rajdeep Mukherjee, Hoan Anh Nguyen, Omer Tripp
A Language-agnostic Framework for Mining Static Analysis Rules from Code Changes. ICSE-SEIP (2023)
Berk Çirisci, Constantin Enea, Suha Orhun Mutluergil
Quorum Tree Abstractions of Consensus Protocols. CoRR (2023)
Berk Çirisci, Constantin Enea, Suha Orhun Mutluergil
Quorum Tree Abstractions of Consensus Protocols. ESOP (2023)
Berk Çirisci, Constantin Enea, Azadeh Farzan, Suha Orhun Mutluergil
A Pragmatic Approach to Stateful Partial Order Reduction. VMCAI (2023)
Berk Çirisci, Constantin Enea, Azadeh Farzan, Suha Orhun Mutluergil
A Pragmatic Approach to Stateful Partial Order Reduction. CoRR (2022)
Berk Çirisci, Constantin Enea, Azadeh Farzan, Suha Orhun Mutluergil
Root Causing Linearizability Violations. CAV (1) (2020)
Berk Çirisci, M. Yusa Emek, Ege Sorguç, Kamer Kaya, Hüsnü Yenigün
Using Synchronizing Heuristics to Construct Homing Sequences. MODELSWARD (2019)
Berk Çirisci, Muhammed Kerem Kahraman, Cagri Uluc Yildirimoglu, Kamer Kaya, Hüsnü Yenigün
Using Structure of Automata for Faster Synchronizing Heuristics. MODELSWARD (2018)
Berk Çirisci, Baris Sevilmis, Emre Yasin Sivri, Poyraz Kivanç Karaçam, Kamer Kaya, Hüsnü Yenigün
Synchronizing Heuristics for Weakly Connected Automata with Various Topologies. MODELSWARD (Revised Selected Papers) (2018)