Specifying crash safety for storage systems
Name
fscq hotos15.pdf
Description
Accepted version
Size
140.17 KB
Format
Adobe PDF
Checksum (MD5)
0735e9f48d681ac4c88fa86e3b3d5132
Author(s)
Chen, Haogang
Ziegler, Daniel (Daniel M.)
Chlipala, Adam
Kaashoek, M. Frans
Kohler, Eddie
Zeldovich, Nickolai
Date Issued
2015
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
MIT Department
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Terms of Use
Creative Commons Attribution-Noncommercial-Share Alike
Persistent DSpace Link
DOI of Published Version
https://www.usenix.org/conference/hotos15
