July 2017 - Vol. 60 No. 7

July 2017 issue cover image

Features

Research and Advances Research highlights

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…

Recent Issues

  1. June 2024 Vol. 67 No. 6
  2. May 2024 CACM cover
    May 2024 Vol. 67 No. 5
  3. April 2024 CACM cover with text
    April 2024 Vol. 67 No. 4
  4. March 2024 CACM cover
    March 2024 Vol. 67 No. 3