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

Tetris Creators Talk Virtual Reality, Touch Screens, History, E-Sports

As the second and final day of the 2015 DICE Summit came to a close, Alexey Pajitnov took the stage in a rare public appearance to talk frankly about the history... Ars Technica
From ACM Opinion | February 6, 2015

From ACM Opinion

Finding an Image with an Image and Other Feats of Computer Vision

"We found that people were searching for squirrels just to favorite them, just to click 'like.' And the same with buses." Ars Technica
From ACM Opinion | December 4, 2014