Gabriele Keller, Toby C. Murray, Sidney Amani, Liam O'Connor, Zilin Chen, Leonid Ryzhyk, Gerwin Klein, Gernot Heiser. File systems deserve verification too!. 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.