Kuei Jack Sun, Daniel Fryer, Angela Demke Brown, Ashvin Goel. Annotation for automation: rapid generation of file system tools. In Tim Harris 0001, Anil Madhavapeddy, editors, Proceedings of the Seventh Workshop on Programming Languages and Operating Systems, PLOS 2013, Farmington, Pennsylvania, USA, November 3-6, 2013. ACM, 2013. [doi]
Abstract is missing.