During my presidency I will work to develop new initiatives to ensure that ACM provides ever-greater value to the global computing community.
Vicki L. Hanson
Page 5
Since 1951, there has been an annual meeting of Nobel laureates. It was decided last year to have a Nobel laureate address the participants of the Heidelberg Laureate Forum (HLF) and to have an HLF laureate address the participants …
Vinton G. Cerf
Page 7
DEPARTMENT: Letters to the Editor
Highly classified information on personal computers in the U.S. today is largely protected from the attacks Daniel Genkin et al. described in their article "Physical Key Extraction Attacks on PCs" (June 2016).
CACM Staff
Pages 8-9
DEPARTMENT: BLOG@CACM
During a trip to China, Jason Hong watches for signs of new technologies.
Jason Hong
Pages 10-11
COLUMN: News
The power of deep neural networks has sparked renewed interest in reinforcement learning, with applications to games, robotics, and beyond.
Marina Krakovsky
Pages 12-14
Open development and sharing of software gained widespread acceptance 15 years ago, and the practice is accelerating.
Gary Anthes
Pages 15-17
Mobile apps make it easier, faster, and cheaper to create massive impact on social causes ranging from world hunger to domestic violence.
Logan Kugler
Pages 18-20
COLUMN: Privacy and security
Computer security problems have far exceeded the limits of the human brain. What can we do about it?
Paul Kocher
Pages 22-25
COLUMN: Education
Seeking to reframe computational thinking as computational participation.
Yasmin B. Kafai
Pages 26-27
COLUMN: Kode Vicious
Keeping ego out of software-design review.
George V. Neville-Neil
Pages 28-29
COLUMN: Viewpoint
Considering the benefits and downsides of collaborative research.
Ben Shneiderman
Pages 30-31
SECTION: Practice
ShiViz is a new distributed system debugging visualization tool.
Ivan Beschastnikh, Patty Wang, Yuriy Brun, Michael D. Ernst
Pages 32-37
SQL has a brilliant future as a major figure in the pantheon of data representations.
Pat Helland
Pages 38-41
Microservices aren't for every company, and the journey isn't easy.
Tom Killalea
Pages 42-45
SECTION: Contributed articles
The aim is to improve cities' management of natural and municipal resources and in turn the quality of life of their citizens.
Rida Khatoun, Sherali Zeadally
Pages 46-57
John H. Holland's general theories of adaptive processes apply across biological, cognitive, social, and computational systems.
Stephanie Forrest, Melanie Mitchell
Pages 58-63
The skills and knowledge that earn promotions are not always enough to ensure success in the new position.
Leon Kappelman, Mary C. Jones, Vess Johnson, Ephraim R. McLean, Kittipong Boonme
Pages 64-70
SECTION: Review articles
Algorithmic advances take advantage of the structure of massive biological data landscape.
Bonnie Berger, Noah M. Daniels, Y. William Yu
Pages 72-80
SECTION: Research highlights
"Verifying Quantitative Reliability for Programs that Execute on Unreliable Hardware" by Carbin et al. addresses challenges related to a bug, how likely it is to occur, and how it will affect an application's behavior.
Todd Millstein
Page 82
We present Rely, a programming language that enables developers to reason about the quantitative reliability of an application — namely, the probability that it produces the correct result when executed on unreliable hardware …
Michael Carbin, Sasa Misailovic, Martin C. Rinard
Pages 83-91
Until now, the database in a Web application has been treated as a global variable, accessible to all. In "Ur/Web: A Simple Model for Programming the Web," Adam Chlipala suggests a better approach.
Philip Wadler
Page 92
This paper presents Ur/Web, a domain-specific, statically typed functional programming language that reduces the nest of Web standards for modern Web applications to a simple programming model.
Adam Chlipala
Pages 93-100
COLUMN: Last byte
Even a little genetic engineering can render us too comfortable for our own good.
Ken MacLeod
Pages 104-ff