Software Engineering and Programming Languages
Advertisement
Deconstructing the Bakery to Build a Distributed State Machine
A rigorous journey from the bakery algorithm to a distributed state machine.
DevSecOps: Resolving Disagreements Between Developers and Security Teams
Conflicts and disputes can arise between these adjacent teams; it is impossible to avoid them in the process of launching new products. And they certainly require a solution.
The Continual Re-Creation Of The Key-Value Datastore
The evolution of single machine key-value stores.
Sampling Near Neighbors in Search for Fairness
We propose several efficient data structures for the exact and approximate variants of the fair near neighbor problem.
Technical Perspective: Can Data Structures Treat Us Fairly?
In "Sampling Near Neighbors in Search for Fairness," Aumüller et al. investigate a basic problem in similarity search called near neighbor in the context of fair data structures.
The Seattle Report on Database Research
Every five years, a group of the leading database researchers meet to reflect on their community's impact on the computing industry as well as examine current research challenges.
Algorithmic fairness aims to remedy issues stemming from algorithmic bias.
ACM Fellow and A.M. Turing Award recipient Dana Scott reflects on his career.
Transforming Science through Cyberinfrastructure
NSF's vision for the U.S. cyberinfrastructure ecosystem for science and engineering in the 21st century.
Some small companies are making crowdwork part of their formal business via teams that can complete multifaceted, complex tasks requiring specialized expertise.
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.
The Future of Information Work
Considering the recent effects of remote work on network structure.
Toward Verified Artificial Intelligence
Making AI more trustworthy with a formal methods-based approach to AI system verification and validation.
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