PoWER Never Corrupts: Tool-Agnostic Verification of Crash Consistency and Corruption Detection.

Hayley LeBlanc, Jacob R. Lorch, Chris Hawblitzel, Cheng Huang, Yiheng Tao, Nickolai Zeldovich, Vijay Chidambaram

Browse the full OSDI paper archive.