Sign in

acmqueue.bsky.social

@acmqueue.bsky.social
114 followers 13 following 83 posts
PostsRepliesMedia
acmqueue.bsky.social @acmqueue.bsky.social · 28/09/2026
A Valid Tool Call Can Still Be an Invalid Effect Why consequential agent actions need a semantic read set AI agents expose an interface failure: A system can synthesize a transaction at runtime and then erase its read set before emitting the write. queue.acm.org/doi/10.1145/...
000
acmqueue.bsky.social @acmqueue.bsky.social · 24/09/2026
CAFE(S): Your Agent Is Only As Good As Its Context Even the latest models degrade when operating on unclear inputs. We present CAFE(S), a framework that evaluates context across five dimensions: clarity, actionability, fidelity, efficiency, and security queue.acm.org/doi/10.1145/...
001
acmqueue.bsky.social @acmqueue.bsky.social · 21/09/2026
Finding the Real Bottleneck in Large-Scale ML Training Real efficiency requires fixing the underlying systems In production training clusters, actual model execution frequently consumes only half of an accelerator’s theoretical capacity queue.acm.org/doi/10.1145/...
000
acmqueue.bsky.social @acmqueue.bsky.social · 17/09/2026
Signs of a Brewing Crisis Crises have the destabilizing power to shift incentives and invert power structures Identifying these circumstances allows operators and engineers to anticipate opportunities when adaptive resilience will be required queue.acm.org/doi/10.1145/...
000
acmqueue.bsky.social @acmqueue.bsky.social · 14/09/2026
What’s in Your Software Repair Kit? The things you wish you had before a crisis You can’t prevent or predict the next systems meltdown. But you can build resilience into your systems and organization before the next crisis strikes. queue.acm.org/doi/10.1145/...
000
acmqueue.bsky.social @acmqueue.bsky.social · 09/09/2026
Data Architectures in the Age of AI Business semantics must be machine readable and continuously synchronized Federation must become the default for operational workflows Governance must shift from controlling access to governing autonomous behavior queue.acm.org/doi/10.1145/...
000
acmqueue.bsky.social @acmqueue.bsky.social · 09/09/2026
How CHERIoT Provides Strong and Able Isolation Without an MMU Co-design of hardware and software offers stronger security and ease of use CHERIoT is optimized for small devices but showcases what is possible at any scale if you start by assuming CHERI. queue.acm.org/doi/10.1145/...
000
acmqueue.bsky.social @acmqueue.bsky.social · 04/09/2026
Kode Vicious When You Wish Upon a Prompt Relying on an LLM doesn’t teach how to write code Today’s students must be taught not how to spot an errant asterisk, but how all the components of a system work together. queue.acm.org/doi/10.1145/...
000
acmqueue.bsky.social @acmqueue.bsky.social · 25/08/2026
Arithmetic Without Numbers What happens inside an LLM when it tries to calculate with nothing but matrices How does a large language model do arithmetic when all it has are matrices—no fingers, no scratch paper, no columns of digits? queue.acm.org/detail.cfm?i...
queue.acm.org
Arithmetic Without Numbers - ACM Queue
041
acmqueue.bsky.social @acmqueue.bsky.social · 18/08/2026
Too Many DevEx Metrics, Too Little Guidance DevEx Metrics Compass: making sense of developer experience measurement As AI-augmented development becomes standard practice, engineering leaders face mounting pressure to demonstrate its impact. queue.acm.org/detail.cfm?i...
queue.acm.org
Too Many DevEx Metrics, Too Little Guidance - ACM Queue
000
acmqueue.bsky.social @acmqueue.bsky.social · 14/08/2026
The Challenge of Efficiency Versus Isolation: Distributed systems lessons from serving inference The mechanisms that make production inference affordable are the same ones that dissolve the isolation and recovery guarantees built over two decades. queue.acm.org/detail.cfm?i...
queue.acm.org
The Challenge of Efficiency Versus Isolation - ACM Queue
010
acmqueue.bsky.social @acmqueue.bsky.social · 11/08/2026
Operations and Life Unethical Ways to Manage Technical Debt You can ignore it, or you can adopt more above-board techniques that reframe projects so that confronting tech debt is an upfront part of the plan. queue.acm.org/detail.cfm?i...
queue.acm.org
Unethical Ways to Manage Technical Debt - ACM Queue
000
acmqueue.bsky.social @acmqueue.bsky.social · 06/08/2026
Where to Draw the Line Which decisions should not be handed over to LLMs? AI automation is only replacing the visible artifact of software engineering, not the actual job. We are demanding senior judgment while eliminating the work that produces it. queue.acm.org/detail.cfm?i...
queue.acm.org
Where to Draw the Line - ACM Queue
000
acmqueue.bsky.social @acmqueue.bsky.social · 03/08/2026
The Coding Philosopher - Indirected Reality: Language, truth, and LLMs How can LLMs appear to know facts about the world when they are trained only on patterns in language rather than direct experience of reality? queue.acm.org/detail.cfm?i...
queue.acm.org
Indirected Reality - ACM Queue
000
acmqueue.bsky.social @acmqueue.bsky.social · 28/07/2026
Where Does the Foundation Come From? AI is taking over the work that used to develop professional judgment. For engineers with grounding, AI is a multiplier; without it, AI creates a productivity illusion in which output outpaces understanding. queue.acm.org/detail.cfm?i...
queue.acm.org
Where Does the Foundation Come From? - ACM Queue
000
acmqueue.bsky.social @acmqueue.bsky.social · 23/07/2026
Titan Transients and LLM Scalability The ghost in the machine Is the compute-efficient frontier (CEF) a universal constraint on the scalability of GenAI systems? It is a consequence of larger LLMs detecting inter-corpora correlations on all size scales queue.acm.org/detail.cfm?i...
queue.acm.org
Titan Transients and LLM Scalability - ACM Queue
000
acmqueue.bsky.social @acmqueue.bsky.social · 21/07/2026
Beyond Zero: Enterprise Security for the AI Era Beyond Zero is a new security paradigm designed for the AI era. Google’s vision for the future of this access model as well as a call for industry collaboration and standards development are outlined here. queue.acm.org/detail.cfm?i...
queue.acm.org
Beyond Zero: Enterprise Security for the AI Era - ACM Queue
000
acmqueue.bsky.social @acmqueue.bsky.social · 14/07/2026
Goodbye, and thanks for all the Bikesheds! The only bit left of FOSS as we know it will be that users will be able to read the source code. As reproducible builds catch on, they might even be able to compile that, as long as they make no modifications. queue.acm.org/detail.cfm?i...
queue.acm.org
Goodbye, and Thanks for All the Bikesheds! - ACM Queue
020
acmqueue.bsky.social @acmqueue.bsky.social · 07/07/2026
Kode Vicious: Pebbles on the Beach Keeping hold of the big questions There are fewer things more maddening than watching someone wander around a space bumping into ideas as if they’re in a pinball machine. queue.acm.org/detail.cfm?i...
queue.acm.org
Pebbles on the Beach - ACM Queue
000
acmqueue.bsky.social @acmqueue.bsky.social · 30/06/2026
EngThrive: Make It Fast and Easy to Do Great Work A durable model deployed at Microsoft that measures outcome-oriented engineering organizing productivity into three dimensions: speed, ease, and quality, with "thriving" as a well-being guardrail queue.acm.org/detail.cfm?i...
queue.acm.org
EngThrive: Make It Fast and Easy to Do Great Work - ACM Queue
010
acmqueue.bsky.social @acmqueue.bsky.social · 24/06/2026
You Don’t Know Jack About Formal Verification: What can you confidently guarantee about your software? By eliminating the cost of writing proofs, AI is removing the biggest barrier to formal verification. queue.acm.org/detail.cfm?i...
queue.acm.org
You Don’t Know Jack About Formal Verification - ACM Queue
072
acmqueue.bsky.social @acmqueue.bsky.social · 15/06/2026
In Code They Think; In Proof We Trust AI agents can be hijacked by prompt injection to exfiltrate sensitive data. Solution: Constrain the agent to express its plan as a Kotlin script, then statically verify the script against a security policy before execution queue.acm.org/detail.cfm?i...
queue.acm.org
In Code They Think; In Proof We Trust - ACM Queue
040
acmqueue.bsky.social @acmqueue.bsky.social · 09/06/2026
The SPACE of AI: Real-world lessons of AI’s impact on developers AI is augmenting developers rather than replacing them. Effective integration depends as much on team culture and support structures as on the tools themselves. queue.acm.org/detail.cfm?i...
queue.acm.org
The SPACE of AI - ACM Queue
000
acmqueue.bsky.social @acmqueue.bsky.social · 03/06/2026
From Technical Debt to Cognitive and Intent Debt: Rethinking software health in the age of AI Cognitive debt is the erosion of shared understanding, when no one can explain how a system works. Intent debt is the absence of clear goals, constraints, and rationale. queue.acm.org/detail.cfm?i...
queue.acm.org
From Technical Debt to Cognitive and Intent Debt - ACM Queue
000
acmqueue.bsky.social @acmqueue.bsky.social · 27/05/2026
Eight Myths on Software Engineering and GenAI Examining the most common misconceptions This article provides practitioners, team leads, and engineering leaders research so the decisions organizations make about AI are grounded in evidence, not just enthusiasm. queue.acm.org/detail.cfm?i...
queue.acm.org
Eight Myths on Software Engineering and GenAI - ACM Queue
000
acmqueue.bsky.social @acmqueue.bsky.social · 19/05/2026
Climbing the Generative AI Mountain A “hitchhiker’s guide” for product managers Generative AI has arrived in the workplace, with high expectations and little guidance. PMs are expected to be more productive overnight, without a map for how to get there. queue.acm.org/detail.cfm?i...
queue.acm.org
Climbing the Generative AI Mountain - ACM Queue
000
acmqueue.bsky.social @acmqueue.bsky.social · 06/05/2026
The AI-Native Developer Redefining work, identity, and the future of craft In the context of pervasive AI, what parts of your job are still worth doing? Through surveys and interviews with practitioners, we investigate what it means to be a software developer today queue.acm.org/detail.cfm?i...
queue.acm.org
The AI-Native Developer - ACM Queue
000
acmqueue.bsky.social @acmqueue.bsky.social · 28/04/2026
Knowledge Graphs over Two Decades: From web-scale extraction to LLM-augmented intelligence Xia Luna Dong The boundary between symbolic and neural knowledge continues to blur, leading to a new era of flexible, context-aware knowledge systems. queue.acm.org/detail.cfm?i...
queue.acm.org
Knowledge Graphs over Two Decades - ACM Queue
010
acmqueue.bsky.social @acmqueue.bsky.social · 21/04/2026
Operations & Life The Important Decisions Document Every project (& family) needs one Long-running projects are a journey. An IDD helps new team members get up to speed, prevents wasting time on relitigating old decisions, improves morale, and increases accountability queue.acm.org/detail.cfm?i...
queue.acm.org
The Important Decision Document - ACM Queue
110
acmqueue.bsky.social @acmqueue.bsky.social · 14/04/2026
Kode Vicious: KV the Apostate Faith-based computing versus the unnatural science Whether we ask an LLM or a recent graduate to type the code is less important than knowing what the code does, how it was built, and when to look under the hood queue.acm.org/detail.cfm?i...
queue.acm.org
KV the Apostate - ACM Queue
034
acmqueue.bsky.social @acmqueue.bsky.social · 06/04/2026
Bridging the Moat: Security for the Layperson Usability is core to effective security controls Cybersecurity is not just a problem facing enterprises. Individual users face similar risks without expertise and support to back them up. queue.acm.org/detail.cfm?i...
queue.acm.org
Security for the Layperson - ACM Queue
000
acmqueue.bsky.social @acmqueue.bsky.social · 03/04/2026
The Second-System Pit of Failure Lessons learned from building a second-generation system Our experience with building a new LMS to replace an existing system provides at least one point of evidence that it is possible to avoid the SSE trap. queue.acm.org/detail.cfm?i...
queue.acm.org
The Second-System Pit of Failure - ACM Queue
000
acmqueue.bsky.social @acmqueue.bsky.social · 01/04/2026
Building Malleable Systems, not Future-Proof Ones: Design for Change The code you write can’t possibly predict every change that comes along. Code is like a house, and people have to live in it, often for much longer than you expect. queue.acm.org/detail.cfm?i...
queue.acm.org
Building Malleable Systems, not Future-Proof Ones: Design for Change - ACM Queue
042
acmqueue.bsky.social @acmqueue.bsky.social · 31/03/2026
Kode Vicious Escape Routes Design your APIs carefully #Software is almost infinitely fungible, but at some point you have to make choices and pin down what you want a thing to do. This is the art of #API design. queue.acm.org/detail.cfm?i...
queue.acm.org
Escape Routes - ACM Queue
010
acmqueue.bsky.social @acmqueue.bsky.social · 24/03/2026
Open Source and the Iceberg Theory: Why “dependency management” isn’t enough anymore In an era of AI-generated code and increasing supply-chain attacks, stewardship is now a fiduciary and societal imperative. queue.acm.org/detail.cfm?i... @auggie.dev
queue.acm.org
Open Source and the Iceberg Theory - ACM Queue
020
acmqueue.bsky.social @acmqueue.bsky.social · 17/03/2026
Paul Vixie on the Evolution of Program State AI coding assistants mean more software will be created than ever before and by more people and agents than ever before. It's undecided as yet whether this era will be safer or more dangerous than the last. queue.acm.org/detail.cfm?i...
queue.acm.org
On the Evolution of Program State - ACM Queue
000
acmqueue.bsky.social @acmqueue.bsky.social · 20/02/2026
Data Analysis: Why Is It So Complicated? A sense of the depth and breadth of why it's so complicated to conduct and interpret data analysis. Why your models are incomplete and rife with inaccuracies, assumptions, caveats, and limitations queue.acm.org/detail.cfm?i...
queue.acm.org
Data Analysis: Why Is It So Complicated? - ACM Queue
010
acmqueue.bsky.social @acmqueue.bsky.social · 18/02/2026
Minimalist Design for Space Camera Flight Software While many systems drift toward more complexity, we advocate for a minimalist approach, with examples that have performed well in practice, with applications for other embedded software. queue.acm.org/detail.cfm?i...
queue.acm.org
Minimalist Design for Space Camera Flight Software - ACM Queue
000
acmqueue.bsky.social @acmqueue.bsky.social · 12/02/2026
Running the “Reflections on Trusting Trust” Compiler Revisiting Ken Thompson’s sourceless backdoor This article revisits that backdoored compiler, presenting the original code Thompson wrote more than 50 years ago. queue.acm.org/detail.cfm?i...
queue.acm.org
Running the "Reflections on Trusting Trust" Compiler - ACM Queue
010
acmqueue.bsky.social @acmqueue.bsky.social · 20/11/2025
Kode Vicious: Driven to Distraction From floats to characters and back again 50 years of doing things the Unix way has left us bereft of better APIs. It's not just the drivers but also the application APIs on top of the operating system. queue.acm.org/detail.cfm?i...
queue.acm.org
Driven to Distraction - ACM Queue
000
acmqueue.bsky.social @acmqueue.bsky.social · 19/11/2025
Operations and Life: #SRE Is Anti-Transactional An API for interfacing with automaters Systems built by SREs are not fully autonomous on day one. It's iteration over time that leads to fully autonomous, functional, reliable service. queue.acm.org/detail.cfm?i... @yesthattom.bsky.social
queue.acm.org
SRE Is Anti-Transactional - ACM Queue
031
acmqueue.bsky.social @acmqueue.bsky.social · 17/11/2025
A Practical Guide to Transitioning to Memory-Safe Languages Turning off the spigot of vulnerabilities: a new strategy for memory safety Traditional approaches to memory safety are flawed, treating symptoms without addressing the underlying cause. queue.acm.org/detail.cfm?i... @ayper.bsky.social
queue.acm.org
A Practical Guide to Transitioning to Memory-Safe Languages - ACM Queue
000
acmqueue.bsky.social @acmqueue.bsky.social · 14/11/2025
Practical #Security in Production Hardening the C++ Standard Library at massive scale Our collective experience at Apple and Google demonstrates that significant safety gains are achievable with surprisingly minimal performance overhead in production environments queue.acm.org/detail.cfm?i...
queue.acm.org
Practical Security in Production - ACM Queue
000
acmqueue.bsky.social @acmqueue.bsky.social · 13/11/2025
Safe Coding Rigorous modular reasoning about software safety Safe coding embodies a modular, compositional approach to building and reasoning about the safety of large, complex systems. queue.acm.org/detail.cfm?i...
queue.acm.org
Safe Coding - ACM Queue
020
acmqueue.bsky.social @acmqueue.bsky.social · 12/11/2025
Memory Safety for Skeptics If you're tired of hearing about memory safety, this article is for you. The state of possibility with memory safety today is similar to the state of automobile safety just prior to the widespread adoption of mandatory seat-belt laws. queue.acm.org/detail.cfm?i...
queue.acm.org
Memory Safety for Skeptics - ACM Queue
010
acmqueue.bsky.social @acmqueue.bsky.social · 17/09/2025
Kode Vicious The Process: From start to finish While the Scientific Method gives us a way to evaluate a hypothesis, a Scientific Process allows us to organize our minds to form these hypotheses, lay out a piece of code, organize a project, or debug a program. queue.acm.org/detail.cfm?i...
queue.acm.org
The Process - ACM Queue
001
acmqueue.bsky.social @acmqueue.bsky.social · 16/09/2025
Operations and Life No One Has Time to Work on Your Project queue.acm.org/detail.cfm?i... What if you could apply a few basic principles that would help make working on your project seem more attractive and worthwhile? How to work effectively with overwhelmed people to get things done
queue.acm.org
No One Has Time to Work on Your Project - ACM Queue
000
acmqueue.bsky.social @acmqueue.bsky.social · 15/09/2025
Moving Faster by Not Breaking Things: Or How Not to Blow Up the Internet People slow down when they are afraid, and they are afraid when they don't know the consequences of their actions. Initial investments allow for a fearless approach to pushing changes. queue.acm.org/detail.cfm?i...
queue.acm.org
Moving Faster by Not Breaking Things - ACM Queue
120
acmqueue.bsky.social @acmqueue.bsky.social · 12/09/2025
Guardians of the Agents Formal verification of AI workflows This proof-based approach addresses problems by providing deterministic and verifiable assurances of safety without the need to trust the AI nor any of the artifacts it produces queue.acm.org/detail.cfm?i...
queue.acm.org
Guardians of the Agents - ACM Queue
001
acmqueue.bsky.social @acmqueue.bsky.social · 11/09/2025
Unsolved Problems in #MLOps The practitioners whose job it is to make AI work are scrambling behind the scenes, often more in dread than excitement. Either find a better paradigm or fix the ones we're using now. queue.acm.org/detail.cfm?i...
queue.acm.org
Unsolved Problems in MLOps - ACM Queue
000