Verifying a high-performance crash-safe file system using a tree specification

Article Details
Title:	Verifying a high-performance crash-safe file system using a tree specification
Article URLs:	https://doi.org/10.1145/3132747.3132776
Alternative Article URLs:
Authors:	Haogang Chen	MIT, CSAIL
	Tej Chajed	MIT, CSAIL
	Alex Konradi	MIT, CSAIL
	Stephanie Wang	MIT, CSAIL
	Atalay Mert Ileri	MIT, CSAIL
	Adam Chlipala	MIT, CSAIL
	M. Frans Kaashoek	MIT, CSAIL
	Nickolai Zeldovich	MIT, CSAIL
Sharing:	Research produced artifacts
Verification:	Authors have verified information
Artifact Evaluation Badge:	none
Artifact URLs:	https://github.com/mit-pdos/fscq
Artifact Correspondence Email Addresses:
NSF Award Numbers:	1563763
DBLP Key:	conf/sosp/ChenCKWICKZ17
Author Comments:

ACM Symposium on Operating Systems Principles, SOSP 2017