Suha Orhun Mutluergil

info

Please Note

<p>This page displays the records of the person named above and is not linked to a unique person identifier. This record may need to be merged to a profile.</p>

Book chapter (1)

Conference paper (1)

2 records found

Verification Tools for Transactional Programs

Book chapter (2015) - Adrian Cristal , Burcu Kulahcioglu Ozkan , Ernie Cohen , Gokcen Kestor , Ismail Kuru , Osman Unsal , Serdar Tasiran , Suha Orhun Mutluergil , Tayfun Elmas

Verifying programs under snapshot isolation and similar relaxed consistency models

Conference paper (2014) - Ismail Kuru , Burcu Kulahcioglu Ozkan , Suha Orhun Mutluergil , Serdar Tasiran , Tayfun Elmas , Ernie Cohen