acm-header
Sign In

Communications of the ACM

Recent Interviews

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
­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