Specifying crash safety for storage systems

Author(s)
Chen, Haogang; Ziegler, Daniel (Daniel M.); Chlipala, Adam; Kaashoek, M. Frans; Kohler, Eddie; ... Show more
Thumbnail
DownloadAccepted version (140.1Kb)
Open Access Policy
Terms of use
Creative Commons Attribution-Noncommercial-Share Alike http://creativecommons.org/licenses/by-nc-sa/4.0/
Metadata
Show full item record
Date issued
2015
URI
https://hdl.handle.net/1721.1/129331
Department
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory; Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Journal
15th Workshop on Hot Topics in Operating Systems
Publisher
Association for Computing Machinery (ACM)/ USENIX
Citation
Chen, H et al. "Specifying crash safety for storage systems." 15th Workshop on Hot Topics in Operating Systems, May 2015, Kartause Ittingen, Switzerland, Association for Computing Machinery (ACM)/ USENIX, 2015.
Version: Author's final manuscript
Collections