Sign In

Communications of the ACM

Research Archive


Archives

The Research archive provides access to all Research articles published in past issues of Communications of the ACM.

July 2017


From Communications of the ACM

IronFleet: Proving Safety and Liveness of Practical Distributed Systems

IronFleet

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 methodology and lessons learned, we aim to raise the standard for…


From Communications of the ACM

Technical Perspective: Building a Better Hash Function

In "Fast and Powerful Hashing Using Tabulation," Mikkel Thorup describes a variation of simple but surprisingly effective and powerful hash functions based on using small tables of random hash values.


From Communications of the ACM

Fast and Powerful Hashing Using Tabulation

Fast and Powerful Hashing Using Tabulation

We survey recent results on how simple hashing schemes based on tabulation provide unexpectedly strong guarantees.


From Communications of the ACM

Technical Perspective: IronFleet Simplifies Proving Safety and Liveness Properties

"IronFleet: Proving Safety and Liveness of Practical Distributed Systems," by Chris Hawblitzel, et al., describes mechanically checked proofs for two non-trivial distributed services: A Paxos-based library to support replication…