Specifying Crash Safety for Storage Systems.

Haogang Chen, Daniel Ziegler, Adam Chlipala, M. Frans Kaashoek, Eddie Kohler, Nickolai Zeldovich

Browse the full HotOS paper archive.