Journal & Article

Software Engineering

I/F
# Journal I/F

COMMUNICATIONS OF THE ACM

I Teach Computer Science, and That Is Not All The Emerging Face of Digital Dentistry Advancements in Weather Prediction Computer Science under Trump DeepSeek Inside: Origins, Technology, and Impact Beyond the Checkbox: Upgrading the Right to Opt Out AI Authorship Revisited Generative Artificial Intelligence Policies under the Microscope Fighting Crime Online As Government Outsources More IT, Highly Skilled In-House Technologists Are More Essential Understanding the Environmental Impact of Generative AI Services Making AI Less 'Thirsty' Efficiency Is Not Enough: A Critical Perspective on Environmentally Sustainable AI Toward Environmentally Equitable AI Energy-Optimized Supercomputer Networks Using Wind Energy Empowering Users to Make Sustainability-Forward Decisions for Computing Services Full Stack Recycling Approaches for Computing Devices Environmental Computing as a Branch of Science A Brazilian Perspective on Computing for the Planet’s Sustainability Defying Moore: Envisioning the Economics of a Semiconductor Revolution through 12nm Specialization The Rational Programmer: Investigating Programming Language Pragmatics Electoral Trickery Revenge of the Bots. Accept the Consequences. A Rewarding Line of Work. The Collapse of GPT. AI and Art. Bringing AI to the Edge. Computer Science and the Law. In Large Language Models We Trust? Analyzing Krazy Kode. What Is Programming? Thoughts about Some Surprising AI-Era Technology Readiness Findings. Web 3.0 Requires Data Integrity. Systems Correctness Practices at Amazon Web Services. Revolutionizing Datacenter Networks via Reconfigurable Topologies. From Prompt Engineering to Prompt Science with Humans in the Loop. Malicious AI Models Undermine Software Supply-Chain Security. When Proofs Meet Programs: An Extension of Dependent Type Theory with Church's Thesis. 'Upon This Quote I Will Build My Church Thesis'. A Symbolic Approach to Verifying Quantum Systems. An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits. Developing the Foundations of Reinforcment Learning. Big Tech, You Need Academia. Speak Up! In Pursuit of Professionalism. Shining a Light on AI Hallucinations. The Outlook for Programmers. Automating Tools for Prompt Engineering. The TikTok Ban and Its Consequences. Can We Build AI That Does Not Harm Queer People?