DEPARTMENT: Departments
A culminating chapter in the information revolution is the development of computing and communication technologies in the 20th century, where we learned to transmit as well as process information.
Moshe Y. Vardi
Page 5
DEPARTMENT: Editor's Letter
In the February 2024 Communications article titled, "Energy and Emissions of Machine Learning on Smartphones vs. the Cloud," the authors found and corrected two arithmetic errors after it was printed. The following is a detailed …
David Patterson, Jeffrey M. Gilbert, Marco Gruteser, Efren Robles, Krishna Sekar, Yong Wei, Tenghui Zhu
Page 6
DEPARTMENT: Career Paths in Computing
In many ways, my career has been chasing chances to do mathematics.
Thomas Morton
Page 7
DEPARTMENT: BLOG@CACM
Robin K. Hill teaches how proofs lead to the truth, while Carlos Baquero searches for truth in imagery.
Robin K. Hill, Carlos Baquero
Pages 8-10
COLUMN: News
Transitioning from classic 'programmed automation' to modern 'AI-powered autonomy.'
Samuel Greengard
Pages 11-13
As electronic waste grows by the metric ton, companies and citizens work to stem the tide.
Logan Kugler
Pages 14-16
Digital scent technologies bring aromas to virtual reality.
Esther Shein
Pages 17-19
The overriding philosophy of computing pioneer Niklaus Wirth, who died on January 1, 2024, was that systems should be simple, efficient, and "elegant."
Simson Garfinkel, Eugene H. Spafford
Page 20
COLUMN: Opinion
Digital innovation is not working in the interest of the whole of society. It is time to radically rethink its purpose without sacrificing the benefits it entails.
Filippo Gualtiero Blancato
Pages 22-24
COLUMN: Legally Speaking
Generating more questions than answers.
Pamela Samuelson
Pages 25-28
COLUMN: Privacy
Designs should offer useful information and convenience.
Lorrie Faith Cranor, Yuvraj Agarwal, Pardis Emami-Naeini
Pages 29-31
COLUMN: The Profession of IT
Large language models brought language to machines. Machines are not up to the challenge.
Peter Denning, B. Scot Rousse
Pages 32-35
COLUMN: Opinion
Why disinformation is a cyber threat.
Wojciech Mazurczyk, Dongwon Lee, Andreas Vlachos
Pages 36-39
How large language models are influencing online communities.
Gordon Burtch, Dokyun Lee, Zhichen Chen
Pages 40-42
SECTION: Practice
A combination of differential and mutation testing results in better test data.
Harsh Deokuliar, Raghvinder S. Sangwan, Yoaukim Badr, Satish M. Srinivasan
Pages 44-48
The secret to being a great engineering leader? Setting up the right checks and balances.
Kate Matsudaira
Pages 49-51
SECTION: Research
Case study asks Copilot users about its impact on their productivity, and seeks to find their perceptions mirrored in user data.
Albert Ziegler, Eirini Kalliamvakou, X. Alice Li, Andrew Rice, Devon Rifkin, Shawn Simister, Ganesh Sittampalam, Edward Aftandilian
Pages 54-63
Batteryless, energy-harvesting systems could reshape the Internet of Things into a more sustainable societal infrastructure.
Saad Ahmed, Bashima Islam, Kasim Sinan Yildirim, Marco Zimmerling, Przemysław Pawełczak, Muhammad Hamad Alizai, Brandon Lucia, Luca Mottola, Jacob Sorber, Josiah Hester
Pages 64-73
Deploying possible world semantics and the challenge of computing the certain answers to queries.
Benny Kimelfeld, Phokion G. Kolaitis
Pages 74-83
The SPARK programming language and analyzer.
Roderick Chapman, Claire Dross, Stuart Matthews, Yannick Moy
Pages 84-94
SECTION: Research Highlights
"Indistinguishability Obfuscation from Well-Founded Assumptions," by Aayush Jain et al., gives a new construction of indistinguishability obfuscation that is provably secure.
Daniel Wichs
Page 96
We examine a formalization of the "one-way compiler" concept with the notion of indistinguishability obfuscation.
Aayush Jain, Huijia Lin, Amit Sahai
Pages 97-105
COLUMN: Last Byte
Yael Tauman Kalai on her career, proof systems, and certifying correctness.
Leah Hoffmann
Pages 108-ff