Program Correctness through Self-Certification
Self-certification is simpler to apply than formal verification, and fully validates only the program runs that actually occur.
The Hidden Risks of URL-Shortening in Scientific Review
Reviewers, authors, and editors all have a role to play in protecting fairness and objectivity in the blind review process.
It simply is not appropriate to write code that will be connected to the Internet in an unsafe language such as C.
How Software Bugs led to ‘One of the Greatest Miscarriages of Justice’ in British History
Bad coding and bad testing characterize the software that led to wrongful convictions, financial ruin, and four suicides.
What We're Reading
Opinion
Views on issues of broad interest to the computing community
BLOG@CACM
Thought leaders discuss relevant computing topics
Explore the latest issue
Table of Contents
Video
The realization of a self-designing software system is faced with key challenges.
Thinking of Algorithms as Institutions
Algorithms are not just lines of code; they are architectures that organize complex systems of interactions involving machines and humans.
The EU AI Act and the Wager on Trustworthy AI
The EU AI Act serves as a reminder for developers to always prioritize the well being of individuals and society as a whole.
It simply is not appropriate to write code that will be connected to the Internet in an unsafe language such as C.
Shape the Future of Computing
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get InvolvedCommunications of the ACM (CACM) is now a fully Open Access publication.
By opening CACM to the world, we hope to increase engagement among the broader computer science community and encourage non-members to discover the rich resources ACM has to offer.
Learn More