Modulo: Finding Convergence Failure Bugs in Distributed Systems with Divergence Resync Models
0 Comments
by Beom Heyn Kim, Taesoo Kim and David Lie
Reference:
Beom Heyn Kim, Taesoo Kim and David Lie, “Modulo: Finding Convergence Failure Bugs in Distributed Systems with Divergence Resync Models”, In Proceedings of the 2022 Annual Conference on USENIX Annual Technical Conference (ATC), 2022. (To appear.)
Bibtex Entry:
@inproceedings{bkim:atc2022:modulo, author = "Kim, Beom Heyn and Kim, Taesoo and Lie, David", title = "Modulo: Finding Convergence Failure Bugs in Distributed Systems with Divergence Resync Models", booktitle = "Proceedings of the 2022 Annual Conference on USENIX Annual Technical Conference ({ATC})", month = "July", year = "2022", note = "To appear. (Acceptance 64/393, 16\%)", comment = "To appear." }