Author of the publication

Verification Tools for Transactional Programs.

, , , , , , , , and . Transactional Memory, volume 8913 of Lecture Notes in Computer Science, Springer, (2015)

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.

No persons found for author name Mutluergil, Suha Orhun
add a person with the name Mutluergil, Suha Orhun
 

Other publications of authors with the same name

A mechanized refinement proof of the Chase-Lev deque using a proof system., and . Computing, 101 (1): 59-74 (2019)Proving Linearizability Using Forward Simulations., , , and . CAV (2), volume 10427 of Lecture Notes in Computer Science, page 542-563. Springer, (2017)Verification Tools for Transactional Programs., , , , , , , , and . Transactional Memory, volume 8913 of Lecture Notes in Computer Science, Springer, (2015)Replication-aware linearizability., , , and . PLDI, page 980-993. ACM, (2019)Reasoning About TSO Programs Using Reduction and Abstraction., , , and . CAV (2), volume 10982 of Lecture Notes in Computer Science, page 336-353. Springer, (2018)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)