A arxiv.org SquirrelFS: Using the Rust compiler to check file-system crash consistency 104 points belter 2 years ago 10 comments
