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 47
BISCEPTER: Probability-Driven Bisection for Large-Scale System Software
Identifying the bug-inducing commit (BIC) is a fundamental step in regression debugging and a key input to emerging BIC-aware fault-localization pipelines.Engineering Sustainable Agents: A Systematic Comparison of Agentic LLMs for Developer Workflows
Large language models (LLMs) are increasingly used in software engineering, including agentic systems that coordinate multiple agents, but impose higher computational and environmental costs.MintEval: Do LLMs Implement the Trading Strategy You Asked For? A Behavioural-Equivalence Benchmark for Natural-Language-to-Strategy Code
Large language models are moving from producing trading signals to writing the code that executes them.Pinning Decisions Before Failure: Executable Records of Underspecified Choices in AI-Assisted Code Generation
A natural-language requirement leaves questions open, and a model asked to implement it settles them silently: across 600 generated test suites from three models, 42.7% contain no test that…PrivDev: Mapping Static-Analysis Data Types to DPV
Static-analysis scanners can identify personal-data types in source code, but they lack mechanisms to connect these findings to standardized privacy vocabularies.Smells and Refactorings for Software Environmental Sustainability: A Systematic Literature Review
The environmental impact of ICT is constantly growing.Characterizing Open-Source Video Games from a Software Engineering Perspective
Video games hold a prominent role in the entertainment industry, which constitutes a multibillion-dollar global market.How Do Coding Agents Optimize Software and Report Performance Validation? A Large-Scale Empirical Study of Open-Source Pull Requests
Software performance optimization requires identifying bottlenecks and improvement opportunities, and empirically evaluating the effects and trade-offs across performance objectives.Solving VeriContest with a Lean-Backed Rust Verifier
VeriContest is a benchmark of 1007 competitive-programming problems in Rust, each with a Verus specification, a judge-accepted solution, and a Verus proof.SkillScriptBench: Benchmarking Self-Evolution of Executable Agent Skill Packages Beyond Markdown
Executable Agent Skills combine natural-language instructions and scripts into reusable packages for LLM agents, and revising them requires fixing errors without breaking correct behavior.Correctness, Convergence, and AI-Generated Code Detection: A Longitudinal Study of Student and Large Language Model Code in Introductory Programming
Large language models can generate plausible solutions to programming assignments, making it tempting to detect their use by matching student code against a reference bank of generated solutions.FORALL-LEAN-AGENT for Auditable Reasoning in Formal Mathematics and Software Verification
Coding agents increasingly automate Lean proof development, but successful compilation alone does not establish that a candidate proves the intended statement under acceptable assumptions.Cross-Benchmark Transfer from RL on Agentic Coding Tasks
Coding agents often fail in the last mile: they build most of a feature but drop a requirement, test only the cases their implementation already handles, break behavior that was supposed to stay…Understanding Issues, Causes and Solutions in Open-Source LLM-based Multi-Agent Systems
With the advancement of LLM-based multi-agent systems (MAS), an increasing number of opensource projects are adopting multi-agent architectures as the foundation of their core functionality.ActiveSaddler: Automated Curriculum Learning for Agent Harness Optimization
Automated harness optimization can substantially improve LLM agents by iteratively updating their prompts, tool interfaces, and control logic from execution feedback.Finding the Right Fit: Model-Harness Interactions across Agent Tasks
Choosing an agent system means choosing both a language model and the harness through which it acts.ABSENTIA: Detecting Broken Access Control Vulnerabilities in Web Applications
Broken access control, the failure of authorization, is one of the most prevalent web security risks.Groundability, Not Scale Alone: When Weak Reviewers Can Audit Strong Coding Agents
Coding agents can return plausible patches that omit required behavior.Safety Must Survive Self-Improvement: Why Failures Persist and How Agents Recover
Recursive self-improvement (RSI) allows agents to carry useful changes across generations.CompProv Produces Machine Readable Graphs Encoding Microscopic Algebraic Provenance for Reproducible Computation
The reliability of computational results in scientific research and financial modeling increasingly depends on verifiable traceability, not merely on trust in a reported output.