@InProceedings{,
author = "Kuei Sun and Daniel Fryer and Angela Demke Brown and Ashvin Goel",
title = "Annotation for Automation: Rapid Generation of File System Tools",
booktitle = "Proceedings of the 7th Workshop on Programming Languages and Operating Systems (PLOS'13)",
address = "Farmington, PA",
month = "November",
year = "2013",
pages = "1-6",
}