SQCK: A Declarative File System Checker.

Haryadi S. Gunawi, Abhishek Rajimwale, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau

Browse the full OSDI paper archive.