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 Profession
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.
Computing Divided: How Wide the Chasm?
Four years have seen accelerating division and growing fissures driven by international geopolitics and increasing technology and trade restrictions. The world is at an inflection point. What should ACM do?
For the U.S. to compete with China, the U.S. is using Chinese talent. Approximately 65% of doctoral students in computing in North America are international students. My estimate is that this pool is dominated by Chinese students.
A Computer Scientist with a Biologist’s Ambition: Advance Humanity
I became a computer science student without ever having seen a computer before.
Making Traffic a Thing of the Past
New AI technologies are making it possible to autonomously reduce traffic.
In Memoriam: Frederick P. Brooks, Jr. 1931-2022
Frederick P. Brooks, Jr. "was a statesman in the best sense of the word, as well as a great leader, a very kind man, and a fine engineer," said fellow ACM A.M. Turing Award winner and ACM Fellow Ivan Sutherland.
Computer scientist Valérie Issarny, a director of research at France's National Institute for Research in Digital Science and Technology and chair of the ACM Europe Council since October 2021, passed away November 12, 2022.
Are We Cobblers without Shoes?: Making Computer Science Data FAIR
In search of more efficient data sharing.
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.
Research for Practice: Crash Consistency
Keeping data safe in the presence of crashes is a fundamental problem.
Did Grace Hopper Create the First Compiler?
Heinz Rutishauser (ETH Zurich, Switzerland) is regarded as the developer of automatic programming.
Does peer review change authors' perception of their own papers?
Researchers identify a security loophole in the wireless standard.
Early Computers in Continental Europe
About the Bark (binär automatisk relä-kalkylator, binary automatic relay computer) and Besk (binär elektronisk sekvens kalkylator, binary electronic sequential computer).
New systems like chatGPT are enormously entertaining, and even mind-boggling, but also unreliable, and potentially dangerous.
Will Free Open Access Publication Become a Mass Phenomenon?
In this blog post, I would like to go over the value of different publication platforms from the point of view of an ordinary scientific researcher.
Often, "we do this and then we do that" is just a lazy way of stating "to do that, we must have achieved this."
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