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

Sc13 Talk Pushes Hpc in New Educational Directions

University of Illinois at Urbana-Champaign National Center for Supercomputing Application director Thom Dunning discusses the potential for using computational... HPC Wire
From ACM TechNews | November 25, 2013

From ACM TechNews

Reconfigurable Computing Research Pushes Forward

Alan George, director of the U.S. National Science Foundation's Center for High-Performance Reconfigurable Computing (CHREC), says that challenges and objectives... HPC Wire
From ACM TechNews | December 4, 2009