Shortest Unique Substring Query Revisited. - Atalay Mert Ileri; M. Oguzhan Külekci; Bojian Xu (CPM, 2014)

On Longest Repeat Queries. - Atalay Mert Ileri; M. Oguzhan Külekci; Bojian Xu (CoRR, 2015)

A simple yet time-optimal and linear-space algorithm for shortest unique substring queries. - Atalay Mert Ileri; M. Oguzhan Külekci; Bojian Xu (Theor. Comput. Sci., 2015)

Mechanisms With Costly Knowledge. - Atalay Mert Ileri; Silvio Micali (ITCS, 2016)

Coinami: A Cryptocurrency with DNA Sequence Alignment as Proof-of-work. - Atalay Mert Ileri; Halil I. Ozercan; Alper Gundogdu; Ahmet K. Senol; M. Yusuf Özkaya; Can Alkan (CoRR, 2016)

Verifying a high-performance crash-safe file system using a tree specification. - Haogang Chen 001; Tej Chajed; Alex Konradi; Stephanie Wang; Atalay Mert Ileri; Adam Chlipala; M. Frans Kaashoek; Nickolai Zeldovich (SOSP, 2017)

Proving confidentiality in a file system using DiskSec. - Atalay Mert Ileri; Tej Chajed; Adam Chlipala; M. Frans Kaashoek; Nickolai Zeldovich (OSDI, 2018)

Optimizing Query Predicates with Disjunctions for Column Stores. - Albert Kim; Atalay Mert Ileri; Sam Madden 001 (CoRR, 2020)

Verifying Confidentiality Under Nondeterminism for Storage Systems - Atalay Mert Ileri (2023)

Probability from Possibility: Probabilistic Confidentiality for Storage Systems Under Nondeterminism. - Atalay Mert Ileri; Nickolai Zeldovich; Adam Chlipala; M. Frans Kaashoek (CSF, 2024)

VEL: A Formally Verified Reasoner for EL++ Description Logic. - Atalay Mert Ileri; Hande McGinty (ISWC (Posters/Demos/Industry), 2024)

VEL: A Formally Verified Reasoner for OWL2 EL Profile. - Atalay Mert Ileri; Nalen Rangarajan; Jack Cannell; Hande McGinty (CoRR, 2024)