Library
search
local_library
Repository
ST
Serdar Tasiran
View Pure Profile
Authored
7 records found
Exploiting synchronization in the analysis of shared-memory asynchronous programs
Conference paper -
Michael Emmi
,
Burcu Kulahcioglu Ozkan
,
Serdar Tasiran
Systematic Asynchrony Bug Exploration for Android Apps
Conference paper -
Burcu Kulahcioglu Ozkan
,
Michael Emmi
,
Serdar Tasiran
Towards verifying eventually consistent applications
Conference paper -
Burcu Kulahcioglu Ozkan
,
Erdal Mutlu
,
Serdar Tasiran
Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency
Conference paper -
Ahmed Bouajjani
,
Michael Emmi
,
Constantin Enea
,
Burcu Kulahcioglu Ozkan
,
Serdar Tasiran
Consistency-Aware Scheduling for Weakly Consistent Programs
Journal article -
Maryam Dabaghchian
,
Zvonimir Rakamaric
,
Burcu Kulahcioglu Ozkan
,
Erdal Mutlu
,
Serdar Tasiran
Verification Tools for Transactional Programs
Book chapter -
A. Cristal
,
Burcu Kulahcioglu Ozkan
,
Ernie Cohen
,
Gokcen Kestor
,
Ismail Kuru
,
O. Unsal
,
Serdar Tasiran
,
Suha Orhun Mutluergil
,
Tayfun Elmas
Verifying programs under snapshot isolation and similar relaxed consistency models
Conference paper -
Ismail Kuru
,
Burcu Kulahcioglu Ozkan
,
Suha Orhun Mutluergil
,
Serdar Tasiran
,
Tayfun Elmas
,
Ernie Cohen