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 14
Cognitive Debt in the GenAI Era - Listening to Practitioners' Voices on the Loss of Understanding
Fast-paced AI-assisted software development risks reducing developers' understanding of the systems they build.Reusable LLM-Based Plans with Probabilistic Guarantees for Self-Adaptive Systems
Self-adaptive systems are designed to accommodate variants of their environment, which form a family of instances whose uncertainty is captured by probabilistic models, and must meet probabilistic…Perspective on AI and quantum open-source software
Quantum open-source software provides essential infrastructure for quantum science, and artificial intelligence (AI) is reshaping its capabilities and transforming its development.Understanding Post-Quantum Cryptography Adoption: Practices, Challenges, and Evolution in Open-Source Software
Post-quantum cryptography (PQC) standards establish algorithms for quantum-safe systems, but empirical evidence about how software projects implement and maintain PQC support remains limited.Thinking-in-Bets at Test Time Reduces Sycophantic Revisions in LLM Agents
Language model agents often abandon correct work when a user challenges it, yet simply telling them to stand firm makes them ignore real mistakes.The Physical Cost of Context: Quality-Constrained Resource Accounting for Coding Agents
Coding agents resend a growing context on every model call, and context policies are usually judged by the prompt tokens they save.Arya Forge: Auditing Validation and Release Approval for Financial Instruction Data
Financial instruction-data pipelines must distinguish content validity from permission to release a particular dataset.Silent and Costly: Characterizing and Detecting Prompt-Caching Mis-Integration in LLM Agents
Large language model (LLM) services process massive volumes of user requests, resulting in substantial inference costs.Large Language Models for Quantum Code Translation: An Exploratory Study
Quantum software development is challenged by quantum-mechanical semantics and fragmented software development kits (SDKs), which complicate cross-SDK code translation and execution.Ethics by Configuration: AI Ethics Principles in Coding Agent Instructions
As AI coding agents become integral to software development, projects increasingly utilise configuration files, such as context files and skills, to govern agent behaviour.AIPC: Evidence-Guided Agent Workflows for PyTorch Project Deployment
Deploying and optimizing a PyTorch inference project on a dedicated accelerator, especially an on-device NPU, requires more than using a framework device API as with CUDA.Beyond Compilation Feedback: Refining Vulnerability Checkers with Program-Analysis Evidence
Recent work shows that LLMs can synthesize static-analysis checkers from security patches, but a compilable checker is not necessarily a correct one.What Will Replace Pull Requests? Rethinking Software Collaboration for AI Agents
The emergence of artificial intelligence (AI) coding agents has put pull requests under pressure: agents open millions of pull requests per month, while some open-source projects have begun to…How Do Coding-Agent Harnesses Self-Evolve? An Empirical Study of Retrospective Adaptation
Coding agents can adapt their harnesses, the software, configuration, and instructions used to run them, based on experience from earlier tasks, but whether these adaptations improve their behavior…Reasoning Patterns for Efficient AI Coding: An Empirical Study
Large Reasoning Models (LRMs) generate long reasoning traces that expose intermediate inference behavior, offering opportunities to study and control reasoning in AI coding.Decision Model Factory: Building Specialized Sovereign Decision Models
Decision needs vary with each application, language, and deployment environment.Rivet: Utility-Preserving Context Control for Repository-Level Coding Agents
Repository-level code generation asks an agent to implement a task requirement inside an existing repository.Toward Methods and Tools for Critical Examination of Disparate Systems for Discovery of Hidden Dependencies in Engineering of Autonomous and Semi-Autonomous Systems
We present a methodology, an initial AI Skill package, and emerging results, for enhancing software engineers' acquisition and application of domain knowledge and system-wide engineering…Priority-Aware Scheduler for Serverless Functions Provision and Load Balancing
Serverless computing has emerged as a pivotal cloud deployment paradigm due to its efficient utilization of on-demand resources.V$^3$AST-Bench: Verifiable, Valid, and Versatile Safety Evaluation for Coding Agents
Large language models increasingly act through code, modifying repositories, executing programs, and interacting with services in agent form.