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.
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 …
DEPARTMENT: Letters to the Editor
How important are skills in computational thinking for computing app constructors and for computing users in general?
Jeannette Wing considers the proliferation of computational thinking, while Dan Stanzione hopes to bring more HPC practitioners to SC16.
A theoretical breakthrough in graph isomorphism excites complexity experts, but will it lead to any practical improvements?
The latest in machine learning helps high-energy physicists handle the enormous amounts of data produced by the Large Hadron Collider.
The Computing Research Association works to quantify the extent, and causes, of a jump in undergraduate computer science enrollments.
New apps help individuals contest traffic, parking tickets.
COLUMN: Legally speaking
Assessing an important recent design patent infringement court decision.
COLUMN: Historical reflections
His 1963 Integrated Data Store set the template for all subsequent database management systems.
COLUMN: Computing ethics
Reconsidering traditional research ethics given the emergence of big data analytics.
A proposal for a law to prevent artificial intelligence systems from being mistaken for humans.
Seeking a market-based solution to the problem of a person's unjustified inaccessibility to their private information.
The accepted wisdom does not always hold true.
Reducing waste, encouraging experimentation, and making everyone happy.
Applying statistical techniques to operations data.
SECTION: Contributed articles
Satisfiability modulo theory solvers can help automate the search for the root cause of observable software errors.
Google's monolithic repository provides a common source of truth for tens of thousands of developers around the world.
The universal constant λ, the growth constant of polyominoes (think Tetris pieces), is rigorously proved to be greater than 4.
SECTION: Review articles
Today's social bots are sophisticated and sometimes menacing. Indeed, their presence can endanger online ecosystems as well as our society.
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.
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 …
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."
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 …
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 . . .