acm-header
Sign In

Communications of the ACM

Recent Interviews

Articles Interviews Vardi's Insights Chien's Vantage Opinion Archive Refine your search:
dateMore Than a Year Ago
subjectComputers And Society
authorHPC Wire
bg-corner
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
Sc13 Talk Pushes Hpc in New Educational Directions
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
Nsf's Seidel: 'software Is the Modern Language of Science'
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
­ncovering Results in the Magellan Testbed
From ACM TechNews

­ncovering Results in the Magellan Testbed

The Magellan cloud computing testbed funded by the U.S. Department of Energy is dedicated to studying the advantages and disadvantages of the cloud computing model... HPC Wire
From ACM TechNews | June 28, 2010
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account