Sign In

Communications of the ACM

Latest Research

Latest Research Research Archive Refine your search:
dateMore Than a Year Ago
subjectComputer Systems
author Jon Howell

From Communications of the ACM

Ironfleet: Proving Safety and Liveness of Practical Distributed Systems

We demonstrate the methodology on a complex implementation of a Paxos-based replicated state machine library and a lease-based sharded key-value store. With our...
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account