The Semi-Executable Stack: Agentic Software Engineering and the Expanding Scope of SE

arXiv cs.AI / 4/20/2026

💬 OpinionIdeas & Deep AnalysisModels & Research

Key Points

  • The paper argues that the growing capability of LLM-driven, tool-using agents may change software engineering by shifting attention from purely executable code to “semi-executable” artifacts that require human or probabilistic interpretation.
  • It introduces “The Semi-Executable Stack,” a six-ring diagnostic framework covering executable artifacts, instructional artifacts, orchestrated execution, controls, operating logic, and societal/institutional fit.
  • The framework is meant to help practitioners identify where contributions or bottlenecks primarily sit and what neighboring layers they depend on, rather than concluding that software engineering is becoming obsolete.
  • Through three worked cases and a “preserve-versus-purify” heuristic, the paper reframes common objections as engineering targets and advises which legacy processes and coordination routines to keep versus simplify or redesign.
  • The work is positioned as a conceptual keynote companion—focused on diagnostic and agenda-setting rather than empirical measurement.

Abstract

AI-based systems, currently driven largely by LLMs and tool-using agentic harnesses, are increasingly discussed as a possible threat to software engineering. Foundation models get stronger, agents can plan and act across multiple steps, and tasks such as scaffolding, routine test generation, straightforward bug fixing, and small integration work look more exposed than they did only a few years ago. The result is visible unease not only among students and junior developers, but also among experienced practitioners who worry that hard-won expertise may lose value. This paper argues for a different reading. The important shift is not that software engineering loses relevance. It is that the thing being engineered expands beyond executable code to semi-executable artifacts; combinations of natural language, tools, workflows, control mechanisms, and organizational routines whose enactment depends on human or probabilistic interpretation rather than deterministic execution. The Semi-Executable Stack is introduced as a six-ring diagnostic reference model for reasoning about that expansion, spanning executable artifacts, instructional artifacts, orchestrated execution, controls, operating logic, and societal and institutional fit. The model helps locate where a contribution, bottleneck, or organizational transition primarily sits, and which adjacent rings it depends on. The paper develops the argument through three worked cases, reframes familiar objections as engineering targets rather than reasons to dismiss the transition, and closes with a preserve-versus-purify heuristic for deciding which legacy software engineering processes, controls, and coordination routines should be kept and which should be simplified or redesigned. This paper is a conceptual keynote companion: diagnostic and agenda-setting rather than empirical.