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."
}