Verify, And Then Trust: Data Inconsistency Detection in ZooKeeper.

Sushant Mane, Fangmin Lyu, Benjamin C. Reed

Browse the full EuroSys paper archive.