Sign In

Communications of the ACM

Blog at CACM
Soundness and Completeness: With Precision
Soundness and Completeness: With Precision
04.20.2019

The two key properties of program analysis are dual of each other.

Immigrants Help Solve the Looming STEM Worker Shortage
Immigrants Help Solve the Looming STEM Worker Shortage
04.12.2019

Our economic vitality depends on them.

Blockchain Was the First, but Will Not Be the Last
Blockchain Was the First, but Will Not Be the Last
04.11.2019

What is the outlook for Zero-Trust Decentralization, and should we expect other products aside from Blockchain?

View More [email protected]

Latest News
Letting the Laboratory Drive
Letting the Laboratory Drive
04.25.2019

A self-driving laboratory is a kind of robot scientist that …

Plans Launched to Boost Digital Skills for Adults
Plans Launched to Boost Digital Skills for Adults
04.24.2019

The U.K. government will offer free courses to thousands of …

AI Visionary Nils Nilsson Dies
AI Visionary Nils Nilsson Dies
04.25.2019

Respected AI pioneer and visionary Nils John Nilsson has passed …

View More News

Video Highlights
05.01.2019
Compressed Linear Algebra for Declarative Large-Scale Machine Learning

General-purpose compression struggles to achieve both good compression ratios and fast decompression for blockwise uncompressed operations. Therefore, we introduce Compressed …

Code Talkers
05.01.2019
Code Talkers

Using voice input to write programs.

View More Video Highlights
Featured Jobs
More Jobs    
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account