Communications of the ACM
Research Archive
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
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
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…