Using Dynamically Layered Definite Releases for Verifying the RefFS File System.

Mo Zou Dong Du Mingkai Dong Haibo Chen

Published in: OSDI (2024)

Keyphrases

file system
access patterns
metadata management
model checking
data transfer
search tools
naming conventions
multi tiered
flash memory
storage devices
scalable distributed
application specific
changing environment
storage systems
software systems
query optimization
hard disk
general purpose
mobile devices