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,448 papers, from 31 August 2026 to 5 November 2026: 1,444 arXiv preprints and 4 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 4
Validation-Gated ML Pipeline Synthesis with Expert-Grounded Self-Evolving Skills
Recent advances in large language models have enabled agentic systems that automate machine learning pipeline construction from minimal user input.Are We Just Applying LLMs? What SE Research Studies, Underexplores, and Could Do Next in the LLM Era
Is AI taking over software engineering research?Planning-Coding Separation in LLM-Based Code Generation: An Empirical Study
Planning has been identified as an important factor for improved code generation with Large Language Models (LLMs).Patching the Protocol: A Taxonomy of Pre-Registration Repairs in LLM-Proposer Experiments
Pre-registration is increasingly proposed as a trust mechanism for machine-learning research involving LLM-generated content, but its canonical form assumes a frozen protocol can be executed…CloakFEM: Agentic FEM Code Generation for Red-Teaming Computational Resource Exhaustion
Finite element method (FEM) solvers are foundational to scientific and engineering simulation, yet their susceptibility to \emph{efficiency attacks} remains largely unexplored.Do Coding Agents Follow AGENTS.md? The Effect of Policy Wording on Instruction Compliance
Coding agents do not always follow the policies in an Agent Context File (ACF).Disposable Implementations: What Is Software Engineering For?
Existing implementations are usually maintained for most of their life and replaced only as an exception.Silent Instrument Errors Reorder Agent Leaderboards
On a public agent leaderboard, a general-purpose agent trails a scaffold built for an airline customer-service benchmark by 13 points on the tasks that touch its database, and a reader could…Verifier strength does not buy discovery quality: a pre-registered two-domain test of LLM-based automated research, with post-hoc evidence pointing to proposer-pool composition
Automated research pipelines pair an LLM proposer with a verifier on an implicit bet: discovery quality rises with verification strength.How Agent Skills Evolve: A Large-Scale Empirical Study of Skills on GitHub
Large language model-based agents increasingly rely on external skills to reuse task-specific knowledge without retraining the model.A Security Analysis of Verifiable Credential Verification Pipelines: Attack Surface Arising from JSON-LD/RDFC Canonicalization Compared with SD-JWT VC and mdoc
We evaluate, at implementation level and under an explicit threat model, the verification pipelines of three Verifiable Credential (VC) formats: SD-JWT VC; the W3C Verifiable Credentials Data Model…FreeForm Harness: A Mobile-Native Agent Harness for Open and Composable Extensions
Mobile phones support many everyday agent tasks, but current mobile agents bundle capabilities into monolithic pipelines with no open recombination point.RESTberus: Trace-Aware Benchmarking of Automated REST API Testing Tools Across Microservice Dependencies
Existing REST API testing benchmarks focus on isolated services, overlooking failures arising from interactions with downstream dependencies.Replica-Aware Split Inference for Edge IoT Systems
Split Inference (SI) addresses the hardware resource limitations of Internet of Things (IoT) devices by distributing tiny Machine Learning (TinyML) model segments across multiple IoT devices.Who Is Doing the Thinking? Characterising Human Agency in First-Year Students' AI Interactions
When students use generative AI to produce their work, the learning process becomes invisible.Reproducibility in open-source RISC-V HW flows
Open-source hardware is booming.Software Design Patterns for Latency Measurements with eBPF in SDN Environments
This work proposes, implements, and evaluates a modular architecture based on software design patterns applied to latency measurement in Software-Defined Networks (SDN) using the Extended Berkeley…One Strategy Does Not Fit All: Rethinking Data Labeling for Just-in-Time Vulnerability Prediction
Just-In-Time Vulnerability Prediction (JIT-VP) identifies security risks in code changes at commit time, enabling early feedback before vulnerabilities enter software systems.Equal Access, Unequal Gains? GitHub Copilot and Productivity Among Developers with Disabilities
Generative AI tools are increasingly used in software development and have been associated with benefits such as faster task completion and improved perceived productivity.A Gated Spec-Driven Workflow: An Audit-Trail Study of Coding-Agent Work
Spec-driven development (SDD) asks a coding agent to work from specifications, plans, and task lists rather than from the chat transcript.