From the chair of ACM-W
Achieving Gender Equity: ACM-W Can't Do It Alone
Why, with so much sustained effort by so many individuals and organizations, is progress toward gender equity so slow?
A Comprehensive Self-Driving Car Test
Every few years, I have to pass a test from the Department of Motor Vehicles to drive my car. Shouldn't a self-driving car be required to do the same thing?
Letters to the editor
Toward an Equation that Anticipates AI Risks
It is our darkest fears that actually protect us the most. Could AI intensify such fears to levels beyond what we already know?
Protecting the Power Grid, and Finding Bias in Student Evaluations
The Communications Web site, http://cacm.acm.org, features more than a dozen bloggers in the BLOG@CACM community. In each issue of Communications, we'll publish selected posts or excerpts.twitterFollow us on Twitter at http:/ …
Quantum Technology Forgoes Unconditional Security to Extend its Reach
Two projects in China demonstrate the possibility of global quantum key distribution networks.
Serverless computing lets businesses and application developers focus on the program they need to run, without worrying about the machine on which it runs, or the resources it requires.
The War Over the Value of Personal Data
In a world increasingly dependent on turning personal data into profits, it is unclear how much that data is actually worth.
Risks of Trusting the Physics of Sensors
Protecting the Internet of Things with embedded security.
The Inclusive and Accessible Workplace
Maximizing the performance of neurodiverse talent.
Reducing the Attack Surface
Sometimes you can give the monkey a less-dangerous club.
Teaching Artificial Intelligence and Humanity
Considering rapidly evolving human-machine interactions.
Innovation from the Edges
How innovation originates from market participants with multiple perspectives about commercial value.
Titus: Introducing Containers to the Netflix Cloud
Approaching container adoption in an already cloud-native infrastructure.
Research For Practice: Private Online Communication; Highlights in Systems Verification
Expert-curated guides to the best of CS research.
Views from the Top
Try to see things from a manager's perspective.
The Next Phase in the Digital Revolution: Intelligent Tools, Platforms, Growth, Employment
Digital technology determines how (and even whether) people work as much as it determines how information produces economic activity.
A Large-Scale Comparative Study of Beta Testers and Regular Users
Beta testers should represent a future product's target users as much as possible.
Elements of the Theory of Dynamic Networks
The challenge of computing in a highly dynamic environment.
Technical Perspective: Building Bug-Free Compilers
What to do about buggy compilers? The authors of "Practical Verification of Peephole Optimizations with Alive" give us a compelling and practical answer.
Practical Verification of Peephole Optimizations with Alive
We created Alive, a domain-specific language for writing correct peephole optimizations and for automatically either proving them correct or else generating counterexamples.
Technical Perspective: Designing Algorithms and the Fairness Criteria They Should Satisfy
"Which Is the Fairest (Rent Division) of Them All?" focuses on the problem of rent division, and stands out in the variety of techniques applied to arrive at a solution.
Which Is the Fairest (Rent Division) of Them All?
What is a fair way to assign rooms to several housemates, and divide the rent between them? We develop a general algorithmic framework that enables the computation of solutions in polynomial time that optimize a criterion of …
Welcome to the Singularity
Who can say no to the hive mind's promise of cybernetic immortality, for free?