Berk Çirisci

According to our database, Berk Çirisci authored at least 9 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2023

A Pragmatic Approach to Stateful Partial Order Reduction.

Berk Çirisci, Constantin Enea, Azadeh Farzan, Suha Orhun Mutluergil

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 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

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2023

Quorum Tree Abstractions of Consensus Protocols.

Berk Çirisci, Constantin Enea, Suha Orhun Mutluergil

Proceedings of the Programming Languages and Systems, 2023

2022

Formal verification of concurrent data structures. (Vérification formelle de structures de données concurrentes).

Berk Çirisci

PhD thesis, 2022

2020

Root Causing Linearizability Violations.

Berk Çirisci, Constantin Enea, Azadeh Farzan, Suha Orhun Mutluergil

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Using Synchronizing Heuristics to Construct Homing Sequences.

Berk Çirisci, M. Yusa Emek, Ege Sorguç, Kamer Kaya, Hüsnü Yenigün

Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019

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

Proceedings of the Model-Driven Engineering and Software Development, 2018

Using Structure of Automata for Faster Synchronizing Heuristics.

Berk Çirisci, Muhammed Kerem Kahraman, Cagri Uluc Yildirimoglu, Kamer Kaya, Hüsnü Yenigün

Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018