Atalay Mert Ileri

Publication Activity (10 Years)

Years Active: 2013-2020
Publications (10 Years): 7

Top Topics

Query Formulation

Database Queries

Top Venues

Publications

Albert Kim, Atalay Mert Ileri, Sam Madden
Optimizing Query Predicates with Disjunctions for Column Stores. CoRR (2020)
Atalay Mert Ileri, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich
Proving confidentiality in a file system using DiskSec. OSDI (2018)
Haogang Chen, Tej Chajed, Alex Konradi, Stephanie Wang, Atalay Mert Ileri, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich
Verifying a high-performance crash-safe file system using a tree specification. SOSP (2017)
Atalay Mert Ileri, Silvio Micali
Mechanisms With Costly Knowledge. ITCS (2016)
Atalay Mert Ileri, Halil I. Ozercan, Alper Gundogdu, Ahmet K. Senol, M. Yusuf Özkaya, Can Alkan
Coinami: A Cryptocurrency with DNA Sequence Alignment as Proof-of-work. CoRR (2016)
Atalay Mert Ileri, M. Oguzhan Külekci, Bojian Xu
On Longest Repeat Queries. CoRR (2015)
Atalay Mert Ileri, M. Oguzhan Külekci, Bojian Xu
A simple yet time-optimal and linear-space algorithm for shortest unique substring queries. Theor. Comput. Sci. 562 (2015)
Atalay Mert Ileri, M. Oguzhan Külekci, Bojian Xu
Shortest Unique Substring Query Revisited. CPM (2014)
Atalay Mert Ileri, M. Oguzhan Külekci, Bojian Xu
Shortest Unique Substring Query Revisited. CoRR (2013)