Modulo: Finding Convergence Failure Bugs in Distributed Systems with Divergence Resync Models.

Beom Heyn Kim, Taesoo Kim, David Lie

Browse the full USENIX paper archive.