Gradual Differentially Private Programming
The adoption of type systems in recent years has been facilitated by gradual typing.
Software Engineering and Programming Languages
Advertisement
Requirements Engineering in Latin America: The Case of the WER
The Workshop on Requirements Engineering, a platform for research that addresses emerging trends and challenges, has been a springboard for emerging scholars.
Recent Advances on Principles of Concurrent Data Structures
Exploring new static and dynamic techniques on proving linearizability.
Ensuring application security from design to operation with DevSecOps.
Free and Open Source Software–and Other Market Failures
Computing has scientific roots, and if it is not open source, it is not science.
A Four-Stage Approach for Hiring Women on Your Engineering Team
Women’s success does not mean men lose something; there is a future where everyone can succeed.
Zero-Knowledge Proofs and Their Role within the Blockchain
An examination of the intricate world of zero-knowledge proofs and how they may be used to enhance blockchain security and privacy.
Utilizing Microservice Architectures in Scalable Web Applications
Microservices can be deployed and scaled independently, which facilitates faster development cycles and more resilient applications.
The Rise of the AI Co-Pilot: Lessons for Design from Aviation and Beyond
Co-pilot is a useful metaphor for describing how AI technology is intended to act in relation to human users.
From Open Access to Guarded Trust
Engineers stand at a unique confluence, where the exhilarating promise of innovation meets the sobering responsibility of trust stewardship.
Charles Babbage’s code sketches were the first attempt to specify how to mechanize complex algorithms with a computer.
Vendor Software Solutions in a Cloudy World
Assessing on-premise deployments vs. cloud-hosted solutions.
JavaScript Language Design and Implementation in Tandem
A proposal to first design a language in a mechanized specification, and the advantages that follow.
Technical Perspective: The Software-Centric Approach of SYNERGY
The advantages of a software rather than hardware approach to FPGA virtualization.
Compiler-Driven FPGA Virtualization with SYNERGY
SYNERGY virtualizes FPGAs to be used effectively in datacenters.
Nand to Tetris: Building a Modern Computer System from First Principles
CS course walks students through a step-by-step construction of a complete, general-purpose computer system—hardware and software—in one semester.
A Roadmap for Using Continuous Integration Environments
The rise of automated practices to enhance software evaluation.
The Risks of Source Code Breaches
Why attackers want your source code, and what to do about it.
Vendor-Locked DevOps Strategies
Cloud-agnostic and vendor-locked strategies are two sides of the same coin.
Adopting and Sustaining Microservice-Based Software Development
The microservice approach to software development offers an alternative to the conventional monolith style.
Dynamic Placement in Refugee Resettlement
In this paper, we design an online algorithm for refugee allocation.
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