Issue Downloads
Controlling AI
The Communications website, https://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.
Follow us on Twitter at http://twitter.com/blogCACM
https:...
Biomedical Digital Twins
Considering the transformative possibilities of simulated models of biological phenomena and systems at multiple scales.
The Fight to Repair
How the battle over the right to repair is tipping in favor of consumers.
Using Psychology to Bolster Cybersecurity
Getting into the minds of attackers to protect the enterprise.
Generative AI as a New Innovation Platform
Considering the stability and longevity of a potential new foundational technology.
Certification of Safety-Critical Systems
Seeking new approaches toward ensuring the safety of software-intensive systems.
Barbershop Computing
- Madison C. Allen Kuyenga,
- Eleanor R. Glover Gladney,
- Michael Lachney,
- Marwin McKnight,
- Theodore S. Ransaw,
- Dominick Sanders,
- Aman Yadav
Moving education beyond computer science pipelines.
How Software Stifles Competition and Innovation
Factoring the slowing up of startups.
New Threats to Society from Free-Speech Social Media Platforms
Understanding emerging threats from social media platforms.
It Is Time to Let Go of 'Virtual Reality'
Advocating standardized terminology and reporting guidelines for mixed reality research.
Designing a Framework for Conversational Interfaces
Combining the latest advances in machine learning with earlier approaches.
Beyond the Repository
Best practices for open source ecosystems researchers.
Beyond Deep Fakes
A conceptual framework and research agenda for neural rendering of realistic digital faces.
Show It or Tell It? Text, Visualization, and Their Combination
When communicating information, language should be considered as co-equal with visualization.
Low-Code Programming Models
Low-code has the potential to empower more people to automate tasks by creating computer programs.
Generating and Exploiting Automated Reasoning Proof Certificates
- Haniel Barbosa,
- Clark Barrett,
- Byron Cook,
- Bruno Dutertre,
- Gereon Kremer,
- Hanna Lachnitt,
- Aina Niemetz,
- Andres Nötzli,
- Alex Ozdemir,
- Mathias Preiner,
- Andrew Reynolds,
- Cesare Tinelli,
- Yoni Zohar
Moving toward a full suite of proof-producing automated reasoning tools with SMT solvers that can produce full, independently checkable proofs for real-world problems.
Leveraging Social Media to Buy Fake Reviews
We study the market for fake product reviews on Amazon.com. Reviews are purchased in large private groups on Facebook and other sites. We hand collect data on these markets and then collect a panel of data on these products' ratings and reviews on Amazon,...
Locating Everyday Objects Using NFC Textiles
This paper builds a Near-Field Communication (NFC) based localization system that allows ordinary surfaces to locate surrounding objects with high accuracy in the near-field. While there is rich prior work on device-free localization using far-field ...