DEPARTMENT: Editor's letter
It is time for the computing community to face up to computing's growing environmental impact—and take responsibility for it.
Andrew A. Chien
DEPARTMENT: Cerf's up
The Internet and the World Wide Web are dependent on the stewardship of a key set of non-profit institutions.
Vinton G. Cerf
While some people find mathematics befuddling, others find it elegant and beautiful. But the seductive power of mathematical beauty has come under criticism lately.
Moshe Y. Vardi
Members of the Computing Research Association suggest ways to broaden participation in computer science, while Saurabh Bagchi looks at use cases for big data.
Mary Hall, Richard Ladner, Diane Levitt, Manuel A. Pérez Quiñones, Saurabh Bagchi
How researchers are improving energy storage devices for power generated from renewable sources like solar and wind.
Wearable mobile machines integrate people and machines to assist the movement-impaired, and amplify the capabilities of industrial and defense workers while protecting them from injury.
Demand is expected to spike over the next few years, leading to higher prices and international trade issues.
COLUMN: Legally speaking
Considering the implications of the "link tax" provision of the proposed EU Directive for the Digital Single Market for traditional press publishers.
COLUMN: Economic and business dimensions
Time for balanced reflections on technology.
COLUMN: The profession of IT
A discussion of the rapidly evolving realm of practical cyber security.
Peter J. Denning
A call to rethink ethics and equity in computing education.
Sepehr Vakil, Jennifer Higgs
Envisioning computing education that both teaches and empowers.
Mike Tissenbaum, Josh Sheldon, Hal Abelson
Blockchain remains a mystery, despite its growing acceptance.
Four challenging work situations and how to handle them.
These attacks on statistical databases are no longer a theoretical danger.
Simson Garfinkel, John M. Abowd, Christian Martindale
SECTION: Contributed articles
The kind of causal inference seen in natural human thought can be "algorithmitized" to help produce human-level machine intelligence.
Metamorphic testing can test untestable software, detecting fatal errors in autonomous vehicles' onboard computer systems.
Zhi Quan Zhou, Liqun Sun
The system transforms raw telemetric data into engaging and informative blog texts readily understood by all.
Advaith Siddharthan, Kapila Ponnamperuma, Chris Mellish, Chen Zeng, Daniel Heptinstall, Annie Robinson, Stuart Benn, René Van Der Wal
A new model for describing the Internet reflects today's reality and the future's needs.
Pamela Zave, Jennifer Rexford
SECTION: Review articles
The need for deeply understanding when algorithms work (or not) has never been greater.
SECTION: Research highlights
Martin C. Rinard
We present a new approach for predicting program properties from large codebases (aka "Big Code").
Veselin Raychev, Martin Vechev, Andreas Krause
Whether there exists a deterministic parallel algorithm for bipartite matching remains an outstanding question at the frontiers of our understanding of the role of randomness in computation. The question has been (nearly) recently …
Nisheeth K. Vishnoi
In this article, we give an almost complete derandomization of the Isolation Lemma for perfect matchings in bipartite graphs.
Stephen Fenner, Rohit Gurjar, Thomas Thierauf
COLUMN: Last byte
Fei-Fei Li, co-director of Stanford University's Human-Centered AI Institute, wants to create algorithms that can learn the way human babies do.