Suha Orhun Mutluergil

Most-cited papers

Inductive sequentialization of asynchronous programs
Bernhard Kragl, C. Enea, T. Henzinger, Suha Orhun Mutluergil +1 more
2020ACM-SIGPLAN Symposium on Programming Language Design and Implementation38 citations Open access
Semantic Scholar
Proving Linearizability Using Forward Simulations
A. Bouajjani, M. Emmi, C. Enea, Suha Orhun Mutluergil
2017International Conference on Computer Aided Verification36 citations
Semantic Scholar
Replication-aware linearizability
Chao Wang, C. Enea, Suha Orhun Mutluergil, G. Petri
2019ACM-SIGPLAN Symposium on Programming Language Design and Implementation22 citations Open access
Semantic Scholar
Reasoning About TSO Programs Using Reduction and Abstraction
A. Bouajjani, C. Enea, Suha Orhun Mutluergil, S. Tasiran
2018International Conference on Computer Aided Verification16 citations Open access
Semantic Scholar
Verifying Programs under Snapshot Isolation and Similar Relaxed Consistency Models
Ismail Kuru, B. Ozkan, Suha Orhun Mutluergil, S. Tasiran +2 more
20149 citations
Semantic Scholar
A mechanized refinement proof of the Chase–Lev deque using a proof system
Suha Orhun Mutluergil, S. Tasiran
2018Computing8 citations
Semantic Scholar
Root Causing Linearizability Violations
Berk Çirisci, C. Enea, Azadeh Farzan, Suha Orhun Mutluergil
2020International Conference on Computer Aided Verification6 citations Open access
Semantic Scholar
Verification Tools for Transactional Programs
A. Cristal, B. Ozkan, Ernie Cohen, Gokcen Kestor +5 more
2015Transactional Memory6 citations
Semantic Scholar
A Pragmatic Approach to Stateful Partial Order Reduction
Berk Çirisci, C. Enea, Azadeh Farzan, Suha Orhun Mutluergil
2022International Conference on Verification, Model Checking and Abstract Interpretation5 citations Open access
Semantic Scholar
Quorum Tree Abstractions of Consensus Protocols
Berk Çirisci, C. Enea, Suha Orhun Mutluergil
2023European Symposium on Programming4 citations Open access
Semantic Scholar
The anatomy of a Turkish speech recognition system
Cem Aksoylar, Suha Orhun Mutluergil, Hakan Erdogan
20092009 IEEE 17th Signal Processing and Communications Applications Conference4 citations
Semantic Scholar
Going Forward-Forward in Distributed Deep Learning
Ege Aktemur, Ege Zorlutuna, Kaan Bilgili, Tacettin Emre Bok +2 more
2024International Conference on Networked Systems2 citations
Semantic Scholar
Combining Axiomatic Models for Refinement Proofs
Suha Orhun Mutluergil, Alperen Dogan
2026arXiv.org0 citations
Semantic Scholar
Verification of concurrent programs via refinement proofs (İyileştirme ispatları ile koşut-zamanlı programların doğrulanması)
Suha Orhun Mutluergil
20180 citations
Semantic Scholar
Applications of heuristic search on phylogeny reconstruction problems
Suha Orhun Mutluergil
20120 citations
Semantic Scholar