Security Done Right Can Make Smart Cities Wise
Seeking security improvements for smart cities.
Theory
Advertisement
Exploring Ellen Ullman's 'Close to the Machine' and AMC's 'Halt and Catch Fire.'
Back-of-the-envelope calculations are a powerful professional practice.
Should two private companies have complete control over the world's cellphones?
Integrating ethics into artificial intelligence education and development.
The Future Is Big Graphs: A Community View on Graph Processing Systems
Ensuring the success of big graph processing for the next decade and beyond.
Technical Perspective: Does Your Experiment Smell?
"PlanAlyzer," by Emma Tosch et al., details PlanAlyzer software, the first tool to statically check the validity of online experiments.
PlanAlyzer: Assessing Threats to the Validity of Online Experiments
We present the first approach for checking the internal validity of online experiments statically, that is, from code alone.
Playing With, and Against, Computers
2019 ACM Computing Prize recipient David Silver on developing the AlphaGo algorithm, his fascination with Go, and on teaching computers to play.
A European Union Approach to Regulating Big Tech
Considering a new regulatory proposal for addressing digital market competition concerns.
There is much to be learned from the lower-level details of hardware.
Responsible AI: Bridging From Ethics to Practice
Recommendations for increasing the benefits of artificial intelligence technologies.
Science Needs to Engage With Society: Some Lessons From COVID-19
Recent experiences toward communicating science to the general public.
The Dogged Pursuit of Bug-Free C Programs: The Frama-C Software Analysis Platform
A panoramic view of a popular platform for C program analysis and verification.
Collaborations between two communities have unearthed a sweet spot for future programming efforts.
Optimal Auctions Through Deep Learning
We overview recent research results that show how tools from deep learning are shaping up to become a powerful tool for the automated design of near-optimal auctions.
Technical Perspective: The Quest for Optimal Multi-Item Auctions
"Optimal Auctions Through Deep Learning," by Paul Dütting et al., contributes a very interesting and forward-looking new take on the optimal multi-item mechanism computational challenge, initiating the use of deep learning for mechanism design.
Program Verification: Vision and Reality
In 1969, Tony Hoare wrote in "An Axiomatic Basis for Computer Programming" about mathematical certainty, great reliance, and confidence. In retrospect, the hope for "mathematical certainty" was idealized, and not fully realistic, I believe.
Formal Software Verification Measures Up
Verified coding techniques use mathematical proofs to ensure code is error-free and hacker-resistant. Can the approach revolutionize software?
Responsible Computing During COVID-19 and Beyond
Navigating the ethical and societal impacts of technologies.
The Limits of Differential Privacy (and Its Misuse in Data Release and Machine Learning)
Differential privacy is not a silver bullet for all privacy problems.
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