In Memoriam: Charles W. Bachman 1924-2017
An engineer was best known for his work in database management systems, and in techniques of layered architecture that include Bachman diagrams.
Computing Profession
Advertisement
Adding Humanity to Smart Machines
A chat with former World Chess Champion Garry Kasparov about his new book, machine intelligence, and human creativity.
Conference Organizers Say .s. Travel Ban Not A Disaster – Yet
Travel restrictions appear to have had minimal impact on conference attendance so far.
Jean E. Sammet, an American computer scientist who served as the first female president of ACM, passed away on May 21 at the age of 89.
Seeking multidisciplinary research into the rapidly evolving gig-economy.
Reimagining the Avatar Dream: Modeling Social Identity in Digital Media
Explore the limits of using the computer to imagine yourself as whomever or whatever you want to be.
Information and communication technology patents are more influential on subsequent inventions than are other types of patents.
While this is not intended to be a dystopian rant, I feel strongly motivated to draw attention to the fragile and interdependent future we are creating through the use of programmable devices and systems.
Today’s Communications of the ACM
It is with great pleasure that I take the helm as the ninth Editor-in-Chief of Communications, the flagship publication and ACM's vessel for the most important and interesting happenings across the field of computing.
The Informal Guide to ACM Fellow Nominations
Recommendations for a successful nomination process.
Research For Practice: Tracing and Debugging Distributed Systems; Programming By Examples
Expert-curated guides to the best of CS research.
‘Generation CS’ Drives Growth in Enrollments
Undergraduates who understand the importance of computer science have been expanding the CS student cohort for more than a decade.
Ironfleet: Proving Safety and Liveness of Practical Distributed Systems
We demonstrate the methodology on a complex implementation of a Paxos-based replicated state machine library and a lease-based sharded key-value store. With our methodology and lessons learned, we aim to raise the standard for distributed systems from "tested" to "correct."
Technical Perspective: Ironfleet Simplifies Proving Safety and Liveness Properties
"IronFleet: Proving Safety and Liveness of Practical Distributed Systems," by Chris Hawblitzel, et al., describes mechanically checked proofs for two non-trivial distributed services: A Paxos-based library to support replication and a shared key-value store.
Inference and Auction Design in Online Advertising
Econometrics is a key component to gauging user satisfaction and advertisers' profits.
A robust and resilient Internet of Things framework is critical for future progress. New and emerging concepts may illuminate the path.
The abstraction from big data on English words of distributed vector representations computing simple semantic aspects has drawn interest from the computing community.
Considering guiding principles for artificial intelligence with regard to privacy and security.
Three Icpc Finalists and the Tech Gender Gap
Three female participants of the 2017 ACM International Collegiate Programming Contest World Finals consider their role in the contest, and in computer science.
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