Login / Signup
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