Opinion Vardi's Insights
What Do Computing and Economics Have to Say to Each Other?
Computing is huge! Pay attention to optimistic economists.
March 2024 - Vol. 67 No. 3
Features
Corrigendum for February 2024 Research Article
A detailed explanation from the authors on the errors they caught and corrected in their February 2024 research article.
Computations for This World and out of This World
In many ways, my career has been chasing chances to do mathematics.
Pondering the Ugly Underbelly, and Whether Images are Real
Robin K. Hill teaches how proofs lead to the truth, while Carlos Baquero searches for truth in imagery.
Transitioning from classic 'programmed automation' to modern 'AI-powered autonomy.'
The Battle to Mitigate E-Waste
As electronic waste grows by the metric ton, companies and citizens work to stem the tide.
The overriding philosophy of computing pioneer Niklaus Wirth, who died on January 1, 2024, was that systems should be simple, efficient, and “elegant.”
Innovation Is Overrated: A Provocation
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.
U.S. Copyright Office’s Questions about Generative AI
Generating more questions than answers.
Internet of Things Security and Privacy Labels Should Empower Consumers
Designs should offer useful information and convenience.
Disinformation 2.0 in the Age of AI: A Cybersecurity Perspective
Why disinformation is a cyber threat.
Generative AI Degrades Online Communities
How large language models are influencing online communities.
Improving Testing of Deep-Learning Systems
A combination of differential and mutation testing results in better test data.
Software Managers’ Guide to Operational Excellence
The secret to being a great engineering leader.
Measuring GitHub Copilot’s Impact on Productivity
A case study asks Copilot users about the tool's impact on their productivity, and seeks to find their perceptions mirrored in user data.
The Internet of Batteryless Things
Energy-harvesting systems could reshape the Internet of Things.
A Unifying Framework for Incompleteness, Inconsistency, and Uncertainty in Databases
Deploying possible world semantics and the challenge of computing the certain answers to queries.
Co-Developing Programs and Their Proof of Correctness
There have been some successes with program verification systems, but they are still perceived as a niche activity for the most critical and specialized projects.
Technical Perspective: Hiding Secrets in Programs
"Indistinguishability Obfuscation from Well-Founded Assumptions," by Aayush Jain et al., gives a new construction of indistinguishability obfuscation that is provably secure.
Indistinguishability Obfuscation from Well-Founded Assumptions
We examine a formalization of the “one-way compiler" concept with the notion of indistinguishability obfuscation.
Yael Tauman Kalai on her career, proof systems, and certifying correctness.
