Verifying a high-performance crash-safe file system using a tree specification.

Haogang Chen, Tej Chajed, Alex Konradi, Stephanie Wang, Atalay Mert Ileri, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich

Browse the full SOSP paper archive.