Serdar Tasiran | TU Delft Repository

Library

local_library Home Repository

ST

Serdar Tasiran

Book chapter (1)

Conference paper (5)

Journal article (1)

7 records found

1

Consistency-Aware Scheduling for Weakly Consistent Programs

Journal article (2018) - Maryam Dabaghchian (author) , Zvonimir Rakamaric (author) , Burcu Kulahcioglu Kulahcioglu Ozkan (author) , Erdal Mutlu (author) , Serdar Tasiran (author)

Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency

Conference paper (2017) - Ahmed Bouajjani (author) , Michael Emmi (author) , Constantin Enea (author) , Burcu Kulahcioglu Kulahcioglu Ozkan (author) , Serdar Tasiran (author)

Verification Tools for Transactional Programs

Book chapter (2015) - Adrian Cristal (author) , Burcu Özkan (author) , Ernie Cohen (author) , Gokcen Kestor (author) , Ismail Kuru (author) , Osman S. Unsal (author) , Serdar Tasiran (author) , Suha Orhun Mutluergil (author) , Tayfun Elmas (author)

Systematic Asynchrony Bug Exploration for Android Apps

Conference paper (2015) - Burcu Kulahcioglu Özkan (author) , Michael Emmi (author) , Serdar Tasiran (author)

Exploiting synchronization in the analysis of shared-memory asynchronous programs

Conference paper (2014) - Michael Emmi (author) , Burcu Kulahcioglu Özkan (author) , Serdar Tasiran (author)

Towards verifying eventually consistent applications

Conference paper (2014) - Burcu Kulahcioglu Özkan (author) , Erdal Mutlu (author) , Serdar Tasiran (author)

Verifying programs under snapshot isolation and similar relaxed consistency models

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