Haogang Chen, Daniel Ziegler, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich
Using Crash Hoare logic for certifying the FSCQ file system
SOSP, 2015.
@inproceedings{SOSP-2015-ChenZCCKZ,
author = "Haogang Chen and Daniel Ziegler and Tej Chajed and Adam Chlipala and M. Frans Kaashoek and Nickolai Zeldovich",
booktitle = "{Proceedings of the 25th Symposium on Operating Systems Principles}",
doi = "10.1145/2815400.2815402",
isbn = "978-1-4503-3834-9",
pages = "18--37",
publisher = "{ACM}",
title = "{Using Crash Hoare logic for certifying the FSCQ file system}",
year = 2015,
}