( en | de | ru )

 

Disambiguation of "Mutluergil, Suha Orhun"

Author of the publication

copydeleteadd this publication to your clipboard
Inductive sequentialization of asynchronous programs.

, , , , and . PLDI, page 227-242. ACM, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Süha Cetin

Oktay Tekin Orhun

Bambang Suharno

Süha Dasdelen

Süha Demirakça

 

Other publications of authors with the same name

A Pragmatic Approach to Stateful Partial Order Reduction., , , and . VMCAI, volume 13881 of Lecture Notes in Computer Science, page 129-154. Springer, (2023)Going Forward-Forward in Distributed Deep Learning., , , , , and . CoRR, (2024)Root Causing Linearizability Violations., , , and . CAV (1), volume 12224 of Lecture Notes in Computer Science, page 350-375. Springer, (2020)Verification Tools for Transactional Programs., , , , , , , , and . Transactional Memory, volume 8913 of Lecture Notes in Computer Science, Springer, (2015)A Mechanized Refinement Proof of the Chase-Lev Deque Using a Proof System., and . NETYS, volume 9944 of Lecture Notes in Computer Science, page 280-294. Springer, (2016)Quorum Tree Abstractions of Consensus Protocols., , and . ESOP, volume 13990 of Lecture Notes in Computer Science, page 337-362. Springer, (2023)Inductive sequentialization of asynchronous programs., , , , and . PLDI, page 227-242. ACM, (2020)Verification of concurrent programs via refinement proofs (İyileştirme ispatları ile koşut-zamanlı programların doğrulanması). Koç University, Turkey, (2018)Replication-aware linearizability., , , and . PLDI, page 980-993. ACM, (2019)