Journal: Communications of the ACM

Volume 64, Issue 7

5 -- 0Moshe Y. Vardi. Program verification: vision and reality
7 -- 0Victoria Holt. Obtain a Ph.D. and a career in data
8 -- 9CACM Staff. Two sides of the software engineering coin
10 -- 12John Arquilla, Judi Fusco, Pati Ruiz, Jeremy Roschelle. Securing seabed cybersecurity, emphasizing intelligence augmentation
13 -- 15Samuel Greengard. Formal software verification measures up
16 -- 18Esther Shein. A battery-free internet of things
19 -- 21Paul Marks. The future of supply chains
22 -- 0Simson L. Garfinkel, Eugene H. Spafford. Charles M. Geschke (1939-2021)
24 -- 26Pamela Samuelson. Reimplementing software interfaces is fair use
27 -- 29Lorrie Faith Cranor. Lessons from the loo
30 -- 32Solon Barocas, Asia J. Biega, Margarita Boyarskaya, Kate Crawford 0002, Hal Daumé III, Miroslav Dudík, Benjamin Fish, Mary L. Gray, Brent Hecht, Alexandra Olteanu, Forough Poursabzi-Sangdeh, Luke Stark, Jennifer Wortman Vaughan, Hanna M. Wallach, Marion Zepf. Responsible computing during COVID-19 and beyond
33 -- 35Josep Domingo-Ferrer, David Sánchez 0001, Alberto Blanco-Justicia. The limits of differential privacy (and its misuse in data release and machine learning)
36 -- 38Diomidis Spinellis. Why computing students should contribute to open source software projects
39 -- 41Travis Breaux, Jennifer Moritz. The 2021 software developer shortage is coming
42 -- 49Chris Nokleberg, Brad Hawkes. Application frameworks
50 -- 56Theo Schlossnagle, Justin Sheehy, Chris McCubbin. Always-on time-series database: keeping up where there's no way to catch up
58 -- 65Yoshua Bengio, Yann LeCun, Geoffrey E. Hinton. Deep learning for AI
66 -- 71Bran Knowles, Vicki L. Hanson, Yvonne Rogers, Anne Marie Piper, Jenny Waycott, Nigel Davies 0001, Aloha May Hufana Ambe, Robin N. Brewer, Debaleena Chattopadhyay, Marianne Dee, David M. Frohlich, Marisela Gutierrez Lopez, Ben Jelen, Amanda Lazar, Radoslaw Nielek, Belén Barros Pena, Abi Roper, Mark Schlager, Britta Schulte, Irene Ye Yuan. The harm in conflating aging with accessibility
72 -- 79Mohammad Hossein Jarrahi, Gemma Newlands, Brian Butler 0001, Saiph Savage, Christoph Lutz, Michael Dunn, Steve Sawyer. Flexible work and personal digital infrastructures
82 -- 88Stephan Winter 0001, Timothy Baldwin, Martin Tomko, Jochen Renz, Werner Kuhn, Maria Vasardani. Spatial concepts in the conversation with a computer
90 -- 0Sriram Sankaranarayanan 0001. Technical perspective: An elegant model for deriving equations
91 -- 99Vasileios Tsoutsouras, Sam Willis, Phillip Stanley-Marbell. Deriving equations from sensor data using dimensional function synthesis
100 -- 0Jennifer Rexford. Technical perspective: Tracking pandemic-driven internet traffic
101 -- 108Anja Feldmann, Oliver Gasser, Franziska Lichtblau, Enric Pujol, Ingmar Poese, Christoph Dietzel, Daniel Wagner, Matthias Wichtlhuber, Juan Tapiador, Narseo Vallina-Rodriguez, Oliver Hohlfeld, Georgios Smaragdakis. A year in lockdown: how the waves of COVID-19 impact internet traffic
112 -- 0Dennis Shasha. String me along