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

Hayley LeBlanc, Nathan Taylor, James Bornholt, Vijay Chidambaram

Browse the full OSDI paper archive.