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 30
Empirical Insights from AI-Powered Software Engineering in Practice
Generative Artificial Intelligence (GenAI) is becoming indispensable in future software engineering.Enforcing Code Reasoning in Agentic Scaffold for More Effective Issue Resolution
Reasoning is central to ReAct-based programming agents, yet whether and how they reason about code remains unclear.Does AI-Assisted Development Homogenize Software? An Empirical Study of Code Similarity, Quality, and Evolution
AI-assisted software development is evolving from interactive LLM assistance toward agentic systems that autonomously perform software engineering tasks, yet the effects of this shift remain…Towards an Intelligent Decision Engine for Smart Contract Deployment
Layer 2 (L2) blockchain solutions emerged in recent years, predominantly in the Ethereum ecosystem, as a viable option for scaling a main blockchain network (L1).Pattern-Based Precondition Inference from Method Implementations
Method preconditions define the conditions that must be satisfied before a method is called.SWE-Bench Pro V2: A Cleaner, Harder-to-Game Coding Benchmark
SWE-Bench Pro is a widely used benchmark of long-horizon software engineering tasks for coding agents.LoopHIL: Looping Hardware into LLM-assisted Agents for Wireless Embedded Systems
LLM agents are widely used for software development and debugging, but their adoption in embedded systems, especially for wireless tasks, remains limited.VERAS: Verification-Guided Adaptive Search for Reliable Operations Research
Advances in reasoning, coding, and tool use enable LLM agents to solve operations research (OR) problems through iterative problem modeling, program construction, and verification.Who Verifies the Builder? Toward Independent Assurance for Agent-Produced Software
Coding agents can now implement a specification, write and run tests, repair failures, and declare the result ready for release.pymatgen: 15 years of community growth, new functionality, and future prospects
We present a retrospective on the Python Materials Genomics (pymatgen) library, reflecting on 15 years of community growth and established best practices.Where the SRAM Goes: Per-Symbol Attribution of Static Memory in FreeRTOS-C and Embassy-Rust IoT Firmware on a 64 KB RISC-V Microcontroller
Selecting a firmware stack for a memory-constrained microcontroller is usually guided by aggregate binary sizes, which report how much SRAM a build consumes but not where it goes or why.Skip the Compressor: Coding Agents Fix More Issues When They Pick Whole Files
A coding agent works on repositories that can be far larger than its context window can hold.ToolBottleneckBench: Measuring Tool-Agent Performance under Controlled Pressures and Fixed Harness Budgets
The success score of a tool agent reflects both its model and the budgets of the harness that runs it.Plausible Is Not Enough: Trust and Evidence in AI-Authored Pull Request Review
Code review is where AI-authored pull requests (AIPRs) must earn reviewer trust before integration, yet it is unclear whether reviewers apply the same criteria used for human-authored pull requests…Beyond Confidence: Rethinking Uncertainty Calibration in Deep Code Models
Deep learning models have shown significant promise in code-related tasks.Combining LLM and Dynamic Analysis for Universal Testing of Static Application Security Testing Tools
Static application security testing (SAST) tools help detect potential software vulnerabilities, but they themselves contain faults undermining reliability and usability.When CONTRIBUTING Files Fall Short: Revising OSS Contribution Guidelines with Repository Evidence
Contribution guidelines help newcomers participate in open-source software projects, yet often contain incomplete or outdated information.SWE-at-Scale: Scalable Issue Synthesis from Historical Bug Fixes
As coding agents become increasingly capable, robust evaluation requires a broader and more diverse supply of verifiable software engineering (SWE) tasks.Agentic Dependency Transformations: Lessons from an Exploratory Case Study of Flask
Modern software relies heavily on third-party libraries, requiring maintainers to balance the benefits of reuse against dependency-related maintenance and risk.Evaluating and Improving Static Application Security Testing Tools for Rust
Rust has become a popular systems programming language in recent years because of its strong guarantees on memory and concurrency safety.