Three-way conflict arises in professional societies, such as ACM, which have members, elected officials, and permanent staff. Aligning the interests of these three groups can be challenging.
Moshe Y. Vardi
DEPARTMENT: Editor's letter
Moshe Vardi's column, "The Agency Trilemma and ACM," misrepresents some decisions and actions made in regard to ACM's Open Access model.
Cherri M. Pancake, Andrew A. Chien
DEPARTMENT: Career paths in computing
Sustainability is the greatest challenge threatening mankind. The U.N.'s Sustainable Development Goals promote solutions for this threat. Computing, through a series of serendipitous events, has enabled me to join this fight. …
Caven Cade Mitchell
Mark Guzdial shares how he assesses the efforts of other computer science teachers.
Formulating a decades-old geometric conjecture as a satisfiability problem opened the door to its final resolution.
Applying neural networks to images helps identify counterfeit goods.
Who will be the space traffic controller for orbiting objects?
Addressing the trust issues underlying the current limits on data sharing.
COLUMN: Law and technology
In pursuit of professional status for computing professionals.
Bryan H. Choi
Perhaps a more appropriate question is 'Why not both'?
Why law matters for computer scientists and other folk.
Focusing on the human element of remote software engineer productivity.
Seeking to rectify the two mutually exclusive ways of comparing computational power — encoding and simulation.
Legal considerations and broader implications
Jatinder Singh, Jennifer Cobbe, Do Le Quoc, Zahra Tarkhani
A closer look at the technology that makes portable electronics possible.
SECTION: Contributed articles
How to avoid insider cyber-attacks by creating a corporate culture that infuses trust.
Eric Grosse, Fred B. Schneider, Lynette L. Millett
As a new era in computing emerges, so too must our fundamental thinking patterns.
Yuhang Liu, Xian-He Sun, Yang Wang, Yungang Bao
The evolution that serverless computing represents, the economic forces that shape it, why it could fail, and how it might fulfill its potential.
Johann Schleier-Smith, Vikram Sreekanti, Anurag Khandelwal, Joao Carreira, Neeraja J. Yadwadkar, Raluca Ada Popa, Joseph E. Gonzalez, Ion Stoica, David A. Patterson
SECTION: Review articles
Symbolic automata better balances how automata are implemented in practice.
Loris D'Antoni, Margus Veanes
SECTION: Research highlights
In "Isomorphism, Canonization, and Definability for Graphs of Bounded Rank Width," Grohe and Neuen show that the Weisfeiler-Leman algorithm in its plain form solves the isomorphism problem for bounded-rank width graphs.
In this paper we study the graph isomorphism problem and the closely related graph canonization problem as well as logical definability and descriptive complexity on graph classes of bounded rank width.
Martin Grohe, Daniel Neuen
"Robustness Meets Algorithms," by Ilias Diakonikolas, et al., represents the beginning of a long and productive line of work on robust statistics in high dimensions.
Jacob S. Steinhardt
We give the first efficient algorithm for estimating the parameters of a high-dimensional Gaussian that is able to tolerate a constant fraction of corruptions that is independent of the dimension.
Ilias Diakonikolas, Gautam Kamath, Daniel M. Kane, Jerry Li, Ankur Moitra, Alistair Stewart
COLUMN: Last byte
Opportunity can come calling when you least expect it.