Specifying and Checking File System Crash-Consistency Models

Document Details

Document Type
Pub Defense Publication
Publication Date
Mar 25, 2016
Source ID
10.1145/2954680.2872406

Entities

People

  • Antoine Kaufmann
  • Arvind Krishnamurthy
  • Emina Torlak
  • James Bornholt
  • Jialin Li
  • Xi Wang

Organizations

  • Defense Advanced Research Projects Agency
  • National Science Foundation
  • University of Washington