Skip to content

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

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