Skip to content

MOMMIE Knows Best: Systematic Optimizations for Verifiable Distributed Algorithms.

Michael Dietz, Charalampos Papamanthou

VenueAHotOS
Year2011
ProceedingsHotOS

Browse the full HotOS paper archive.