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
Google ­sability Chief: Ideas Have to Be Discoverable
From ACM TechNews

Google ­sability Chief: Ideas Have to Be Discoverable

Google's Dan Russell recently spoke to New Scientist on improving searches.  New Scientist
From ACM TechNews | November 29, 2011
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account