Specifying crash safety for storage systems
Author(s)Chen, Haogang; Ziegler, Daniel (Daniel M.); Chlipala, Adam; Kaashoek, M. Frans; Kohler, Eddie; Zeldovich, Nickolai; ... Show more Show less
MetadataShow full item record
DepartmentMassachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory; Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
15th Workshop on Hot Topics in Operating Systems
Association for Computing Machinery (ACM)/ USENIX
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.
Author's final manuscript