Suha Orhun Mutluergil

18 papers A* 2A 1B 1Journal 7Unranked 5
YearRankTypeTitle / Venue / Authors
2025 — conf
Going Forward-Forward in Distributed Deep Learning.
NETYS
Ege Aktemur, Ege Zorlutuna, Kaan Bilgili, Tacettin Emre Bok, Berrin Yanikoglu, Suha Orhun Mutluergil
2024 J jnl
Going Forward-Forward in Distributed Deep Learning.
CoRR
Ege Aktemur, Ege Zorlutuna, Kaan Bilgili, Tacettin Emre Bok, Berrin Yanikoglu, Suha Orhun Mutluergil
2023 B conf
A Pragmatic Approach to Stateful Partial Order Reduction.
VMCAI
Berk Çirisci, Constantin Enea, Azadeh Farzan, Suha Orhun Mutluergil
2023 A conf
Quorum Tree Abstractions of Consensus Protocols.
ESOP
Berk Çirisci, Constantin Enea, Suha Orhun Mutluergil
2023 J jnl
Quorum Tree Abstractions of Consensus Protocols.
CoRR
Berk Çirisci, Constantin Enea, Suha Orhun Mutluergil
2022 J jnl
A Pragmatic Approach to Stateful Partial Order Reduction.
CoRR
Berk Çirisci, Constantin Enea, Azadeh Farzan, Suha Orhun Mutluergil
2020 A* conf
Inductive sequentialization of asynchronous programs.
PLDI
Bernhard Kragl, Constantin Enea, Thomas A. Henzinger, Suha Orhun Mutluergil, Shaz Qadeer
2020 — conf
Root Causing Linearizability Violations.
CAV (1)
Berk Çirisci, Constantin Enea, Azadeh Farzan, Suha Orhun Mutluergil
2019 J jnl
A mechanized refinement proof of the Chase-Lev deque using a proof system.
Computing
Suha Orhun Mutluergil, Serdar Tasiran
2019 J jnl
Replication-Aware Linearizability.
CoRR
Constantin Enea, Suha Orhun Mutluergil, Gustavo Petri, Chao Wang
2019 A* conf
Replication-aware linearizability.
PLDI
Chao Wang, Constantin Enea, Suha Orhun Mutluergil, Gustavo Petri
2018 — conf
Reasoning About TSO Programs Using Reduction and Abstraction.
CAV (2)
Ahmed Bouajjani, Constantin Enea, Suha Orhun Mutluergil, Serdar Tasiran
2018 J jnl
Reasoning About TSO Programs Using Reduction and Abstraction.
CoRR
Ahmed Bouajjani, Constantin Enea, Suha Orhun Mutluergil, Serdar Tasiran
2018 — —
Verification of concurrent programs via refinement proofs (İyileştirme ispatları ile koşut-zamanlı programların doğrulanması)
Suha Orhun Mutluergil
2017 — conf
Proving Linearizability Using Forward Simulations.
CAV (2)
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Suha Orhun Mutluergil
2017 J jnl
Proving linearizability using forward simulations.
CoRR
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Suha Orhun Mutluergil
2016 — conf
A Mechanized Refinement Proof of the Chase-Lev Deque Using a Proof System.
NETYS
Suha Orhun Mutluergil, Serdar Tasiran
2015 — ch.
Verification Tools for Transactional Programs.
Transactional Memory
Adrián Cristal, Burcu Kulahcioglu Ozkan, Ernie Cohen, Gokcen Kestor, Ismail Kuru, Osman S. Unsal, Serdar Tasiran, Suha Orhun Mutluergil, Tayfun Elmas