The annual ACM International Collegiate Programming Contest (ICPC) shines the spotlight on the next generation of problem solvers during their university years. Allow me to recap the highlights of the 36th Annual ACM-ICPC World …
DEPARTMENT: Letters to the Editor
I concur wholeheartedly with the composability benefits outlined in "Why LINQ Matters: Cloud Composability Guaranteed" (Apr. 2012) due to my experience using composability principles to design and implement the message-dissemination …
John Langford poses questions about the direction of research for machine learning and algorithms. Ruben Ortega shares lessons about agile development practices like Scrum.
John Langford, Ruben Ortega
With the help of supercomputers, scientists are now able to create models of large-scale astronomical events.
The eight-person winning team used original computer algorithms to narrow the search space and then relied on human observation to move the pieces into their final positions.
Online behavioral advertising and sophisticated data aggregation have changed the face of advertising and put privacy in the crosshairs.
ACM's Committee for Women in Computing (ACM-W) is widening its reach to involve women in industry as well as academia, including community college faculty and students.
Karen A. Frenkel
COLUMN: Emerging markets
North Korea has a sizeable IT sector. Some 10,000 professionals work in the field, and many more have IT degrees. They are already engaged in outsourcing contracts for other countries, and are keen to expand further.
Sharing recent experiences with the massive open artificial intelligence course developed and conducted by Stanford faculty Sebastian Thrun and Peter Norvig.
Fred G. Martin
COLUMN: Privacy and security
Power, context, and control in networked publics.
COLUMN: Kode Vicious
Stopping to smell the code before wasting time reentering configuration data.
George V. Neville-Neil
COLUMN: Economic and business dimensions
Examining the uneven patterns of Internet economics.
Chris Forman, Avi Goldfarb, Shane Greenstein
Experiences with electronic voting suggest elections should not be conducted via the Internet.
Kai A. Olsen, Hans Fredrik Nordhaug
Viewing software engineering as a communicative art in which client engagement is essential.
An open standard that enables software-defined networking.
Thomas A. Limoncelli
Increasing parallelism demands new paradigms.
Rafael Vanoni Polanczyk
A first step toward programming 21st-century applications.
Manuel Serrano, Gérard Berry
SECTION: Contributed articles
How to have the best of location-based services while avoiding the growing threat to personal privacy.
Stephen B. Wicker
Traditional bias toward journals in citation databases diminishes the perceived value of conference papers and their authors.
Bjorn De Sutter, Aäron Van Den Oord
Using real event data to X-ray business processes helps ensure conformance between design and reality.
Wil Van Der Aalst
SECTION: Review articles
Imagine money you can carry and spend without a trace.
Scott Aaronson, Edward Farhi, David Gosset, Avinatan Hassidim, Jonathan Kelner, Andrew Lutomirski
SECTION: Research highlights
As information technology has come to permeate our society, broader classes of users have developed the need for more sophisticated data manipulation and processing. The following paper focuses on an important emerging area …
Martin C. Rinard
Millions of computer end users need to perform tasks over large spreadsheet data, yet lack the programming knowledge to do such tasks automatically. We present a methodology that allows end users to automate such repetitive tasks …
Sumit Gulwani, William R. Harris, Rishabh Singh
Proving a program's correctness is usually an all-or-nothing game.
Computer scientists have long believed that software is different from physical systems in one fundamental way: while the latter have continuous dynamics, the former do not. In this paper, we argue that notions of continuity …
Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman
COLUMN: Last byte
Welcome to three new puzzles. Each involves a collection of items, and your job is to find a subset of them that is characterized by a particular property.