Transforming Science through Cyberinfrastructure
NSF's vision for the U.S. cyberinfrastructure ecosystem for science and engineering in the 21st century.
Computing Applications
Advertisement
Interpretable Machine Learning: Moving from Mythos to Diagnostics
A path forward for the ML community to address a stark disconnect.
Some small companies are making crowdwork part of their formal business via teams that can complete multifaceted, complex tasks requiring specialized expertise.
Conferences can renew our professional commitment and inspire thought on problems we face.
The future of over-the-counter at-home medical tests is trending toward multiple-malady detection.
Europe’s Blockchain: A Solution Struggling to Find a Problem
Decentralizing the chain of trust to a blockchain–also known as a distributed ledger–causes additional privacy and security issues.
NFT Thefts and What to Do About Them
When someone steals a non-fungible token (NFT), the options for recourse are not always clear.
Why Are There So Many Programming Languages?
Most languages differ less in what they make possible, and more in terms of what they make easy.
On Sampled Metrics for Item Recommendation
This paper investigates sampled metrics and shows that it is possible to improve the quality of sampled metrics by applying a correction, obtained by minimizing different criteria.
The Dynamics of Remembering and Forgetting
Carlos Baquero and Rosa Cabecinhas consider how we make assumptions about authors' roles and relative contributions when reading papers.
Universities, and a growing number of companies, are producing brain-computer interfaces.
Using Makeup to Block Surveillance
Altering one's facial features with a special type of makeup can keep them from being recognized by artificial intelligence.
Apple’s Challenge to Virtualization Software
Is it okay for security researchers to virtualize software to look for vulnerabilities?
The Future of Information Work
Considering the recent effects of remote work on network structure.
Surveillance Too Cheap to Meter
Stopping Big Brother would require an expensive overhaul of the entire system.
Toward Verified Artificial Intelligence
Making AI more trustworthy with a formal methods-based approach to AI system verification and validation.
Language Models: Past, Present, and Future
A language modeling overview, highlighting basic concepts, intuitive explanations, technical achievements, and fundamental challenges.
When Satisfiability Solving Meets Symbolic Computation
The science of less-than-brute force.
Expressive Querying for Accelerating Visual Analytics
In this work, we introduce the problem of visualization search and highlight two underlying challenges of search enumeration and visualization matching.
I became Editor-in-Chief of Communications of the ACM to make the magazine again the forum where the computer science community shares its most important results.
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