Michael Dietz, Charalampos Papamanthou. MOMMIE Knows Best: Systematic Optimizations for Verifiable Distributed Algorithms. In Matt Welsh, editor, 13th Workshop on Hot Topics in Operating Systems, HotOS XIII, Napa, California, USA, May 9-11, 2011. USENIX Association, 2011. [doi]
Abstract is missing.