Journal: Communications of the ACM

Volume 67, Issue 3

0 -- 0Leah Hoffmann. Verifying Correctness
5 -- 0Moshe Y. Vardi. What Do Computing and Economics Have to Say to Each Other?
6 -- 0David Patterson, Jeffrey M. Gilbert, Marco Gruteser, Efren Robles, Krishna Sekar, Yong Wei, Tenghui Zhu. Corrigendum for February 2024 Article
7 -- 0Thomas Morton. Computations for This World and out of This World
8 -- 10Robin K. Hill, Carlos Baquero. Pondering the Ugly Underbelly, and Whether Images Are Real
11 -- 13Samuel Greengard. Service Robots Roll Forward
14 -- 16Logan Kugler. The Battle to Mitigate E-Waste
17 -- 19Esther Shein. What's That Smell?
20 -- 0Simson L. Garfinkel, Eugene H. Spafford. In Memoriam: Niklaus Wirth
22 -- 24Filippo Gualtiero Blancato. Innovation Is Overrated: A Provocation
25 -- 28Pamela Samuelson. U.S. Copyright Office's Questions about Generative AI
29 -- 31Lorrie Faith Cranor, Yuvraj Agarwal, Pardis Emami Naeini. Internet of Things Security and Privacy Labels Should Empower Consumers
32 -- 35Peter J. Denning, B. Scot Rousse. Can Machines Be in Language?
36 -- 39Wojciech Mazurczyk, Dongwon Lee, Andreas Vlachos 0001. Disinformation 2.0 in the Age of AI: A Cybersecurity Perspective
40 -- 42Gordon Burtch, Dokyun Lee, Zhichen Chen. Generative AI Degrades Online Communities
44 -- 48Harsh Deokuliar, Raghvinder S. Sangwan, Yoaukim Badr, Satish M. Srinivasan. Improving Testing of Deep-Learning Systems
49 -- 51Kate Matsudaira. Software Managers' Guide to Operational Excellence
54 -- 63Albert Ziegler 0001, Eirini Kalliamvakou, X. Alice Li, Andrew Rice, Devon Rifkin, Shawn Simister, Ganesh Sittampalam, Edward Aftandilian. Measuring GitHub Copilot's Impact on Productivity
64 -- 73Saad Ahmed, Bashima Islam, Kasim Sinan Yildirim, Marco Zimmerling, Przemyslaw Pawelczak, Muhammad Hamad Alizai, Brandon Lucia, Luca Mottola, Jacob Sorber, Josiah D. Hester. The Internet of Batteryless Things
74 -- 83Benny Kimelfeld, Phokion G. Kolaitis. A Unifying Framework for Incompleteness, Inconsistency, and Uncertainty in Databases
84 -- 94Roderick Chapman, Claire Dross, Stuart Matthews, Yannick Moy. Co-Developing Programs and Their Proof of Correctness
96 -- 0Daniel Wichs. Technical Perspective: Hiding Secrets in Programs
97 -- 105Aayush Jain, Huijia Lin, Amit Sahai. Indistinguishability Obfuscation from Well-Founded Assumptions