TY  - RPRT
TI  - SquirrelFS: using the Rust compiler to check file-system crash consistency
AU  - Hayley LeBlanc
AU  - Nathan Taylor
AU  - James Bornholt
AU  - Vijay Chidambaram
PY  - 2024
UR  - https://arxiv.org/abs/2406.09649
ID  - 2406.09649
ER  -