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.
Software Engineering and Programming Languages
Advertisement
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. The secret is to view security as an enabler, not a hindrance.
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.
The Perils of Leveraging Evil Digital Twins as Security-Enhancing Enablers
Seeking more secure and effective digital representations.
2023-2024 ACM Athena Lecturer Margo Seltzer recalls the motivations behind the development of the Berkeley DB database software library, and other achievements during her career.
Revamping Python for an AI World
Mojo has the same syntax as Python, but runs up to 35,000 times faster.
The Perils of ‘Stay In Your Lane’
That phrase translates roughly to "do your job and let others do theirs," but in our division, it was intended to stifle troublesome question-asking.
Lessons from PL/I: A Most Ambitious Programming Language
PL/I stands for Programming Language 1, and its aim was to be the Highlander of programming languages.
DevEX: What Actually Drives Productivity?
The developer-centric approach to measuring and improving productivity.
Scrambled Features for Breakfast: Concepts of Agile Language Development
Describing a framework to support simpler development of languages best suited to express the problems and solutions of each particular domain.
Boosting Fuzzer Efficiency: An Information Theoretic Perspective
In this paper, we take the fundamental perspective of fuzzing as a learning process.
Technical Perspective: What’s All the Fuss about Fuzzing?
"Boosting Fuzzer Efficiency: An Information Theoretic Perspective," by Marcel Böhme, Valentin J.M. Manès, and Sang Kil Cha, presents a novel twist to fuzzing that is shown to increase the central metric of the number of bugs found.
How to Ace IT Product Localization: The 101 Guide
Unlock global success with IT product localization. Discover how you can expand your reach and boost customer satisfaction through effective localization strategies.
The barriers to information generation and sharing have plummeted; information consumers can choose among billions of potential sources. This is information at scale.
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