As the amount of digital data grows, so does the theft of sensitive data through the loss or
misplacement of laptops, thumb drives, external hard drives, and other electronic storage …

Solid-state disks (SSDs) have the potential to revolutionize the storage system landscape.
However, there is little published work about their internal organization or the design …

Memory-based data center applications require increasingly large memory capacities, but
face the challenges posed by the inherent difficulties in scaling DRAM and also the cost of …

Conventional wisdom holds that storage is not a big contributor to application performance
on mobile devices. Flash storage (the type most commonly used today) draws little power …

The monitoring of virtual machines has many applications in areas such as security and
systems management. A monitoring technique known as introspection has received …

This article shows how to use model checking to find serious errors in file systems. Model
checking is a formal verification technique tuned for finding corner-case errors by …

Commodity file systems trust disks to either work or fail completely, yet modern disks exhibit
more complex failure modes. We suggest a new fail-partial failure model for disks, which …

We develop and apply two new methods for analyzing file system behavior and evaluating
file system changes. First, semantic block-level analysis (SBA) combines knowledge of on …

A filesystem-aware storage system locates and analyzes host filesystem data structures in
order to determine storage usage of the host filesystem. To this end, the storage system …

Benchmarking is critical when evaluating performance, but is especially difficult for file and
storage systems. Complex interactions between I/O devices, caches, kernel daemons, and …