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:
@string{atec22="Proceedings of the 2022 Annual Conference on USENIX Annual Technical Conference (ATC)"}
@inproceedings{bkim:atc2022:modulo,
	title = {Modulo: Finding Convergence Failure Bugs in Distributed Systems with Divergence Resync Models},
	author = {Beom Heyn Kim and Taesoo Kim and David Lie},
	booktitle = ATEC22,
	month = jul,
	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},
}