Toward Verified Artificial Intelligence
Making AI more trustworthy with a formal methods-based approach to AI system verification and validation.
Systems and Networking
Advertisement
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.
I am delighted to be joining Communications as a chair for the Viewpoints section. I hope to stir some vigorous debate about the impact of computing for both good and ill, about how the ACM community itself functions, and about its role in society more broadly.
Exploring Questions and Answers in Computer Science Education
We embrace the broader vision of Communications as a place the computing community can come to stay abreast of areas other than its own and are excited to make computing education a part of that vision.
An Association of the Members, by the Members, for the Members
The ACM Future of Computing Academy and social-responsibility initiatives are both very important to the future of ACM, and ACM should not give up on them.
Technical Perspective: Evaluating Sampled Metrics Is Challenging
"On Sampled Metrics for Item Recommendation," by Walid Krichene and Steffen Rendle, exposes a crucial aspect for the evaluation of algorithms and tools: the impact of using sampled metrics instead of exactly computed metrics.
Technical Perspective: Visualization Search: From Sketching to Natural Language
"Expressive Querying for Accelerating Visual Analytics," by Tarique Siddiqui et al., provides a general abstraction, along with advanced interfaces, focusing on visualization search.
Biometric markers are increasingly popular targets of data theft, potentially endangering far more than your locally stored information.
Where is the Cradle of the Computer?
The digital computer of today arose in the first half of the 1940s independently in three different countries: Germany, the U.K. and the U.S.
Existing and new technologies can help cut datacenters' carbon footprint.
AI as (an Ersatz) Natural Science?
The emergence of large learned models is changing the nature of artificial intelligence research in fundamental ways.
Enterprise Metrics and Optimization
Metrics are critical; without them, you are flying blind. But be careful what you try to optimize, because you might just get it.
Turing’s Influence on Computer Construction is Overestimated
How great was Turing's influence on early British automatic computers? Opinions differ considerably.
InnovateFPGA: Wrong Strategy Drives One of the Best FPGA Development Contests into Crisis
In my opinion, the main problem of the InnovateFPGA contest is the lack of a permanent team to lead.
Inventing an imaginary company helped me imagine how powerful it can be to have data available that permits fact-based analysis of business performance, projections for future business operations, and understanding of the marketplace the business serves.
Addressing Labor Shortages with Automation
Labor shortages have many companies turning to automation technology, but with mixed outcomes.
Depending on climate conditions, the availability of renewables and other factors, immersion cooling can make a profound difference in both energy consumption and costs.
A Deeper Understanding of Deep Learning
Kernel methods clarify why neural networks generalize so well.
Jack J. Dongarra is the recipient of the 2021 ACM A.M. Turing Award for his pioneering contributions to numerical algorithms and libraries that enabled high-performance computational software to keep pace with exponential hardware improvements for over four decades.
How detachment from your community blocks your success at leading innovations, and what to do about it.
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