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 55
The Artifact Promotion Control Model: An Implementation Case Study. Build on Target Machines vs. Build Once and Promote Artifacts
Artifact promotion means building the software once and moving that same built copy through the test and production environments, instead of building it again on each server.A Lean Formalization of the Hamilton--Perelman Proof of the Three-Dimensional Poincaré Conjecture
We formalize the smooth three-dimensional Poincaré conjecture, together with the Moise smoothing theorem, yielding the topological three-dimensional Poincaré conjecture.Measurement Boundaries in LLM Financial Agent Evaluation: Fixed-Tape Execution and Multi-Defect Auditing
What controls are needed to interpret execution performance and audit scores in LLM agent evaluations?IChart2Code: Benchmarking Multimodal Large Language Models for Interactive Chart Code Generation
Interactive chart code generation requires models to reproduce a reference chart's appearance and underlying data and correctly implement the state changes triggered by specified user interactions.How AI Changes DevOps Performance: A Mechanism-Based Simulation
AI tools for software development have progressed from code completion to autonomous agents, yet evidence on their effects on DORA performance is mixed, mostly cross-sectional, and often conflates…Beyond the Model: Demystifying Harness Effects in Software Engineering Agents
Large Language Model (LLM)-based agents are increasingly used for software engineering tasks, yet their performance is not determined by the base model alone.VPEvolve: A Self-Evolving Virtual Process Engineer for Computational Lithography
Optical proximity correction (OPC) recipes grow as engineers add local rules to repair newly discovered lithography hotspots.Hearsay: Can an Auditor Trust the Record a Deployed Agent Harness Writes?
An agent harness, the code that turns a model into an agent, writes its own record of each run, and that record is all a later reader gets when a run is disputed, investigated or audited.CUA-SWE: When Computer-Use Agents Meet Visual Software Engineering
Software development requires more than editing code: developers repeatedly run software, interact with its interfaces, visually inspect its behavior, and use these observations to decide what to…Evolution of Deprecated APIs and Their Replacements in Python Libraries
API deprecation is common in library evolution, but migration requires finding replacements and adapting calls.SWE-MILE: Asynchronous Potential-Induced Milestone Credit Assignment for Long-Horizon Software Engineering Agents
Long-horizon software engineering (SWE) agents trained with reinforcement learning with verifiable rewards (RLVR) typically receive only terminal outcome supervision, making it difficult to…AsynCodeBench: Benchmarking Collaboration of Asynchronous Multi-Agent Systems in Software Engineering
Multi-agent coding has emerged as an increasingly active direction in software engineering, where complex development tasks are decomposed across multiple specialized agents working on different…Social3Source: Connecting Social Provenance, Societal Qualities, and Social Purpose on an Open-Source Software Foundation
The speed at which software can be created and deployed today has increased dramatically.The Decomposition Tax: LLM Pipelines Lose Up to 40 Accuracy Points at Their Own Interfaces
A four-stage LLM pipeline gives up as much as 40.5 accuracy points at its own interfaces (gemma-3-12B on MATH-500, Holm-corrected p = 1.66e-19; the largest tax in the primary family).ASCEND: Personal AI Agents for Autonomous Scientific Computing Across HPC Clusters and GPU Workstations
Traditional scientific computing requires researchers to translate intent into environment configuration, resource requests, and executable jobs, then diagnose failures from scheduler state and logs.Relic: From Multi-Agent Collaboration to Persistent Organizational Capability
Multiple agents may often conflict in an organization: for example, one coding agent changes an interface in a repository, but another continues to develop on the old version where existing tests…SRE-Marathon: A Continuous, Change-Driven Benchmark for Autonomous Site Reliability Agents
Benchmarks for site reliability engineering (SRE) agents are typically episodic: one fault is injected, the agent receives an incident task, and its response is scored.More Programs or More Rolls? Separating Coverage from Specialization in LLM Harnesses
Automated generation of LLM harnesses promises to improve inference through task specialization.PoliVEM: a Python-driven virtual element framework for computational solid mechanics
This work presents PoliVEM, a software framework for the Virtual Element Method (VEM) in computational solid and structural mechanics.VeriWeave Govern: Evidence-Gated Deterministic Runtime Governance for Enterprise AI Agents
Enterprise artificial-intelligence agents increasingly call tools, modify infrastructure, and process protected data, creating a need to separate action generation from action authorization.