Suha Orhun Mutluergil
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2017–2023
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ESOP | Quorum Tree Abstractions of Consensus Protocols. | Berk irisci, Constantin Enea, Suha Orhun Mutluergil |
| 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 |
| 2020 | PLDI | Inductive sequentialization of asynchronous programs. | Bernhard Kragl, Constantin Enea, Thomas A. Henzinger, Suha Orhun Mutluergil, Shaz Qadeer |
| 2019 | PLDI | Replication-aware linearizability. | Chao Wang, Constantin Enea, Suha Orhun Mutluergil, Gustavo Petri |
| 2018 | CAV | Reasoning About TSO Programs Using Reduction and Abstraction. | Ahmed Bouajjani, Constantin Enea, Suha Orhun Mutluergil, Serdar Tasiran |
| 2017 | CAV | Proving Linearizability Using Forward Simulations. | Ahmed Bouajjani, Michael Emmi, Constantin Enea, Suha Orhun Mutluergil |