5 | -- | 0 | Moshe Y. Vardi. Program verification: vision and reality |
7 | -- | 0 | Victoria Holt. Obtain a Ph.D. and a career in data |
8 | -- | 9 | CACM Staff. Two sides of the software engineering coin |
10 | -- | 12 | John Arquilla, Judi Fusco, Pati Ruiz, Jeremy Roschelle. Securing seabed cybersecurity, emphasizing intelligence augmentation |
13 | -- | 15 | Samuel Greengard. Formal software verification measures up |
16 | -- | 18 | Esther Shein. A battery-free internet of things |
19 | -- | 21 | Paul Marks. The future of supply chains |
22 | -- | 0 | Simson L. Garfinkel, Eugene H. Spafford. Charles M. Geschke (1939-2021) |
24 | -- | 26 | Pamela Samuelson. Reimplementing software interfaces is fair use |
27 | -- | 29 | Lorrie Faith Cranor. Lessons from the loo |
30 | -- | 32 | Solon 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 | -- | 35 | Josep Domingo-Ferrer, David Sánchez 0001, Alberto Blanco-Justicia. The limits of differential privacy (and its misuse in data release and machine learning) |
36 | -- | 38 | Diomidis Spinellis. Why computing students should contribute to open source software projects |
39 | -- | 41 | Travis Breaux, Jennifer Moritz. The 2021 software developer shortage is coming |
42 | -- | 49 | Chris Nokleberg, Brad Hawkes. Application frameworks |
50 | -- | 56 | Theo Schlossnagle, Justin Sheehy, Chris McCubbin. Always-on time-series database: keeping up where there's no way to catch up |
58 | -- | 65 | Yoshua Bengio, Yann LeCun, Geoffrey E. Hinton. Deep learning for AI |
66 | -- | 71 | Bran 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 | -- | 79 | Mohammad Hossein Jarrahi, Gemma Newlands, Brian Butler 0001, Saiph Savage, Christoph Lutz, Michael Dunn, Steve Sawyer. Flexible work and personal digital infrastructures |
82 | -- | 88 | Stephan Winter 0001, Timothy Baldwin, Martin Tomko, Jochen Renz, Werner Kuhn, Maria Vasardani. Spatial concepts in the conversation with a computer |
90 | -- | 0 | Sriram Sankaranarayanan 0001. Technical perspective: An elegant model for deriving equations |
91 | -- | 99 | Vasileios Tsoutsouras, Sam Willis, Phillip Stanley-Marbell. Deriving equations from sensor data using dimensional function synthesis |
100 | -- | 0 | Jennifer Rexford. Technical perspective: Tracking pandemic-driven internet traffic |
101 | -- | 108 | 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. A year in lockdown: how the waves of COVID-19 impact internet traffic |
112 | -- | 0 | Dennis Shasha. String me along |