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
Achievement in Microarchitecture
From Communications of the ACM

Achievement in Microarchitecture

David Papworth, a 30-year veteran of Intel, on what led to the P6 microprocessor and how that changed the microarchitectural paradigm. Leah Hoffmann
From Communications of the ACM | January 1, 2024
Inspired by the Home of the Future
From Communications of the ACM

Inspired by the Home of the Future

2018 ACM Prize in Computing recipient Shwetak Patel pushes old tools to new heights. Leah Hoffmann
From Communications of the ACM | September 1, 2019
Q&A: Systematic Thinking
From Communications of the ACM

Q&A: Systematic Thinking

Andrew S. Tanenbaum talks about MINIX, microkernels, and electronic voting systems. Leah Hoffmann
From Communications of the ACM | April 1, 2010
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account