| Proving linearizability using forward simulations A Bouajjani, M Emmi, C Enea, SO Mutluergil Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017 | 37 | 2017 |
| Inductive sequentialization of asynchronous programs B Kragl, C Enea, TA Henzinger, SO Mutluergil, S Qadeer Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 33 | 2020 |
| Replication-aware linearizability C Wang, C Enea, SO Mutluergil, G Petri Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019 | 18 | 2019 |
| Reasoning about TSO programs using reduction and abstraction A Bouajjani, C Enea, SO Mutluergil, S Tasiran International Conference on Computer Aided Verification, 336-353, 2018 | 17 | 2018 |
| The anatomy of a Turkish speech recognition system C Aksoylar, SO Mutluergil, H Erdogan 2009 IEEE 17th Signal Processing and Communications Applications Conference …, 2009 | 12 | 2009 |
| Verifying programs under snapshot isolation and similar relaxed consistency models I Kuru, BK Ozkan, SO Mutluergil, S Tasiran, T Elmas, E Cohen Proceedings of the 9th ACM SIGPLAN Workshop on Transactional Computing …, 2014 | 10 | 2014 |
| A mechanized refinement proof of the Chase–Lev deque using a proof system SO Mutluergil, S Tasiran Computing 101 (1), 59-74, 2019 | 7 | 2019 |
| Bir Türkçe konuşma tanıma sisteminin anatomisi C Aksoylar, SO Mutluergil, H Erdogan Signal Processing and Communications Applications Conference, Antalya, 512-515, 2009 | 5 | 2009 |
| Root causing linearizability violations B Çirisci, C Enea, A Farzan, SO Mutluergil International Conference on Computer Aided Verification, 350-375, 2020 | 3 | 2020 |
| Verification tools for transactional programs A Cristal, BK Ozkan, E Cohen, G Kestor, I Kuru, O Unsal, S Tasiran, ... Transactional Memory. Foundations, Algorithms, Tools, and Applications: COST …, 2015 | 3 | 2015 |
| Quorum tree abstractions of consensus protocols B Cirisci, C Enea, SO Mutluergil European Symposium on Programming, 337-362, 2023 | 2 | 2023 |
| Going Forward-Forward in Distributed Deep Learning E Aktemur, E Zorlutuna, K Bilgili, TE Bok, B Yanikoglu, SO Mutluergil arXiv preprint arXiv:2404.08573, 2024 | | 2024 |
| A pragmatic approach to stateful partial order reduction B Cirisci, C Enea, A Farzan, SO Mutluergil International Conference on Verification, Model Checking, and Abstract …, 2023 | | 2023 |
| Replication-Aware Linearizability C Enea, SO Mutluergil, G Petri, C Wang arXiv preprint arXiv:1903.06560, 2019 | | 2019 |
| Applications of heuristic search on phylogeny reconstruction problems SO Mutluergil | | 2012 |
| Quorum Tree Abstractions of Consensus Protocols SO Mutluergil | | |
| Root Causing Linearizability Violations SO Mutluergil | | |
