Metis: file system model checking via versatile input and state exploration
We present Metis, a model-checking framework designed for versatile, thorough, yet
configurable file system testing in the form of input and state exploration. It uses a …
configurable file system testing in the form of input and state exploration. It uses a …
Revisiting Erasure Codes: A Configuration Perspective
Erasure coding (EC) plays a crucial role in the fault tolerance of modern distributed storage
systems (DSS). Inspired by recent research on storage configuration, we study the …
systems (DSS). Inspired by recent research on storage configuration, we study the …
[PDF][PDF] Towards Efficient, Scalable, and Versatile File System Model Checking A Dissertation Proposal presented
Y Liu - 2024 - fsl.cs.stonybrook.edu
File systems are a crucial component of operating systems, serving as the backbone of the
modern storage hierarchy and supporting a wide range of applications including databases …
modern storage hierarchy and supporting a wide range of applications including databases …