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. (Conference presentation, Source code)
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 = "(Acceptance: 64/393, 16\%)",
    comment = {<a href="https://www.youtube.com/watch?v=nGVtwaLgFm0">Conference presentation</a>, <a href="https://github.com/Kaelus/Modulo">Source code</a>},
    url = "https://security.csl.toronto.edu/wp-content/uploads/2022/06/bkim-atc2022-modulo.pdf"
}