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
Database Dialogue with Pat Selinger
From Communications of the ACM

Database Dialogue with Pat Selinger

Relational database pioneer Patricia G. Selinger explores the vast realm of database technology and trends in a wide-ranging discussion with Microsoft's James Hamilton... James Hamilton, Pat Selinger
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