Applied & Human-Centered · Computer Science & AI
Software Engineering
The newest papers in Software Engineering that ReadSearch has read, newest first. Each links to its own page, with its authors, date, where it was published and the original.
1,466 papers, from 31 August 2026 to 5 November 2026: 1,451 arXiv preprints and 15 OpenAlex records.
Get the few papers worth your time in Software Engineering every morning.
Follow Software Engineering and ReadSearch reads its new papers each day, then brings you the few worth reading, each with its key finding in a sentence.
Newest papers, page 20
From Regulation to Engineering: Organizational Privacy Climate as Mediator
Data protection legislation aims to protect privacy rights by regulating how information systems store and process personal information.Lessons Outlive Their Failures: A Case Study of Rules for AI Coding Agents
AI coding agents increasingly work inside a harness: rule files such as AGENTS.md, on-demand skills, runtime hooks and automated checks.Automated Multi-Line Bug Repair Using Model Checker Aided LLMs: A Case Study on RISC-V Processors
Functional verification of Register-Transfer Level(RTL) designs has become a critical bottleneck in modern semiconductor development, often consuming the majority of project resources.Can AI Agents Help Robotic Engineers? Lessons from Two Focus Days in Industry
Software developers increasingly use AI agents that execute multi-step programming tasks on their own.StateMirror: Pre-Execution Detection of Hallucinated Tool Calls in Coding Agents
Large language model (LLM)-based coding agents may propose invalid actions that are not applicable in the execution environment, such as accessing non-existent paths or missing packages.CC4Q Workbench: From Quantum Repositories to Analyzable Code Comments
Quantum software development kits (SDKs) expose high-level APIs whose use requires an understanding of underlying mathematical principles, circuit semantics, and hardware properties.OpenDraco: A Platform for Engineering and Experimenting with Configurable Multi-Agent Architectures for Software Engineering
Experimenting with LLM-based multi-agent systems (MAS) involves an iterative cycle of modeling configurations, executing and evaluating them, comparing results, and refining system designs.Trusting the Tool: Asymmetric Deference of LLM Vulnerability Auditors to Static-Analysis Evidence
Pipelines that combine large language models (LLMs) with static analysis let the model consume the analyser's output as evidence, but whether the model distinguishes true from false evidence, and…Green Code or Costly Code? Evaluating the Energy Costs of Iterative LLM-Based Code Optimizations
Large Language Models (LLMs) are increasingly used to optimize code for performance.Runtime BiDi Structural Verification Catches Right-to-Left Layout Defects that Accessibility, Actionability, and Logical-Property Linting Miss
Bidirectional (right-to-left, RTL) layout defects arise when interfaces authored with physical directional CSS (margin-left, border-left, text-align:left) are rendered under dir="rtl" without being…Navigating Epistemic Parity in LLM Agents: A Benchmark for Cross-Source Conflict Resolution Between Memory and Procedural Skills
Production LLM agents increasingly run episodic memory pipelines and procedural skill modules (e.g., SKILL.md files) in tandem.Speculative Forking: Turning Idle Wait into Parallel Exploration for Repository Environment Setup
Before developers can use a software project, they must first get it to run.WebUniverse: Scaling Verified Training Data for Agentic Web Development
Training agents for front-end web development requires demonstrations of code editing, execution, browser inspection and revision, yet public trajectories and reusable task environments remain…Cross-Platform Application Migration to HarmonyOS: An Agentic Pipeline with Artifact-Derived Verification
The migration of applications written for a different platforms like Android or iOS to HarmonyOS NEXT requires a complete rewrite in ArkTS.Position, Role or Label? A Controlled Study of Instruction Conflicts in LLM Agents
LLM agents take instructions from the operator, repository configuration, user, tool results and saved memory, which often conflict.Operationalizing Governed Agentic Workflows in Regulated Finance: A Customer Zero Case Study using Zafin AIOS
Regulated industries such as finance and healthcare face critical governance challenges that hamper the adoption of AI-assisted software development and hinder the transition from experimental…Responsibility Boundaries for Agentic Systems: A Comparative Evaluation of Probabilistic Agentic Programming
Language-model agents combine reasoning, tools, memory, delegation, and external effects.From Cosmetic to Structural: A Paired Experiment on Metric-Guided Agentic Refactoring
The role of coding agents is expanding beyond writing new code toward maintaining existing systems as AI teammates.EVM-Anchored Provenance for AI-Assisted Code Evolution: A Smoke-Scale Deployment Report
We report a smoke-scale deployment of an EVM-anchored provenance framework for the state stream produced by AI-assisted code generation.Stale Instruction Files Override the Code in Coding Agents: A One-Sentence Fix
Coding agents follow a project's instruction file, such as CLAUDE.md or AGENTS.md, even when it disagrees with the existing code and even when they notice the disagreement.