Serdar Tasiran | TU Delft 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), Burcu Kulahcioglu Özkan (author), Burcu Külahçıoğlu Özkan (author), Burcu Kulahcioglu Ozkan (author), Burcu Külahçıoğlu Ozkan (author), Burcu Kulahcioglu Ozkan (author), Burcu Ozkan (author), Burcu Külahçıoğlu Kulahcioglu Ozkan (author), Burcu Özkan (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), Burcu Kulahcioglu Özkan (author), Burcu Külahçıoğlu Özkan (author), Burcu Kulahcioglu Ozkan (author), Burcu Külahçıoğlu Ozkan (author), Burcu Kulahcioglu Ozkan (author), Burcu Ozkan (author), Burcu Külahçıoğlu Kulahcioglu Ozkan (author), Burcu Özkan (author), Serdar Tasiran (author)

Systematic Asynchrony Bug Exploration for Android Apps

Conference paper (2015) - Burcu Kulahcioglu Özkan (author), Burcu Ozkan (author), Burcu Kulahcioglu Ozkan (author), Burcu Kulahcioglu Kulahcioglu Ozkan (author), Burcu Külahçıoğlu Özkan (author), Burcu Özkan (author), Burcu Kulahcioglu Ozkan (author), Burcu Külahçıoğlu Ozkan (author), Burcu Külahçıoğlu Kulahcioglu Ozkan (author), Michael Emmi (author), Serdar Tasiran (author)

Verification Tools for Transactional Programs

Book chapter (2015) - Adrian Cristal (author), Burcu Özkan (author), Burcu Külahçıoğlu Kulahcioglu Ozkan (author), Burcu Ozkan (author), Burcu Külahçıoğlu Ozkan (author), Burcu Kulahcioglu Özkan (author), Burcu Kulahcioglu Kulahcioglu Ozkan (author), Burcu Kulahcioglu Ozkan (author), Burcu Kulahcioglu Ozkan (author), Burcu Külahçıoğlu Ö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)

Exploiting synchronization in the analysis of shared-memory asynchronous programs

Conference paper (2014) - Michael Emmi (author), Burcu Kulahcioglu Özkan (author), Burcu Ozkan (author), Burcu Kulahcioglu Ozkan (author), Burcu Kulahcioglu Kulahcioglu Ozkan (author), Burcu Külahçıoğlu Özkan (author), Burcu Özkan (author), Burcu Kulahcioglu Ozkan (author), Burcu Külahçıoğlu Ozkan (author), Burcu Külahçıoğlu Kulahcioglu Ozkan (author), Serdar Tasiran (author)

Towards verifying eventually consistent applications

Conference paper (2014) - Burcu Kulahcioglu Özkan (author), Burcu Ozkan (author), Burcu Kulahcioglu Ozkan (author), Burcu Kulahcioglu Kulahcioglu Ozkan (author), Burcu Külahçıoğlu Özkan (author), Burcu Özkan (author), Burcu Kulahcioglu Ozkan (author), Burcu Külahçıoğlu Ozkan (author), Burcu Külahçıoğlu Kulahcioglu Ozkan (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), Burcu Kulahcioglu Özkan (author), Burcu Kulahcioglu Ozkan (author), Burcu Kulahcioglu Ozkan (author), Burcu Külahçıoğlu Kulahcioglu Ozkan (author), Burcu Kulahcioglu Kulahcioglu Ozkan (author), Burcu Özkan (author), Burcu Külahçıoğlu Ozkan (author), Burcu Külahçıoğlu Özkan (author), Suha Orhun Mutluergil (author), Serdar Tasiran (author), Tayfun Elmas (author), Ernie Cohen (author)