Atalay Mert Ileri

14 papers A* 2A 2B 1Journal 7Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Flavonoid Fusion: Creating a Knowledge Graph to Unveil the Interplay Between Food and Health.
CoRR
Aryan Singh Dalal, Yinglun Zhang, Duru Dogan, Atalay Mert Ileri, Hande Küçük-McGinty
2024 A conf
Probability from Possibility: Probabilistic Confidentiality for Storage Systems Under Nondeterminism.
CSF
Atalay Mert Ileri, Nickolai Zeldovich, Adam Chlipala, M. Frans Kaashoek
2024 — conf
VEL: A Formally Verified Reasoner for EL++ Description Logic.
ISWC (Posters/Demos/Industry)
Atalay Mert Ileri, Hande McGinty
2024 J jnl
VEL: A Formally Verified Reasoner for OWL2 EL Profile.
CoRR
Atalay Mert Ileri, Nalen Rangarajan, Jack Cannell, Hande McGinty
2023 — —
Verifying Confidentiality Under Nondeterminism for Storage Systems
Atalay Mert Ileri
2020 J jnl
Optimizing Query Predicates with Disjunctions for Column Stores.
CoRR
Albert Kim, Atalay Mert Ileri, Sam Madden
2018 A* conf
Proving confidentiality in a file system using DiskSec.
OSDI
Atalay Mert Ileri, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich
2017 A* conf
Verifying a high-performance crash-safe file system using a tree specification.
SOSP
Haogang Chen, Tej Chajed, Alex Konradi, Stephanie Wang, Atalay Mert Ileri, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich
2016 J jnl
Coinami: A Cryptocurrency with DNA Sequence Alignment as Proof-of-work.
CoRR
Atalay Mert Ileri, Halil I. Ozercan, Alper Gundogdu, Ahmet K. Senol, M. Yusuf Özkaya, Can Alkan
2016 A conf
Mechanisms With Costly Knowledge.
ITCS
Atalay Mert Ileri, Silvio Micali
2015 J jnl
A simple yet time-optimal and linear-space algorithm for shortest unique substring queries.
Theor. Comput. Sci.
Atalay Mert Ileri, M. Oguzhan Külekci, Bojian Xu
2015 J jnl
On Longest Repeat Queries.
CoRR
Atalay Mert Ileri, M. Oguzhan Külekci, Bojian Xu
2014 B conf
Shortest Unique Substring Query Revisited.
CPM
Atalay Mert Ileri, M. Oguzhan Külekci, Bojian Xu
2013 J jnl
Shortest Unique Substring Query Revisited.
CoRR
Atalay Mert Ileri, M. Oguzhan Külekci, Bojian Xu