ACM

Communications of the ACM

Recent Interviews

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

From ACM Opinion

Moore's Law Isn't Making Chips Cheaper Anymore

At a wine bar in San Francisco on Wednesday, Broadcom Chairman and CTO Henry Samueli delivered some sobering news: Moore's Law isn't making chips cheaper anymore... Computerworld
From ACM Opinion | December 6, 2013

From ACM TechNews

The Grill: Caroline Ross

The modification of random-access memory (RAM) to help boost computer performance is the goal of Massachusetts Institute of Technology professor Caroline Ross.... Computerworld
From ACM TechNews | June 4, 2009