A Linearizability-based Hierarchy for Concurrent Specifications
Two linearizability-style correctness conditions that can be used to argue safety properties of progressively more concurrent behaviors of objects.
Computing Applications
Advertisement
From Quantum Computing to Quantum Communications
Attempting to disentangle mechanical principles.
Are Software Updates Useless against Advanced Persistent Threats?
Considering the conundrum of software updates.
A Computer Scientist with a Biologist’s Ambition: Advance Humanity
I became a computer science student without ever having seen a computer before.
Making AI Fair, and How to Use It
Marc Rotenberg looks at how an early AI study led to the 1974 Privacy Act, while Jeremy Roschelle considers different aspects of human-centric AI.
Making Traffic a Thing of the Past
New AI technologies are making it possible to autonomously reduce traffic.
The end of classical computer science is coming, and most of us are dinosaurs waiting for the meteor to hit.
The AI Ethicist’s Dirty Hands Problem
Attempting to balance sometimes-conflicting interests.
Distributed Latency Profiling through Critical Path Tracing
CPT can provide actionable and precise latency analysis.
Research for Practice: Crash Consistency
Keeping data safe in the presence of crashes is a fundamental problem.
What Do ChatGPT and AI-based Automatic Program Generation Mean for the Future of Software
ChatGPT is game-changing, the kind of thing that you witness once in a generation.
On the Evolution of Languages: Natural, Mathematical, and Computational
Comparing the evolution of natural languages, which are used by people all over the world, with two artificial languages: the language of mathematics and programing languages.
Researchers identify a security loophole in the wireless standard.
Often, "we do this and then we do that" is just a lazy way of stating "to do that, we must have achieved this."
I am certainly no philosopher, but as I observe the apparent erosion of agreement on factual evidence in our society. Somewhere along the line, critical thinking must be given the stature it deserves.
Technical Perspective: The ‘Art’ of Automatic Benchmark Extraction
"DIAMetrics," by Shaleen Deep et al., describes a versatile framework from Google for automatic extraction of benchmarks and their distributed execution and performance monitoring.
Is Having AI Generate Text Cheating?
Carlos Baquero on whether using artificial intelligence provides an unfair advantage to writers.
Preserving the Past with Immersive Technologies
Digital technologies such as virtual reality, augmented reality, and holograms allow museums and other institutions to preserve historical events and tell stories in an engaging way.
Quantum Computers and the Universe
Ideas for quantum computing change the way we think about space and time.
The Context Problem in Artificial Intelligence
The artificial intelligence design challenge of teaming humans and machines is difficult because machines cannot read the context of use.
Building a New Economy: Data, AI, and Web3
How distributed technologies could return more control to users.
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