Specifying Crash Safety for Storage Systems

TitleSpecifying Crash Safety for Storage Systems
Publication TypeConference Paper
Year of Publication2015
AuthorsChen H, Ziegler D, Chlipala A, M. Kaashoek F, Kohler E, Zeldovich N
Conference Name15th Workshop on Hot Topics in Operating Systems (HotOS {XV})
Date Published05/2015
Publisher{USENIX} Association
Conference LocationKartause Ittingen, Switzerland
URLhttps://www.usenix.org/conference/hotos15/workshop-program/presentation/chen_haogang