Suha Orhun Mutluergil

According to our database, Suha Orhun Mutluergil authored at least 11 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

A Pragmatic Approach to Stateful Partial Order Reduction.

Berk Çirisci, Constantin Enea, Azadeh Farzan, Suha Orhun Mutluergil

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2023

Quorum Tree Abstractions of Consensus Protocols.

Berk Çirisci, Constantin Enea, Suha Orhun Mutluergil

Proceedings of the Programming Languages and Systems, 2023

2020

Inductive Sequentialization of Asynchronous Programs (Evaluated Artifact).

Bernhard Kragl, Constantin Enea, Thomas A. Henzinger, Suha Orhun Mutluergil, Shaz Qadeer

Dataset, April, 2020

Inductive sequentialization of asynchronous programs.

Bernhard Kragl, Constantin Enea, Thomas A. Henzinger, Suha Orhun Mutluergil, Shaz Qadeer

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Root Causing Linearizability Violations.

Berk Çirisci, Constantin Enea, Azadeh Farzan, Suha Orhun Mutluergil

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

A mechanized refinement proof of the Chase-Lev deque using a proof system.

Suha Orhun Mutluergil, Serdar Tasiran

Computing, 2019

Replication-aware linearizability.

Chao Wang, Constantin Enea, Suha Orhun Mutluergil, Gustavo Petri

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2018

Verification of concurrent programs via refinement proofs (İyileştirme ispatları ile koşut-zamanlı programların doğrulanması)

Suha Orhun Mutluergil

PhD thesis, 2018

Reasoning About TSO Programs Using Reduction and Abstraction.

Ahmed Bouajjani, Constantin Enea, Suha Orhun Mutluergil, Serdar Tasiran

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

Proving Linearizability Using Forward Simulations.

Ahmed Bouajjani, Michael Emmi, Constantin Enea, Suha Orhun Mutluergil

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2015

Verification Tools for Transactional Programs.

Adrián Cristal, Burcu Kulahcioglu Ozkan, Ernie Cohen, Gokcen Kestor, Ismail Kuru, Osman S. Unsal, Serdar Tasiran, Suha Orhun Mutluergil, Tayfun Elmas

Proceedings of the Transactional Memory. Foundations, Algorithms, Tools, and Applications, 2015