Login / Signup
Verifying a high-performance crash-safe file system using a tree specification.
Haogang Chen
Tej Chajed
Alex Konradi
Stephanie Wang
Atalay Mert Ileri
Adam Chlipala
M. Frans Kaashoek
Nickolai Zeldovich
Published in:
SOSP (2017)
Keyphrases
</>
file system
scientific computing
tree structure
application specific
data transfer
flash memory
storage systems
access patterns
model checking
naming conventions
multi tiered
metadata management
continuous media
search tools
index structure
high level
storage devices
formal specification
scalable distributed