08/2012
VOL. 55 NO. 08
Practice
Contributed Articles
Review Articles
42 OpenFlow: A Radical
New Idea in Networking
An open standard that enables
software-defined networking.
By Thomas A. Limoncelli
48 Extending the Semantics
of Scheduling Priorities
Increasing parallelism
demands new paradigms.
By Rafael Vanoni Polanczyk
53 Multitier Programming in Hop
A first step toward programming
21st-century applications.
By Manuel Serrano and Gérard Berry
Articles’ development led by
queue.acm.org
IllustratIons by jason Cook, brIan greenberg, spooky pooka at Début art
About the Cover:
Imagine money you can
spend without a trace
and without the worry
of loss or counterfeit.
enter quantum
information as the basis
for a better kind of money.
this month’s cover story
(p. 84) explores what
it would take to realize
quantum money. Cover
illustration by spooky
pooka at Début art.
60 The Loss of Location Privacy
in the Cellular Age
How to have the best of location-based services while avoiding the
growing threat to personal privacy.
By Stephen B. Wicker
69 To Be or Not To Be Cited
in Computer Science
Traditional bias toward journals
in citation databases diminishes
the perceived value of conference
papers and their authors.
By Bjorn De Sutter
and Aäron van den Oord
76 Process Mining
Using real event data to X-ray
business processes helps ensure
conformance between design
and reality.
By Wil van der Aalst
84 Quantum Money
Imagine money you can carry
and spend without a trace.
By Scott Aaronson, Edward Farhi,
David Gosset, Avinatan Hassidim,
Jonathan Kelner, and Andrew Lutomirski
Research Highlights
96 Technical Perspective
Example-Driven Program Synthesis
for End-User Programming
By Martin C. Rinard
97 Spreadsheet Data Manipulation
Using Examples
By Sumit Gulwani, William R. Harris,
and Rishabh Singh
106 Technical Perspective
Proving Programs Continuous
By Andreas Zeller
107 Continuity and Robustness
of Programs
By Swarat Chaudhuri, Sumit Gulwani,
and Roberto Lublinerman
