July 2022 - Vol. 65 No. 7
Features
Opinion Editor's letter
I became Editor-in-Chief of Communications of the ACM to make the magazine again the forum where the computer science community shares its most important results.
Opinion Editorial
I am delighted to be joining Communications as a chair for the Viewpoints section. I hope to stir some vigorous debate about the impact of computing for both good and ill, about how the ACM community itself functions, and about its role in society more broadly.
Opinion Editorial
Exploring Questions and Answers in Computer Science Education
We embrace the broader vision of Communications as a place the computing community can come to stay abreast of areas other than its own and are excited to make computing education a part of that vision.
Opinion Departments
An Association of the Members, by the Members, for the Members
The ACM Future of Computing Academy and social-responsibility initiatives are both very important to the future of ACM, and ACM should not give up on them.
BLOG@CACM
The Dynamics of Remembering and Forgetting
Carlos Baquero and Rosa Cabecinhas consider how we make assumptions about authors' roles and relative contributions when reading papers.
Universities, and a growing number of companies, are producing brain-computer interfaces.
Using Makeup to Block Surveillance
Altering one's facial features with a special type of makeup can keep them from being recognized by artificial intelligence.
Opinion Legally speaking
Apple’s Challenge to Virtualization Software
Is it okay for security researchers to virtualize software to look for vulnerabilities?
Opinion Economic and business dimensions
The Future of Information Work
Considering the recent effects of remote work on network structure.
Opinion Privacy
Inscrutable cookie banners torment users while failing to inform consent.
Opinion Viewpoint
Seeking a new approach that goes beyond worst-case analysis.
Opinion Viewpoint
Some jargon can be offensive to newcomers and unintentionally shape our thoughts.
A deleted private key, a looming deadline, and a last chance to patch a new static root of trust into the bootloader.
Surveillance Too Cheap to Meter
Stopping Big Brother would require an expensive overhaul of the entire system.
Research and Advances Contributed articles
Toward Verified Artificial Intelligence
Making AI more trustworthy with a formal methods-based approach to AI system verification and validation.
Research and Advances Contributed articles
Language Models: Past, Present, and Future
A language modeling overview, highlighting basic concepts, intuitive explanations, technical achievements, and fundamental challenges.
Research and Advances Review articles
When Satisfiability Solving Meets Symbolic Computation
The science of less-than-brute force.
Research and Advances Research highlights
Technical Perspective: Evaluating Sampled Metrics Is Challenging
"On Sampled Metrics for Item Recommendation," by Walid Krichene and Steffen Rendle, exposes a crucial aspect for the evaluation of algorithms and tools: the impact of using sampled metrics instead of exactly computed metrics.
Research and Advances Research highlights
On Sampled Metrics for Item Recommendation
This paper investigates sampled metrics and shows that it is possible to improve the quality of sampled metrics by applying a correction, obtained by minimizing different criteria.
Research and Advances Research highlights
Technical Perspective: Visualization Search: From Sketching to Natural Language
"Expressive Querying for Accelerating Visual Analytics," by Tarique Siddiqui et al., provides a general abstraction, along with advanced interfaces, focusing on visualization search.
Research and Advances Research highlights
Expressive Querying for Accelerating Visual Analytics
In this work, we introduce the problem of visualization search and highlight two underlying challenges of search enumeration and visualization matching.