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://www.usenix.org/conference/atc16/technical-sessions/presentation/chen_haogang
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/usenix/ChenZCCKZ16
Author Comments:

USENIX Annual Technical Conference, USENIX ATC 2016