acm-header
Sign In

Communications of the ACM

Recent Interviews

Articles Interviews Vardi's Insights Chien's Vantage Opinion Archive Refine your search:
datePast Year
subjectHardware
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
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account