Annotation for automation: rapid generation of file system tools.

Kuei Jack Sun, Daniel Fryer, Angela Demke Brown, Ashvin Goel

Browse the full SOSP paper archive.