SQCK: A Declarative File System Checker

Haryadi S. Gunawi, Abhishek Rajimwale, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau. SQCK: A Declarative File System Checker. In Richard Draves, Robbert van Renesse, editors, 8th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2008, December 8-10, 2008, San Diego, California, USA, Proceedings. pages 131-146, USENIX Association, 2008. [doi]

Authors

Haryadi S. Gunawi

This author has not been identified. Look up 'Haryadi S. Gunawi' in Google

Abhishek Rajimwale

This author has not been identified. Look up 'Abhishek Rajimwale' in Google

Andrea C. Arpaci-Dusseau

This author has not been identified. Look up 'Andrea C. Arpaci-Dusseau' in Google

Remzi H. Arpaci-Dusseau

This author has not been identified. Look up 'Remzi H. Arpaci-Dusseau' in Google