Gabriele Keller, Toby C. Murray, Sidney Amani, Liam O'Connor, Zilin Chen, Leonid Ryzhyk, Gerwin Klein, Gernot Heiser
File systems deserve verification too!
PLOS, 2013.
@inproceedings{PLOS-2013-KellerMAOCRKH,
author = "Gabriele Keller and Toby C. Murray and Sidney Amani and Liam O'Connor and Zilin Chen and Leonid Ryzhyk and Gerwin Klein and Gernot Heiser",
booktitle = "{Proceedings of the Seventh Workshop on Programming Languages and Operating Systems}",
doi = "10.1145/2525528.2525530",
isbn = "978-1-4503-2460-1",
pages = "7",
publisher = "{ACM}",
title = "{File systems deserve verification too!}",
year = 2013,
}