Suha Orhun Mutluergil

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 15

Top Topics

Intuitionistic Logic

Forward And Backward

Hardware Designs

Data Replication

Top Venues

Publications

Ege Aktemur, Ege Zorlutuna, Kaan Bilgili, Tacettin Emre Bok, Berrin Yanikoglu, Suha Orhun Mutluergil
Going Forward-Forward in Distributed Deep Learning. CoRR (2024)
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)
Bernhard Kragl, Constantin Enea, Thomas A. Henzinger, Suha Orhun Mutluergil, Shaz Qadeer
Inductive sequentialization of asynchronous programs. PLDI (2020)
Berk Çirisci, Constantin Enea, Azadeh Farzan, Suha Orhun Mutluergil
Root Causing Linearizability Violations. CAV (1) (2020)
Suha Orhun Mutluergil, Serdar Tasiran
A mechanized refinement proof of the Chase-Lev deque using a proof system. Computing 101 (1) (2019)
Constantin Enea, Suha Orhun Mutluergil, Gustavo Petri, Chao Wang
Replication-Aware Linearizability. CoRR (2019)
Chao Wang, Constantin Enea, Suha Orhun Mutluergil, Gustavo Petri
Replication-aware linearizability. PLDI (2019)
Ahmed Bouajjani, Constantin Enea, Suha Orhun Mutluergil, Serdar Tasiran
Reasoning About TSO Programs Using Reduction and Abstraction. CAV (2) (2018)
Ahmed Bouajjani, Constantin Enea, Suha Orhun Mutluergil, Serdar Tasiran
Reasoning About TSO Programs Using Reduction and Abstraction. CoRR (2018)
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Suha Orhun Mutluergil
Proving Linearizability Using Forward Simulations. CAV (2) (2017)
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Suha Orhun Mutluergil
Proving linearizability using forward simulations. CoRR (2017)
Suha Orhun Mutluergil, Serdar Tasiran
A Mechanized Refinement Proof of the Chase-Lev Deque Using a Proof System. NETYS (2016)