SquirrelFS: using the Rust compiler to check file-system crash consistency.

Hayley LeBlanc Nathan Taylor James Bornholt Vijay Chidambaram

Published in: OSDI (2024)

Keyphrases

file system
data transfer
storage systems
multi tiered
access patterns
programming language
search tools
storage devices
general purpose
flash memory
information systems
application specific
scalable distributed
naming conventions
continuous media
open source