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 5
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.An Investigation on Numerical Bugs in GPU Programs Towards Automated Bug Detection
General-purpose graphics processing unit (GPU) computing has emerged as a leading parallel computing paradigm, offering significant performance gains in various domains such as scientific computing…DSL-Bench: Evaluating and Explaining LLM Code Generation Across Domain-Specific Languages
Large language models (LLMs) are increasingly used in software-engineering workflows, but code-generation benchmarks largely focus on general-purpose languages.Extending the MM-AR Metamodeling Platform with Process Mining Capabilities
Process mining derives process models from event data recorded by information systems, but its results are usually presented as two-dimensional visualizations that are separate from the environments…Noisy Issues, Noisy Results: Mislabeling in Information Retrieval-based Bug Localization
Information Retrieval-based Bug Localization (IRBL) leverages bug reports to identify faulty source files.Req-Space: A User Study of Interactive Visualisations for Requirements Review
Requirements review involves identifying inconsistencies and assessing change implications across distributed specifications.LIBRA: Programmatic Induction of Executable Tool Libraries
Large language model agents increasingly retrieve tools from large catalogs, yet most retrievers rank each tool independently by request similarity.Agentic Behavior Engineering: A Design-by-Contract Methodology for Specifying, Verifying, and Governing Enterprise AI Agents
Enterprise teams that deploy large language model (LLM) agents inherit a maintenance problem that traditional testing does not address.Hybrid LLM-Deterministic Pipelines for Enterprise-Scale Code Migration at Bloomberg
Large organizations carry a long tail of infrastructure migrations that are worth doing but rarely urgent enough to compete with feature work, because each one costs significant engineering time per…ProofStudio: Five Proof Assistants in the Browser
Recent advances in AI-assisted proof automation are extending the use of proof assistants in software verification and mathematics.RIDGE: State-Conditioned Reward Blending for Behavioral Coverage in Deep RL Game Agents
A deep RL agent trained on a fixed persona reward plays one way: an Explorer keeps exploring while starving, a Survivor hoards on an empty map.ViBench 2.0: A Benchmark for Long-Horizon Software Building
On Replit, our agentic engineering platform, users now build entire products without writing code, through successive feature requests to an agent.AQUA - A Modular Authentication Quality Modeling Framework
Authentication solutions are the key design, architectural, and implementation decisions that implement authentication security controls.Construct Validity of Coding Benchmarks for LLM-based Agentic Coding Tools
Software developers increasingly adopt LLM-based agentic coding tools to assist them with development tasks.