MOMMIE Knows Best: Systematic Optimizations for Verifiable Distributed Algorithms
| Title | MOMMIE Knows Best: Systematic Optimizations for Verifiable Distributed Algorithms |
| Publication Type | Conference Papers |
| Year of Publication | 2011 |
| Authors | Maniatis P, Dietz M, Papamanthou C |
| Conference Name | HotOS'13 Proceedings of the 13th USENIX Conference on Hot Topics in Operating Systems |
| Date Published | 2011/// |
| Publisher | USENIX Association |
| URL | http://dl.acm.org/citation.cfm?id=1991596.1991636 |