C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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