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 TechNews

Nsf's Seidel: 'software Is the Modern Language of Science'

Software is the core technology behind a dramatic acceleration in all areas of science, and the U.S. National Science Foundation (NSF) and the science community... HPC Wire
From ACM TechNews | August 15, 2011

From ACM TechNews

Twins Separated at Birth: Cloud Computing and Hpc

Microsoft's Dan Reed is the director of the Cloud Computing Futures (CCF) organization, whose overall goal is the transformation of the way people construct and... HPC Wire
From ACM TechNews | March 16, 2009