Specifying and Checking File System Crash-Consistency Models

Article Details
Title:	Specifying and Checking File System Crash-Consistency Models
Article URLs:	https://doi.org/10.1145/2872362.2872406
Alternative Article URLs:
Authors:	James Bornholt	University of Washington
	Antoine Kaufmann	University of Washington
	Jialin Li	University of Washington
	Arvind Krishnamurthy	University of Washington
	Emina Torlak	University of Washington
	Xi Wang	University of Washington
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	http://sandcat.cs.washington.edu/ferrite
Artifact Correspondence Email Addresses:
NSF Award Numbers:	1064497
DBLP Key:	conf/asplos/BornholtKLKTW16
Author Comments:

ACM Architectural Support for Prog. Languages and Operating Systems, ASPLOS 2016