MOMMIE knows best | Proceedings of the 13th USENIX conference on Hot topics in operating
systems … MOMMIE knows best: systematic optimizations for verifiable distributed algorithms
… MOMMIE knows best: systematic optimizations for verifiable distributed algorithms …

Complex distributed algorithms become running systems through an integration with
optimizations that target the system's deployment environment. Although expedient, this
approach has disadvantages. First, this often makes implementing the algorithm difficult,
since its logic must be composed with the optimizations. Second, proving the guarantees of
the implementation is tedious, because the proofs must be derived for the composed
algorithm, which may not be directly mappable to the original, unoptimized algorithm …