Suha Orhun Mutluergil

Orcid: 0000-0002-0734-7969

According to our database1, Suha Orhun Mutluergil authored at least 12 papers between 2015 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Going Forward-Forward in Distributed Deep Learning.
CoRR, 2024

2023
A Pragmatic Approach to Stateful Partial Order Reduction.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2023

Quorum Tree Abstractions of Consensus Protocols.
Proceedings of the Programming Languages and Systems, 2023

2020
Inductive Sequentialization of Asynchronous Programs (Evaluated Artifact).
Dataset, April, 2020

Inductive sequentialization of asynchronous programs.
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Root Causing Linearizability Violations.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

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

Replication-aware linearizability.
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ı)
PhD thesis, 2018

Reasoning About TSO Programs Using Reduction and Abstraction.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017
Proving Linearizability Using Forward Simulations.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

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


  Loading...