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

Climate Science Triggers Torrent of Big Data Challenges

ORNL supercomputers running models to assess climate change ramifications and mitigation tactics are rapidly generating a wide variety of big data in vast volumes... HPC Wire
From ACM TechNews | August 17, 2012

From ACM TechNews

Scaling the Exa

The University of Tennessee's Jack Dongarra says the transition to exascale computing is going to be more dramatic than earlier transitions, and this will result... HPC Wire
From ACM TechNews | June 7, 2010