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
Need More Energy Storage? Just Hit 'Print'
Need More Energy Storage? Just Hit 'Print'
04.25.2019

Researchers at Drexel University and Trinity College in Ireland have …

AI That Spots Inequality Could Monitor Living Conditions in Cities
AI That Spots Inequality Could Monitor Living Conditions in Cities
04.25.2019

Researchers have trained an artificial intelligence to detect inequalities in …

Robots That Can Sort Recycling
Robots That Can Sort Recycling
04.25.2019

A new robotic system can detect if an object is …

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