| Realizing the potential of blockchain technologies in genomics HI Ozercan, AM Ileri, E Ayday, C Alkan Genome research 28 (9), 1255-1263, 2018 | 147 | 2018 |
| Verifying a high-performance crash-safe file system using a tree specification H Chen, T Chajed, A Konradi, S Wang, A İleri, A Chlipala, MF Kaashoek, ... Proceedings of the 26th Symposium on Operating Systems Principles, 270-286, 2017 | 80 | 2017 |
| Shortest unique substring query revisited AM Ileri, MO Külekci, B Xu Combinatorial Pattern Matching: 25th Annual Symposium, CPM 2014, Moscow …, 2014 | 24 | 2014 |
| Proving confidentiality in a file system using {DiskSec} A Ileri, T Chajed, A Chlipala, F Kaashoek, N Zeldovich 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2018 | 21 | 2018 |
| A simple yet time-optimal and linear-space algorithm for shortest unique substring queries AM Ileri, MO Külekci, B Xu Theoretical Computer Science 562, 621-633, 2015 | 16 | 2015 |
| Coinami: a cryptocurrency with DNA sequence alignment as proof-of-work AM Ileri, HI Ozercan, A Gundogdu, AK Senol, MY Ozkaya, C Alkan arXiv preprint arXiv:1602.03031, 2016 | 15 | 2016 |
| On longest repeat queries AM İleri, MO Külekci, B Xu arXiv preprint arXiv:1501.06259, 2015 | 2 | 2015 |
| Verifying Confidentiality Under Nondeterminism for Storage Systems AM Ileri Massachusetts Institute of Technology, 2023 | | 2023 |
| Optimizing Query Predicates with Disjunctions for Column-Oriented Engines A Kim, AM Ileri, S Madden arXiv preprint arXiv:2002.00540, 2020 | | 2020 |
| Mechanisms With Costly Knowledge AM Ileri, S Micali Proceedings of the 2016 ACM Conference on Innovations in Theoretical …, 2016 | | 2016 |
