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
CTO Virtualization Roundtable
From Communications of the ACM

CTO Virtualization Roundtable: Part II

When it comes to virtualization platforms, experts say focus first on the services to be delivered. Mache Creeger
From Communications of the ACM | December 1, 2008
CTO Roundtable on Virtualization
From Communications of the ACM

CTO Roundtable on Virtualization: Part I

Virtualization technology is hot again, but for the right reasons? Mache Creeger
From Communications of the ACM | November 1, 2008
Q&A: A Complex Thinker
From Communications of the ACM

Q&A: A Complex Thinker

Daphne Koller discusses probabilistic relational modeling, artificial intelligence, and her new work with biologists. Leah Hoffmann
From Communications of the ACM | October 1, 2008
<<232425262728
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account