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
Questioning Quantum
Questioning Quantum
05.01.2019

Researchers hunt for ways to keep quantum computing honest.

Code Talkers
Code Talkers
05.01.2019

Using voice input to write programs.

Deep Insecurities
Deep Insecurities
05.01.2019

A more connected world sounds alluring, but without better protections …

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