What Do Agile, Lean, and ITIL Mean to DevOps?
The value of learning skillsets within a trio of disciplines and the role each plays in DevOps.
Theory
Advertisement
MadMax: Analyzing the Out-of-Gas World of Smart Contracts
We identify gas-focused vulnerabilities and present MadMax: a static program analysis technique that automatically detects gas-focused vulnerabilities with very high confidence.
Technical Perspective: Two for the Price of One
"Lower Bounds for External Memory Integer Sorting via Network Coding" proves a remarkable connection between how efficiently computers can perform sorting and transmitting.
Lower Bounds for External Memory Integer Sorting via Network Coding
In this paper, we present a tight conditional lower bound on the complexity of external memory sorting of integers.
Technical Perspective: Analyzing Smart Contracts with MadMax
"MadMax: Analyzing the Out-of-Gas World of Smart Contracts," by Neville Grech et al., effectively discovers a new smart contract vulnerability, and proposes a detection approach based on a static analysis.
Teaching CS Undergrads Online to Work With Others Effectively
Orit Hazzan on the challenges of taking a CS soft skills class online after teaching it in a classroom for a decade.
Avalanches Make Us All Innovators
Avalanches generate enormous breakdowns. The practices of innovation adoption may be just what you need to resolve them.
Integrating Management Science Into the HPC Research Ecosystem
How management science benefits from High Performance Computing.
Is Persistent Memory Persistent?
A simple and inexpensive test of failure-atomic update mechanisms.
Keeping CALM: When Distributed Consistency Is Easy
In distributed systems theory, CALM presents a result that delineates the frontier of the possible.
Thorny Problems in Data (-Intensive) Science
Data scientists face challenges spanning academic and non-academic institutions.
To Catch a Failure: The Record-and-Replay Approach to Debugging
A discussion with Robert O'Callahan, Kyle Huey, Devon O'Dell, and Terry Coatta.
Technical Perspective: Supporting Linear Algebra Operations in SQL
Do we need a completely new database system to support machine learning?
Scalable Linear Algebra on a Relational Database System
We show that by making just a few changes to a parallel/distributed relational database system, such a system can become a competitive platform for scalable linear algebra.
Proposal: A Market for Truth to Address False Ads on Social Media
Guaranteeing truth in advertising.
For Impactful Community Engagement: Check Your Role
Toward a more equitable distribution of the benefits of technological change.
Call For a Wake Standard for Artificial Intelligence
Suggesting a Voice Name System (VNS) to talk to any object in the world.
The Best Place to Build a Subway
Building projects despite (and because of) existing complex systems.
The S-shaped curve of technology adoption is a welcome recurrence in an otherwise chaotic adoption world.
Studying Programming in the Neuroage: Just a Crazy Idea?
Programming research has entered the Neuroage.
We model the problem of identifying a good algorithm from data as a statistical learning problem.
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