Beom Heyn Kim, Taesoo Kim, David Lie. Modulo: Finding Convergence Failure Bugs in Distributed Systems with Divergence Resync Models. In Jiri Schindler, Noa Zilberman, editors, 2022 USENIX Annual Technical Conference, USENIX ATC 2022, Carlsbad, CA, USA, July 11-13, 2022. pages 383-398, USENIX Association, 2022. [doi]
Abstract is missing.