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
subjectInformation Systems
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
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
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
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account