Suha Orhun Mutluergil

Identifiers

No identifiers captured yet.

Papers (3)

1. Replication-Aware Linearizability cs.PL · 2019 · author #2
2. Reasoning About TSO Programs Using Reduction and Abstraction cs.LO · 2018 · author #3
3. Proving linearizability using forward simulations cs.PL · 2017 · author #4

Mentions

No mention provenance yet.

Frequent Coauthors

• Constantin Enea 3 shared papers
• Ahmed Bouajjani 2 shared papers
• Chao Wang 1 shared papers
• Gustavo Petri 1 shared papers
• Michael Emmi 1 shared papers
• Serdar Tasiran 1 shared papers