DEPARTMENT: Departments
In 1969, Tony Hoare wrote in "An Axiomatic Basis for Computer Programming" about mathematical certainty, great reliance, and confidence. In retrospect, the hope for "mathematical certainty" was idealized, and not fully realistic …
Moshe Y. Vardi
Page 5
DEPARTMENT: Career paths in computing: Computing enabled me to …
Innovative new approaches to learning are enabling people to gain skills that are vital in today's workplace.
Victoria Holt
Page 7
DEPARTMENT: Editor's letter
Two columns from the January 2021 Communications: Michael A. Cusumano's "Technology Strategy and Management" and Thomas Haigh's "Historical Reflections," offer a stark contrast with respect to the engineering profession.
CACM Staff
Pages 8-9
DEPARTMENT: BLOG@CACM
John Arquilla considers the outlook for undersea cyberwar, while Judi Fusco, Pati Ruiz, and Jeremy Roschelle discuss how building equitable applications in education requires an emphasis on augmenting intelligence.
John Arquilla, Judi Fusco, Pati Ruiz, Jeremy Roschelle
Pages 10-12
COLUMN: News
Verified coding techniques use mathematical proofs to ensure code is error-free and hacker-resistant. Can the approach revolutionize software?
Samuel Greengard
Pages 13-15
The Internet of Things can thrive without hardwired or consumable power sources.
Esther Shein
Pages 16-18
Droids, drones, and driverless technologies are fueling a supply chain revolution.
Paul Marks
Pages 19-21
Charles M. Geschke helped create the modern world of computing, where beautiful typography and expressive, artistic graphics are as integral to most users' experience as numbers and text.
Simson Garfinkel, Eugene H. Spafford
Page 22
COLUMN: Legally speaking
A multifactored rationale for denying Oracle's claim against Google.
Pamela Samuelson
Pages 24-26
COLUMN: Privacy
Illustrating privacy concepts with potty talk.
Lorrie Faith Cranor
Pages 27-29
COLUMN: Computing ethics
Navigating the ethical and societal impacts of technologies.
Solon Barocas, Asia J. Biega, Margarita Boyarskaya, Kate Crawford, Hal Daumé III, Miroslav Dudík, Benjamin Fish, Mary L. Gray, Brent Hecht, Alexandra Olteanu, Forough Poursabzi-Sangdeh, Luke Stark, Jennifer Wortman Vaughan, Hanna Wallach, Marion Zepf
Pages 30-32
COLUMN: Viewpoint
Differential privacy is not a silver bullet for all privacy problems.
Josep Domingo-Ferrer, David Sánchez, Alberto Blanco-Justicia
Pages 33-35
Acquiring developer-prized practical skills, knowledge, and experiences.
Diomidis Spinellis
Pages 36-38
Companies must address the difficulty of hiring and retaining high-skilled employees from an increasingly smaller labor supply.
Travis Breaux, Jennifer Moritz
Pages 39-41
SECTION: Practice
While powerful, frameworks are not for everyone.
Chris Nokleberg, Brad Hawkes
Pages 42-49
A discussion with Theo Schlossnagle, Justin Sheehy, and Chris McCubbin.
Theo Schlossnagle, Justin Sheehy, Chris McCubbin
Pages 50-56
SECTION: Turing lecture
How can neural networks learn the rich internal representations required for difficult tasks such as recognizing objects or understanding language?
Yoshua Bengio, Yann Lecun, Geoffrey Hinton
Pages 58-65
SECTION: Contributed articles
Including older adults as full stakeholders in digital society.
Bran Knowles, Vicki L. Hanson, Yvonne Rogers, Anne Marie Piper, Jenny Waycott, Nigel Davies, Aloha Hufana Ambe, Robin N. Brewer, Debaleena Chattopadhyay, Marianne Dee, David Frohlich, Marisela Gutierrez-Lopez, Ben Jelen, Amanda Lazar, Radoslaw Nielek, Belén Barros Pena, Abi Roper, Mark Schlager, Britta Schulte, Irene Ye Yuan
Pages 66-71
PDIs are emerging as alternative sociotechnical infrastructures to enhance flexible work arrangments.
Mohammad Hossein Jarrahi, Gemma Newlands, Brian Butler, Saiph Savage, Christoph Lutz, Michael Dunn, Steve Sawyer
Pages 72-79
SECTION: Review articles
Conversing about places with a computer poses a range of challenges to current AI.
Stephan Winter, Timothy Baldwin, Martin Tomko, Jochen Renz, Werner Kuhn, Maria Vasardani
Pages 82-88
SECTION: Research highlights
"Deriving Equations from Sensor Data Using Dimensional Function Synthesis," by Vasileios Tsoutsouras, et al., addresses the key problem of discovering relationships that hold between physical quantities from data using dimensional …
Sriram Sankaranarayanan
Page 90
We present a new method, which we call dimensional function synthesis, for deriving functions that model the relationship between multiple signals in a physical system.
Vasileios Tsoutsouras, Sam Willis, Phillip Stanley-Marbell
Pages 91-99
"A Year in Lockdown," by Anja Feldmann, et al., offers a detailed look at how Internet traffic changed during the COVID-19 pandemic.
Jennifer Rexford
Page 100
We review the impact of the first year of the COVID-19 pandemic on Internet traffic in order to analyze its performance.
Anja Feldmann, Oliver Gasser, Franziska Lichtblau, Enric Pujol, Ingmar Poese, Christoph Dietzel, Daniel Wagner, Matthias Wichtlhuber, Juan Tapiador, Narseo Vallina-Rodriguez, Oliver Hohlfeld, Georgios Smaragdakis
Pages 101-108
COLUMN: Last byte
Seeking the ever-elusive shortest path.
Dennis Shasha
Page 112