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]
@inproceedings{GunawiRAA08,
title = {SQCK: A Declarative File System Checker},
author = {Haryadi S. Gunawi and Abhishek Rajimwale and Andrea C. Arpaci-Dusseau and Remzi H. Arpaci-Dusseau},
year = {2008},
url = {http://www.usenix.org/events/osdi08/tech/full_papers/gunawi/gunawi.pdf},
tags = {C++},
researchr = {https://researchr.org/publication/GunawiRAA08},
cites = {0},
citedby = {0},
pages = {131-146},
booktitle = {8th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2008, December 8-10, 2008, San Diego, California, USA, Proceedings},
editor = {Richard Draves and Robbert van Renesse},
publisher = {USENIX Association},
isbn = {978-1-931971-65-2},
}