Marc Brooker – Communications of the ACM

Practice May 29 2025

A survey of the portfolio of formal methods used across AWS to deliver complex services with high confidence in assuring systems correctness.

Research and Advances Apr 1 2015

Engineers use TLA+ to prevent serious but subtle bugs from reaching production.

Architecture and Hardware

ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.