dc.contributor.author | Chen, Haogang | |
dc.contributor.author | Ziegler, Daniel (Daniel M.) | |
dc.contributor.author | Chlipala, Adam | |
dc.contributor.author | Kaashoek, M. Frans | |
dc.contributor.author | Kohler, Eddie | |
dc.contributor.author | Zeldovich, Nickolai | |
dc.date.accessioned | 2021-01-07T22:09:20Z | |
dc.date.available | 2021-01-07T22:09:20Z | |
dc.date.issued | 2015 | |
dc.identifier.uri | https://hdl.handle.net/1721.1/129331 | |
dc.description.sponsorship | NSF (Awards CNS-1053143, CNS-1413920, and CCF- 1253229) | en_US |
dc.language.iso | en | |
dc.publisher | Association for Computing Machinery (ACM)/ USENIX | en_US |
dc.relation.isversionof | https://www.usenix.org/conference/hotos15 | en_US |
dc.rights | Creative Commons Attribution-Noncommercial-Share Alike | en_US |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-sa/4.0/ | en_US |
dc.source | MIT web domain | en_US |
dc.title | Specifying crash safety for storage systems | en_US |
dc.type | Article | en_US |
dc.identifier.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. | en_US |
dc.contributor.department | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory | en_US |
dc.contributor.department | Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science | en_US |
dc.relation.journal | 15th Workshop on Hot Topics in Operating Systems | en_US |
dc.eprint.version | Author's final manuscript | en_US |
dc.type.uri | http://purl.org/eprint/type/ConferencePaper | en_US |
eprint.status | http://purl.org/eprint/status/NonPeerReviewed | en_US |
dc.date.updated | 2020-12-04T18:34:42Z | |
dspace.orderedauthors | Chen, H; Ziegler, D; Chlipala, A; Frans Kaashoek, M; Kohler, E; Zeldovich, N | en_US |
dspace.date.submission | 2020-12-04T18:34:47Z | |
mit.license | OPEN_ACCESS_POLICY | |
mit.metadata.status | Complete | |