Why is it that academic-unit reviews accomplish so little in spite of the significant effort both by the reviewed units and reviewing committees? There are three main reasons, I believe.
Moshe Y. Vardi
Page 5
Big ideas are, in some ways, organizing principles that point in the direction of useful research, development, and engineering. Interestingly, these simply stated goals may also motivate the development of business models for …
Vinton G. Cerf
Page 7
DEPARTMENT: Letters to the Editor
How important are skills in computational thinking for computing app constructors and for computing users in general?
CACM Staff
Page 8
DEPARTMENT: BLOG@CACM
Jeannette Wing considers the proliferation of computational thinking, while Dan Stanzione hopes to bring more HPC practitioners to SC16.
Jeannette M. Wing, Dan Stanzione
Pages 10-11
COLUMN: News
A theoretical breakthrough in graph isomorphism excites complexity experts, but will it lead to any practical improvements?
Neil Savage
Pages 12-14
The latest in machine learning helps high-energy physicists handle the enormous amounts of data produced by the Large Hadron Collider.
Marina Krakovsky
Pages 15-16
The Computing Research Association works to quantify the extent, and causes, of a jump in undergraduate computer science enrollments.
Lawrence M. Fisher
Pages 17-18
New apps help individuals contest traffic, parking tickets.
Keith Kirkpatrick
Pages 19-21
COLUMN: Legally speaking
Assessing an important recent design patent infringement court decision.
Pamela Samuelson
Pages 22-24
COLUMN: Historical reflections
His 1963 Integrated Data Store set the template for all subsequent database management systems.
Thomas Haigh
Pages 25-30
COLUMN: Computing ethics
Reconsidering traditional research ethics given the emergence of big data analytics.
Jacob Metcalf
Pages 31-33
COLUMN: Viewpoint
A proposal for a law to prevent artificial intelligence systems from being mistaken for humans.
Toby Walsh
Pages 34-37
Seeking a market-based solution to the problem of a person's unjustified inaccessibility to their private information.
Yuri Gurevich, Efim Hudis, Jeannette M. Wing
Pages 38-42
SECTION: Practice
The accepted wisdom does not always hold true.
Sachin Date
Pages 44-51
Reducing waste, encouraging experimentation, and making everyone happy.
Thomas A. Limoncelli
Pages 52-57
Applying statistical techniques to operations data.
Heinrich Hartmann
Pages 58-66
SECTION: Contributed articles
Satisfiability modulo theory solvers can help automate the search for the root cause of observable software errors.
Abhik Roychoudhury, Satish Chandra
Pages 68-77
Google's monolithic repository provides a common source of truth for tens of thousands of developers around the world.
Rachel Potvin, Josh Levenberg
Pages 78-87
The universal constant λ, the growth constant of polyominoes (think Tetris pieces), is rigorously proved to be greater than 4.
Gill Barequet, GÜnter Rote, Mira Shalah
Pages 88-95
SECTION: Review articles
Today's social bots are sophisticated and sometimes menacing. Indeed, their presence can endanger online ecosystems as well as our society.
Emilio Ferrara, Onur Varol, Clayton Davis, Filippo Menczer, Alessandro Flammini
Pages 96-104
SECTION: Research highlights
In "Probabilistic Theorem Proving," Gogate and Domingos suggest how PTP could be turned in a fast approximate algorithm by sampling from the set of children of a branch point.
Henry Kautz, Parag Singla
Page 106
Many representation schemes combining first-order logic and probability have been proposed in recent years. We propose the first method that has the full power of both graphical model inference and first-order theorem proving …
Vibhav Gogate, Pedro Domingos
Pages 107-115
Producing reports at the scale of Google Ads, where billions of clicks happen per day, is the challenge addressed by the Mesa system described in "Mesa: A Geo-Replicated Online Data Warehouse for Google's Advertising System."
Sam Madden
Page 116
Mesa is a highly scalable analytic data warehousing system that stores critical measurement data related to Google's Internet advertising business. This paper presents the Mesa system and reports the performance and scale that …
Ashish Gupta, Fan Yang, Jason Govig, Adam Kirsch, Kelvin Chan, Kevin Lai, Shuo Wu, Sandeep Dhoot, Abhilash Rajesh Kumar, Ankur Agiwal, Sanjay Bhansali, Mingsheng Hong, Jamie Cameron, Masood Siddiqi, David Jones, Jeff Shute, Andrey Gubarev, Shivakumar Venkataraman, Divyakant Agrawal
Pages 117-125
COLUMN: Last byte
A group of people is sitting around your dinner table with one empty chair. Each person has a name that begins with a different letter: A, B, C . . . Because you love puzzles, you ask them to rearrange themselves . . .
Dennis Shasha
Page 128