@InProceedings{GunawiEtAl08-OSDI,
    title = "{SQCK: A Declarative File System Checker}",
   author = "Haryadi S. Gunawi and Abhishek Rajimwale and Andrea C. Arpaci-Dusseau and Remzi H. Arpaci-Dusseau",
booktitle = "Proceedings of the 8th Symposium on Operating Systems Design and Implementation (OSDI '08)",
    month = "December",
     year = "2008",
  address = "San Diego, CA",
}