The Agency Trilemma and ACM
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.
In Response to 'Vardi's Insights'
Moshe Vardi's column, "The Agency Trilemma and ACM," misrepresents some decisions and actions made in regard to ACM's Open Access model.
Career paths in computing
Promote Sustainability and Help Underserved Communities
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. …
Teaching Other Teachers How to Teach CS Better
Mark Guzdial shares how he assesses the efforts of other computer science teachers.
A Satisfying Result
Formulating a decades-old geometric conjecture as a satisfiability problem opened the door to its final resolution.
A Traffic Cop for Low Earth Orbit
Who will be the space traffic controller for orbiting objects?
Catching the Fakes
Applying neural networks to images helps identify counterfeit goods.
Trustworthy Scientific Computing
Addressing the trust issues underlying the current limits on data sharing.
Law and technology
Software Professionals, Malpractice Law, and Codes of Ethics
In pursuit of professional status for computing professionals.
CS Unplugged or Coding Classes?
Perhaps a more appropriate question is 'Why not both'?
Technical Perspective: Robust Statistics Tackle New Problems
"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.
Understanding Law and the Rule of Law: A Plea to Augment CS Curricula
Why law matters for computer scientists and other folk.
Let's Be Honest
Seeking to rectify the two mutually exclusive ways of comparing computational power — encoding and simulation.
The 10 Best Practices for Remote Software Engineering
Focusing on the human element of remote software engineer productivity.
A closer look at the technology that makes portable electronics possible.
Enclaves in the Clouds
Legal considerations and broader implications
HCDA: From Computational Thinking to a Generalized Thinking Paradigm
As a new era in computing emerges, so too must our fundamental thinking patterns.
Implementing Insider Defenses
How to avoid insider cyber-attacks by creating a corporate culture that infuses trust.
What Serverless Computing Is and Should Become: The Next Phase of Cloud Computing
The evolution that serverless computing represents, the economic forces that shape it, why it could fail, and how it might fulfill its potential.
Robustness Meets Algorithms
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.
Isomorphism, Canonization, and Definability for Graphs of Bounded Rank Width
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.
Technical Perspective: A Logical Step Toward the Graph Isomorphism Problem
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.
Behold the Ch!Ld
Opportunity can come calling when you least expect it.
Automata Modulo Theories
Symbolic automata better balances how automata are implemented in practice.