Sign In

Communications of the ACM

Recent Articles



Formal Methods as a Path to Better Cybersecurity
From ACM Opinion

Formal Methods as a Path to Better Cybersecurity

Any piece of software should be able to provide the desired features, and when errors do occur, the software should handle them gracefully.

Call For a Wake Standard for Artificial Intelligence
From Communications of the ACM

Call For a Wake Standard for Artificial Intelligence

Suggesting a Voice Name System (VNS) to talk to any object in the world.

For Impactful Community Engagement
From Communications of the ACM

For Impactful Community Engagement: Check Your Role

Toward a more equitable distribution of the benefits of technological change.

Proposal
From Communications of the ACM

Proposal: A Market for Truth to Address False Ads on Social Media

Guaranteeing truth in advertising.
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account