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
subjectHardware
authorSLAC National Accelerator Laboratory
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
Q&a: Hitomi Researchers Talk About Satellite's Tragic End and the Data It Sent Home
From ACM Opinion

Q&a: Hitomi Researchers Talk About Satellite's Tragic End and the Data It Sent Home

Three researchers from the Kavli Institute for Particle Astrophysics and Cosmology, explain the circumstances of Hitomi's tragic accident and express their hopes... SLAC National Accelerator Laboratory
From ACM Opinion | May 19, 2016
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account