Login / Signup
File systems deserve verification too!
Gabriele Keller
Toby C. Murray
Sidney Amani
Liam O'Connor
Zilin Chen
Leonid Ryzhyk
Gerwin Klein
Gernot Heiser
Published in:
ACM SIGOPS Oper. Syst. Rev. (2014)
Keyphrases
</>
file system
access patterns
data transfer
storage systems
search tools
flash memory
storage devices
scientific computing
continuous media
model checking
application specific
scalable distributed
multi tiered
database
data storage