ACM

Communications of the ACM

Recent Interviews

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

From ACM Opinion

3D-Printed (and CNC-Milled) Guns: Nine Questions You Were Too Afraid to Ask

By now, you've probably seen all the news regarding Defense Distributed, company founder Cody Wilson, and 3D-printed guns. Ars Technica
From ACM Opinion | August 6, 2018

From ACM Opinion

Saving Fuel with Software

Energy efficiency isn't just a good idea from an environmental perspective; it makes business sense as well. Ars Technica
From ACM Opinion | July 8, 2015

From ACM Opinion

Tetris Creators Talk Virtual Reality, Touch Screens, History, E-Sports

As the second and final day of the 2015 DICE Summit came to a close, Alexey Pajitnov took the stage in a rare public appearance to talk frankly about the history... Ars Technica
From ACM Opinion | February 6, 2015

From ACM News

Snowden: .s. Has Put Too Much Emphasis on Cyber-Offense, Needs Defense

In an on-camera interview with James Bamford for an upcoming episode of PBS' NOVA, Edward Snowden warned that the U.S. Department of Defense and National Security... Ars Technica
From ACM News | January 9, 2015

Recent Interviews

Verifying Correctness

3D-Printed (and CNC-Milled) Guns: Nine Questions You Were Too Afraid to Ask

Saving Fuel with Software

Tetris Creators Talk Virtual Reality, Touch Screens, History, E-Sports

Snowden: ­.s. Has Put Too Much Emphasis on Cyber-Offense, Needs Defense

Snowden: .s. Has Put Too Much Emphasis on Cyber-Offense, Needs Defense