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

Ice Cream Sandwich: A Deep-Dive Tour With Android

There are few things in this world I despise more than software updates. Downloading hundreds of files, waiting for the progress bar to fill, restarting the device—it’s... Wired
From ACM Opinion | October 27, 2011

From ACM News

The 'Panda' That Hates Farms: A Q&A With Google

Google's new update to its search engine addressed the growing complaint that low-quality content sites (derisively referred to as content farms) were ranked higher... Wired
From ACM News | March 7, 2011

1 23