JavaScript Language Design and Implementation in Tandem
A proposal to first design a language in a mechanized specification, and the advantages that follow.
Software Engineering and Programming Languages
Advertisement
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.
Technical Perspective: Improving Refugees’ Integration with Online Resource Allocation
"Dynamic Placement in Refugee Resettlement," by Narges Ahani et al., applies online resource allocation concepts to a new and important area: refugee resettlement.
Language-Based Software Testing
Constraints over grammar elements can make test generation easier than ever.
The popularity of RISC-V and lower barriers to entry have led a number of parties to design some or all of an instruction set for the architecture.
Combining Machine Learning and Lifetime-Based Resource Management for Memory Allocation and Beyond
We introduce a two-step approach to attain high memory utilization in huge pages, which gives rise to a new methodology for applying Machine Learning in computer systems.
Technical Perspective: Learning-Based Memory Allocation for C++ Server Workloads
"Learning and Lifetime-Based Resource Management for Memory Allocation and Beyond," by Martin Maas et al., explores the potential of using imperfect information in the…
Co-Developing Programs and Their Proof of Correctness
There have been some successes with program verification systems, but they are still perceived as a niche activity for the most critical and specialized projects.
Measuring GitHub Copilot’s Impact on Productivity
A case study asks Copilot users about the tool's impact on their productivity, and seeks to find their perceptions mirrored in user data.
Computations for This World and out of This World
In many ways, my career has been chasing chances to do mathematics.
Fallout from an exploding bubble of hype triggered the real AI Winter in the late 1980s.
In software companies a natural conflict exists between security teams and product delivery teams—one's nature is to slow down progress, the other wants to speed it up.…
Why Bother Localizing Information Technology Products?
Alex Tray offers advice and insight into how and why to localize information technology products.
Creating the First Confidential GPUs
The team at NVIDIA brings confidentiality and integrity to user code and data for accelerated computing.
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