acm-header
Sign In

Communications of the ACM

Recent Interviews

Articles Interviews Vardi's Insights Chien's Vantage Opinion Archive Refine your search:
dateMore Than a Year Ago
subjectCommunications / Networking
authorSoftware Engineering Radio
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
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