acm-header
Sign In

Communications of the ACM

Recent Interviews

bg-corner
Yael Tauman Kalai of Microsoft Research and MIT
Verifying Correctness
From Communications of the ACM

Yael Tauman Kalai on her career, proof systems, and certifying correctness.

Leah Hoffmann | March 1, 2024
Designing to Avoid Worst-Case Outcomes
From ACM Opinion

Designing to Avoid Worst-Case Outcomes

Interaction designer Jonathan Shariat discusses harmful software design. Software Engineering Radio
From ACM Opinion | September 15, 2022
L. Peter Deutsch on the Fallacies of Distributed Computing
From ACM Opinion

L. Peter Deutsch on the Fallacies of Distributed Computing

How relevant are the fallacies today? Software Engineering Radio
From ACM Opinion | August 6, 2021
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account