Fawkes: Finding Data Durability Bugs in DBMSs via Recovered Data State Verification.

Zhiyong Wu, Jie Liang, Jingzhou Fu, Wenqian Deng, Yu Jiang

Browse the full SOSP paper archive.