Using Crash Hoare logic for certifying the FSCQ file system

Article Details
Title:	Using Crash Hoare logic for certifying the FSCQ file system
Article URLs:	https://doi.org/10.1145/2815400.2815402
Alternative Article URLs:
Authors:	Haogang Chen	MIT, CSAIL
	Daniel Ziegler	MIT, CSAIL
	Tej Chajed	MIT, CSAIL
	Adam Chlipala	MIT, CSAIL
	M. Frans Kaashoek	MIT, CSAIL
	Nickolai Zeldovich	MIT, CSAIL
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	https://github.com/mit-pdos/fscq-impl
Artifact Correspondence Email Addresses:
NSF Award Numbers:	1053143, 1253229
DBLP Key:	conf/sosp/ChenZCCKZ15
Author Comments:

ACM Symposium on Operating Systems Principles, SOSP 2015