DEPARTMENT: 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.
James Larus
Page 5
DEPARTMENT: 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 …
Jeanna Matthews
Page 7
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
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: BLOG@CACM
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
Quantum computation has a long road ahead.
Don Monroe
Pages 15-17
Universities, and a growing number of companies, are producing brain-computer interfaces.
Samuel Greengard
Pages 18-20
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
Is it okay for security researchers to virtualize software to look for vulnerabilities?
Pamela Samuelson
Pages 24-26
COLUMN: Economic and business dimensions
Considering the recent effects of remote work on network structure.
Longqi Yang, David Holtz, Sonia Jaffe, Siddharth Suri
Pages 27-29
COLUMN: Privacy
Inscrutable cookie banners torment users while failing to inform consent.
Lorrie Faith Cranor
Pages 30-32
COLUMN: Viewpoint
Seeking a new approach that goes beyond worst-case analysis.
Michael Mitzenmacher, Sergei Vassilvitskii
Pages 33-35
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
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
Stopping Big Brother would require an expensive overhaul of the entire system.
Poul-Henning Kamp
Pages 42-44
SECTION: Contributed articles
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
A language modeling overview, highlighting basic concepts, intuitive explanations, technical achievements, and fundamental challenges.
Hang Li
Pages 56-63
SECTION: Review articles
The science of less-than-brute force.
Curtis Bright, Ilias Kotsireas, Vijay Ganesh
Pages 64-72
SECTION: Research highlights
"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
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
"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
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
Probing for particles.
Dennis Shasha
Pages 96-ff