DEPARTMENT:
Editor's letter
CACM Community
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.
James Larus
Page 5
DEPARTMENT:
Editorial
Embracing Critical Voices
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 …
Jeanna Matthews
Page 7
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.
Sally Fincher, Kathi Fisler
Page 9
DEPARTMENT:
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.
Moshe Y. Vardi
Page 11
DEPARTMENT:
[email protected]
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.
Carlos Baquero, Rosa Cabecinhas
Pages 12-13
COLUMN:
News
Building a Practical Quantum Computer
Quantum computation has a long road ahead.
Don Monroe
Pages 15-17
Brain Implants Get Real
Universities, and a growing number of companies, are producing brain-computer interfaces.
Samuel Greengard
Pages 18-20
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.
Esther Shein
Pages 21-23
COLUMN:
Legally speaking
Apple's Challenge to Virtualization Software
Is it okay for security researchers to virtualize software to look for vulnerabilities?
Pamela Samuelson
Pages 24-26
COLUMN:
Economic and business dimensions
The Future of Information Work
Considering the recent effects of remote work on network structure.
Longqi Yang, David Holtz, Sonia Jaffe, Siddharth Suri
Pages 27-29
COLUMN:
Privacy
Cookie Monster
Inscrutable cookie banners torment users while failing to inform consent.
Lorrie Faith Cranor
Pages 30-32
COLUMN:
Viewpoint
Algorithms with Predictions
Seeking a new approach that goes beyond worst-case analysis.
Michael Mitzenmacher, Sergei Vassilvitskii
Pages 33-35
Words Matter
Some jargon can be offensive to newcomers and unintentionally shape our thoughts.
Juan E. Gilbert, Stephanie Ludi, David A. Patterson, Lisa M. Smith
Page 36
SECTION:
Practice
The Keys to the Kingdom
A deleted private key, a looming deadline, and a last chance to patch a new static root of trust into the bootloader.
Phil Vachon
Pages 38-41
Surveillance Too Cheap to Meter
Stopping Big Brother would require an expensive overhaul of the entire system.
Poul-Henning Kamp
Pages 42-44
SECTION:
Contributed articles
Toward Verified Artificial Intelligence
Making AI more trustworthy with a formal methods-based approach to AI system verification and validation.
Sanjit A. Seshia, Dorsa Sadigh, S. Shankar Sastry
Pages 46-55
Language Models: Past, Present, and Future
A language modeling overview, highlighting basic concepts, intuitive explanations, technical achievements, and fundamental challenges.
Hang Li
Pages 56-63
SECTION:
Review articles
When Satisfiability Solving Meets Symbolic Computation
The science of less-than-brute force.
Curtis Bright, Ilias Kotsireas, Vijay Ganesh
Pages 64-72
SECTION:
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. …
Fabio Vandin
Page 74
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.
Walid Krichene, Steffen Rendle
Pages 75-83
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.
Bill Howe
Page 84
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.
Tarique Siddiqui, Paul Luh, Zesheng Wang, Karrie Karahalios, Aditya G. Parameswaran
Pages 85-94
COLUMN:
Last byte
Exclusivity Probes
Probing for particles.
Dennis Shasha
Pages 96-ff