Login / Signup
Alex Konradi
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Storage Systems
File System
Multi Tiered
Tree Structure
Top Venues
SOSP
</>
Publications
</>
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)