SQCK: A Declarative File System Checker.

Haryadi S. Gunawi Abhishek Rajimwale Andrea C. Arpaci-Dusseau Remzi H. Arpaci-Dusseau

Published in: OSDI (2008)

Keyphrases

file system
access patterns
search tools
data transfer
high level
naming conventions
storage systems
storage devices
knowledge representation
flash memory
continuous media
multi tiered
application specific
declarative language
metadata management
information systems
open source
scalable distributed