Berk irisci
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2018–2024
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ASPLOS | CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis. | Hnkar Can Tun, Ameya Prashant Deshmukh, Berk irisci, Constantin Enea, Andreas Pavlogiannis |
| 2023 | ESOP | Quorum Tree Abstractions of Consensus Protocols. | Berk irisci, Constantin Enea, Suha Orhun Mutluergil |
| 2023 | ICSE | A Language-agnostic Framework for Mining Static Analysis Rules from Code Changes. | Sedick Baker Effendi, Berk irisci, Rajdeep Mukherjee, Hoan Anh Nguyen, Omer Tripp |
| 2023 | VMCAI | A Pragmatic Approach to Stateful Partial Order Reduction. | Berk irisci, Constantin Enea, Azadeh Farzan, Suha Orhun Mutluergil |
| 2020 | CAV | Root Causing Linearizability Violations. | Berk irisci, Constantin Enea, Azadeh Farzan, Suha Orhun Mutluergil |
| 2019 | MODELSWARD | Using Synchronizing Heuristics to Construct Homing Sequences. | Berk irisci, M. Yusa Emek, Ege Sorgu, Kamer Kaya, Hsn Yenign |
| 2018 | MODELSWARD | Using Structure of Automata for Faster Synchronizing Heuristics. | Berk irisci, Muhammed Kerem Kahraman, Cagri Uluc Yildirimoglu, Kamer Kaya, Hsn Yenign |
| 2018 | MODELSWARD | Synchronizing Heuristics for Weakly Connected Automata with Various Topologies. | Berk irisci, Baris Sevilmis, Emre Yasin Sivri, Poyraz Kivan Karaam, Kamer Kaya, Hsn Yenign |