Journal & Article

Software Engineering

I/F
# Journal I/F

COMMUNICATIONS OF THE ACM

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? Boolean Clashes: Discretionary Decision Making in AI-Driven Recruiting. The Pollution of AI. Deterministic Record-and-Replay. Ransomware: Extortion Is My Business. Envisioning Recommendations on an LLM-Based Agent Platform. 'What I Think about When I Type about Talking': Reflections on Text-Entry Acceleration Interfaces. Can We Measure the Impact of a Database? Toward a Generalized Accelerator for Genome Sequence Analysis. GenDP: A Framework of Dynamic Programming Acceleration for GenomeSequencing Analysis. A Write-Optimized Distributed B+Tree Index on Disaggregated Memory. Designing an Efficient Tree Index on Disaggregated Memory. Explorers' Intangible Power. Remember Leaving X When Will This End? Guide Dogs Are Expensive and Scarce. Could Robots Do Their Job? How Do You Measure AI? Does AI Prediction Scale to Decision Making? The Drunken Plagiarists Crowdsourcing or AI Sourcing? Autonomy 2.0: The Quest for Economies of Scale Panmodal Information Interaction