For the past five years, we have been co-chairs on
Communications' editorial board for the Contributed Articles and Review Articles sections. The articles we receive are representative of the expansive reach of information technology …
Alfred Aho, Georg Gottlob
Page 5
DEPARTMENT: From the President
Over the past decade, the Internet and its governance has become the topic of major discussion, debate, and controversy.
Vinton G. Cerf
Page 7
DEPARTMENT: Letters to the Editor
Gerard J. Holzmann's article "Mars Code" (Feb. 2014) demonstrated a nonblocking implementation of concurrent double-ended queues to not work through an application of Holzmann's own Spin model checker. However, the demonstration …
CACM Staff
Page 9
DEPARTMENT: BLOG@CACM
Mark Guzdial considers why computing education lags behind other sciences, while Daniel Reed weighs balancing immediate research needs against future uncertainty.
Mark Guzdial, Daniel Reed
Pages 10-11
COLUMN: News
Patient information databases eventually will help improve health outcomes and support development of new therapies.
Chris Edwards
Pages 13-15
The practical need for accurate instant or simultaneous machine translations continues to grow as applications multiply.
Paul Hyman
Pages 16-19
A European law spurs scientists to develop computational simulations capable of predicting the toxicity of cosmetics.
Gregory Mone
Pages 20-21
COLUMN: Technology strategy and management
Assessing the rapidly evolving realm of massive open online courses.
Michael A. Cusumano
Pages 24-26
COLUMN: Global computing
Encouraging the opportunities for digital innovation and invention to flourish in a variety of social environments.
Michael L. Best
Pages 27-29
COLUMN: Kode Vicious
The meaning of bits and avoiding upgrade bogdowns.
George V. Neville-Neil
Pages 30-31
COLUMN: Viewpoint
Seeking personalized data-derived insights from analysis of our digital traces.
Deborah Estrin
Pages 32-34
The current generation of general-purpose multicore hardware must be fixed to support more application domains and to allow cost-effective parallel programming.
Uzi Vishkin
Pages 35-39
SECTION: Practice
The edge of the Internet is an unruly place.
Paul Vixie
Pages 40-43
Becoming better, faster, cheaper, and happier.
Ivar Jacobson, Pan-Wei Ng, Ian Spence, Paul E. McMahon
Pages 44-50
Decoupled from IP, TCP is at last able to support multihomed hosts.
Christoph Paasch, Olivier Bonaventure
Pages 51-57
SECTION: Contributed articles
Student-participation data from the inaugural MITx (now edX) course — 6.002x: Circuits and Electronics — unpacks MOOC student behavior.
Daniel T. Seaton, Yoav Bergner, Isaac Chuang, Piotr Mitros, David E. Pritchard
Pages 58-65
With the help of computational proof assistants, formal verification could become the new standard for rigor in mathematics.
Jeremy Avigad, John Harrison
Pages 66-75
Scala unifies traditionally disparate programming-language philosophies to develop new components and component systems.
Martin Odersky, Tiark Rompf
Pages 76-86
SECTION: Review articles
AR systems pose potential security concerns that should be addressed before the systems become widespread.
Franziska Roesner, Tadayoshi Kohno, David Molnar
Pages 88-96
SECTION: Research highlights
Jacobson et al. construct a deformation method that allows a wide range of handle types (points, line segments, open and closed polygons) and produces deformations that are biharmonic functions.
Joe Warren
Page 98
Changing an object's shape is a basic operation in computer graphics. Our goal is to make the design and control of deformations simpler by allowing the user to work freely with the most convenient combination of handle types …
Alec Jacobson, Ilya Baran, Jovan Popović, Olga Sorkine-Hornung
Pages 99-106
COLUMN: Last byte
For some, data collecting will always be more rewarding than data mining.
Ken MacLeod
Pages 112-ff