SQCK: A Declarative File System Checker
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Haryadi S. Gunawi, Abhishek Rajimwale, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau
SQCK: A Declarative File System Checker
OSDI, 2008.

OSDI 2008
Full names Links ISxN
	author        = "Haryadi S. Gunawi and Abhishek Rajimwale and Andrea C. Arpaci-Dusseau and Remzi H. Arpaci-Dusseau",
	booktitle     = "{Proceedings of the Eighth Symposium on Operating Systems Design and Implementation}",
	ee            = "http://www.usenix.org/events/osdi08/tech/full_papers/gunawi/gunawi.pdf",
	isbn          = "978-1-931971-65-2",
	pages         = "131--146",
	publisher     = "{USENIX Association}",
	title         = "{SQCK: A Declarative File System Checker}",
	year          = 2008,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.