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