AI Software Engineering

Follow this field Ask about this field

Recent momentum

emerging

0 papers in the last 28 days · 0.0% of indexed attention

Twelve weeks of publication activity for this topic as it is defined today.

Weekly history

Recent digests

What was published in this field, kept on the site without email delivery.

Period ending 2026-09-21

33 new papers

A weekly snapshot of new work published in AI Software Engineering.

Period ending 2026-09-14

28 new papers

A weekly snapshot of new work published in AI Software Engineering.

Period ending 2026-09-07

37 new papers

A weekly snapshot of new work published in AI Software Engineering.

Inside this field

Focused directions

Focused topic

Code Generation

Within AI Software Engineering

324 papersExplore

Focused topic

Coding Agents

Within AI Software Engineering

278 papersExplore

Focused topic

Code Quality

Within AI Software Engineering

124 papersExplore

Focused topic

Software Engineering

Within AI Software Engineering

94 papersExplore

Focused topic

Test Generation

Within AI Software Engineering

70 papersExplore

Focused topic

Repository

Within AI Software Engineering

65 papersExplore

Focused topic

Software

Within AI Software Engineering

64 papersExplore

Focused topic

Swe-Bench Verified

Within AI Software Engineering

36 papersExplore

Focused topic

Codebases

Within AI Software Engineering

33 papersExplore

Focused topic

Commits

Within AI Software Engineering

32 papersExplore

Focused topic

Repository-Level Code Understanding

Within AI Software Engineering

31 papersExplore

946 papers

Latest in AI Software Engineering

Browse all topics →

Grimlock: Guarding High-Agency Systems with eBPF and Attested Channels
May 26, 2026Qiancheng Wu, Wenhui Zhang, Gan Fang +5Canonical Action Verification And Attestation Orchestration
Automating Formal Verification with Agent-Guided Tree Search
May 26, 2026Leo YaoFormal Verification Verifier
E3: Issue-Level Backtesting for Automated Research Critique
May 26, 2026Yashwardhan Chaudhuri, Sanyam Jain, Paridhi MundraArtificial Intelligence Reviewers Academic Papers
ConVer: Using Contracts and Loop Invariant Synthesis for Scalable Formal Software Verification
May 26, 2026Muhammad A. A. Pirzada, Weiqi Wang, Yiannis Charalambous +2Formal Verification Probabilistic Model Checking
Cast a Wider Net: Coordinated Pass@K Policy Optimization for Code Reasoning
May 26, 2026Yilong Li, Suman Banerjee, Tong CheCode Generation Multi-Objective Policy Optimization
TADDLE: A Tool-Augmented Agent for Detecting Deficient LLM-Generated Peer Reviews
May 26, 2026Hanqi Duan, Xiang LiPeer Review Review
Strategies for Guiding LLMs to Use Software Design Patterns: A Case of Singleton
May 26, 2026Viktor Kjellberg, Farnaz Fotrousi, Miroslaw StaronCode Generation Feedback Learning
AssertLLM2: A Comprehensive LLM Benchmark for Assertion Generation from Design Specifications
May 26, 2026Yuchao Wu, Wenji Fang, Jing Wang +3Systemverilog Assertions Test Generation
LogDx-CI: Benchmarking Log Reduction Tools for LLM Root-Cause Diagnosis
May 26, 2026Bowen QinPrecise Debugging Code Quality
Beyond Summaries: Structure-Aware Labeling of Code Changes with Large Language Models
May 25, 2026Bar Weiss, Antonio Abu-Nassar, Adi Sosnovich +1Code Quality Program Analysis
SetupX: Can LLM Agents Learn from Past Failures in Functionality-Correct Code Repository Setup?
May 25, 2026Zihang Zhou, Ziqian Ren, Yukai Wu +7Repository Large Language Model Agents
PennySynth: RAG-Driven Data Synthesis for Automated Quantum Code Generation
May 25, 2026Minghao Shao, Nouhaila Innan, Hariharan Janardhanan +3Mock-Interface Synthesis Quantum Error Correction
A Tertiary Review of Large Language Model-Based Code Generating Tasks: Trends, Challenges, and Future Directions
May 25, 2026Muslim Chochlov, Michael English, Jim BuckleyCode Generation Large Language
RepoMirage: Probing Repository Context Reasoning in Code Agents with Perturbations
May 25, 2026Hanyu Li, Yichi Zhang, Speed Zhu +3Repository-Level Code Understanding Coding Agents
CODESKILL: Learning Self-Evolving Skills for Coding Agents
May 25, 2026Yanzhou Li, Yiran Zhang, Xiaoyu Zhang +2Skill Evolution Reusable Skills
FrontierOR: Benchmarking LLMs' Capacity for Efficient Algorithm Design in Large-Scale Optimization
May 24, 2026Minwei Kong, Chonghe Jiang, Ao Qu +24Llm-Based Optimization Modeling Benchmarking Large Language Models
ScaleWoB: Guiding GUI Agents with Coding Agents via Large-Scale Environmental Synthesis
May 24, 2026Guohong Liu, Jialei Ye, Pengzhi Gao +4Graphical User Interface Agents Real-World Environments
Inverting the Shield: Systematically Generating Safety Tests from Policy Specifications
May 24, 2026Xiaoyue Lu, Xianglin Yang, Haijun Liu +4Large Language Model Safety Artificial Intelligence Safety
CoRe-Code: Collaborative Reinforcement Learning for Code Generation
May 24, 2026Zhihao Dou, Qinjian Zhao, Zhongwei Wan +2Code Generation Multi-Agent Large Language Model
Distilling Game Code World Model Generation into Lightweight Large Language Models
May 23, 2026Tyrone Serapio, Arjun Prakash, Haoyang Xu +2Code Generation Large Language Model Generation
Enhancing Reliability in LLM-Based Secure Code Generation
May 22, 2026Mohammed F. Kharma, Mohammad Alkhanafseh, Ahmed Sabbah +1Large Language Model Safety Code Generation
An Empirical Evaluation of LLM-Generated Code Security Across Prompting Methods
May 22, 2026Mohammed Kharma, Ahmed Sabbah, Mohammad Alkhanafseh +2Code Generation Large Language Model Safety
ContextEcho: A Benchmark for Persona Drift in Long Agentic-Coding Sessions
May 22, 2026Xianzhong Ding, Yangyang Yu, Changwei Liu +1Persona Coding Agents
EvoCode-Bench: Evaluating Coding Agents in Multi-Turn Iterative Interactions
May 22, 2026Haiyang Shen, Xuanzhong Chen, Wendong Xu +3Coding Agents Multi-Turn Interactions
The Time is Here for Just-in-Time Systems: Challenges and Opportunities
May 22, 2026Shu Liu, Alexander Krentsel, Shubham Agarwal +8Constraint-Aware Synthesis Coding Agents
CoSPlay: Cooperative Self-Play at Test-Time with Self-Generated Code and Unit Test
May 22, 2026Zhangyi Hu, Chenhui Liu, Tian Huang +6Code Generation Test Time
What Linear Probes Miss: Multi-View Probing for Weight-Space Learning
May 22, 2026Eunwoo Heo, Kyeongkook Seo, Jaejun YooWeight-Space Multi-View
Philosophical Dispositions as Behavioral Constraints for AI-Assisted Code Review: An Empirical Study
May 21, 2026Kaushal BansalCode Quality Artificial Intelligence Reviewers
Security of LLM-generated Code: A Comparative Analysis
May 21, 2026Srivathsan G Morkonda, Mahmoud Selim, Hala AssalCode Generation Large Language Model Safety
LLM Code Smells: A Taxonomy and Detection Approach
May 21, 2026Zacharie Chenail-Larcher, Brahim Mahmoudi, Naouel Moha +2Code Quality LLM Inference Efficiency
RAS: Reflection-Augmented Scaling with In-Context Learning for Executable Cypher Query Generation
May 21, 2026Minseok Jung, Abhas Ricky, Muhammad Rameez ChatniInference-Time Text2Cypher
VeriScale: Adversarial Test-Suite Scaling for Verifiable Code Generation
May 21, 2026Yifan Bai, Xiaoyang Liu, Zihao Mou +7Benchmarking Large Language Models Code Generation
SWE-Mutation: Can LLMs Generate Reliable Test Suites in Software Engineering?
May 21, 2026Yuxuan Sun, Yuze Zhao, Yufeng Wang +6Test Generation Swe-Bench Verified
From Patches to Trajectories: Privileged Process Supervision for Software-Engineering Agents
May 21, 2026Murong Ma, Tianyu Chen, Yun Lin +7Swe-Bench Verified Supervised Fine-Tuning
Quality and Security Signals in AI-Generated Python Refactoring Pull Requests
May 20, 2026Mohamed Almukhtar, Anwar Ghammam, Hua MingCode Quality Code Refactoring
Domain-Adaptable Reinforcement Learning for Code Generation with Dense Rewards
May 20, 2026Erfan Aghadavoodi Jolfaei, Daniel Maninger, Abhinav Anand +2Mock-Interface Synthesis Code Generation
Multi-agent Collaboration with State Management
May 19, 2026Mengyang Liu, Taozhi Chen, Zhenhua Xu +2Multi-Agent Systems Codebases
Code Generation by Differential Test Time Scaling
May 19, 2026Yifeng He, Ethan Wang, Jicheng Wang +2Code Generation Test-Time Scaling
Agentic Agile-V: From Vibe Coding to Verified Engineering in Software and Hardware Development
May 19, 2026Christopher KochSoftware Engineering Coding Agents
DEL: Digit Entropy Loss for Numerical Learning of Large Language Models
May 19, 2026Zhaohui Zheng, Chenhang He, Shihao Wang +3Code Generation
What Do Evolutionary Coding Agents Evolve?
May 19, 2026Nico Pelleriti, Sree Harsha Nelaturu, Zhanke Zhou +4Evolutionary Search Self-Evolving Agents
Towards LLM-Assisted Architecture Recovery for Real-World ROS~2 Systems: An Agent-Based Multi-Level Approach to Hierarchical Structural Architecture Reconstruction
May 19, 2026Dominique Briechle, Raj Chanchad, Tobias Geger +5Robot Operating System Multi-Robot Systems
Does Code Cleanliness Affect Coding Agents? A Controlled Minimal-Pair Study
May 19, 2026Priyansh Trivedi, Olivier SchmittCoding Agents Code Quality
Offline Reinforcement Learning for Plasma Control in Nuclear Fusion: Codebase and Benchmark
May 19, 2026Yang Fu, Haomin Bao, Rohit Sonker +4Plasma Shape Control Joint Reinforcement Learning
OpenComputer: Verifiable Software Worlds for Computer-Use Agents
May 19, 2026Jinbiao Wei, Qianran Ma, Yilun Zhao +4Computer-Use Agents Software
CriterAlign: Criterion-Centric Rationale Alignment for Code Preference Judging
May 19, 2026Zhenyu Li, Aleksandar Cvejic, Zehui Chen +1Comparative Judgment Code Quality
Using Biometrics to Understand AI-Assisted Coding Performance and its Perception
May 19, 2026Paolo Burelli, Fabio Calefato, Daniela Grassi +5Cognitive Load Neurophysiological Correlates
Code as Agent Harness
May 18, 2026Xuying Ning, Katherine Tieu, Dongqi Fu +39Agent Harness Coding Agents
AI for Auto-Research: Roadmap & User Guide
May 18, 2026Lingdong Kong, Xian Sun, Wei Chow +17Autoresearch Papers
Learning to Look Benign: Targeted Evasion of Malware Detectors via API Import Injection
May 18, 2026Juozas Dautartas, Olga Kurasova, Juozapas Rokas Čypas +1Malware Detection Evasion
Overeager Coding Agents: Measuring Out-of-Scope Actions on Benign Tasks
May 18, 2026Yubin Qu, Ying Zhang, Yanjun Zhang +4Coding Agents Authorization
Improving BM25 Code Retrieval Under Fixed Generic Tokenization: Adaptive q-Log Odds as a Drop-In BM25 Fix
May 18, 2026Santosh Kumar Radha, Oktay GoktasTerm Frequency-Inverse Document Frequency Token-Level Uncertainty
CommitDistill: A Lightweight Knowledge-Centric Memory Layer for Software Repositories
May 18, 2026Divya Chukkapalli, Thejesh Avula, Aditya Aggarwal +2Repository Commits
A-ProS: Towards Reliable Autonomous Programming Through Multi-Model Feedback
May 18, 2026Anika Tabassum, Md Sifat Hossain, Md. Fahim Arefin +2Mock-Interface Synthesis Code Generation
ProcCtrlBench: Evaluating Process-Level Defects and Control Preservation in LLM Coding Agents
May 18, 2026Jiawei He, Jie Jia, Chenbo Liu +4Coding Agents Programbench
AutoVecCoder: Teaching LLMs to Generate Explicitly Vectorized Code
May 18, 2026Shangzhan Li, Xinyu Yin, Xuanyu Jin +8Code Generation
Enhancing the Code Reasoning Capabilities of LLMs via Consistency-based Reinforcement Learning
May 18, 2026Zhanyue Qin, Jia Feng, Yibo Lyu +4Large Language Model Reasoning Large Reasoning Models
WebGameBench: Requirement-to-Application Evaluation for Coding Agents via Browser-Native Games
May 17, 2026Wenyu Zhang, Guoliang You, Tianlun +8Coding Agents Repository-Level Code Understanding
Verifier-Guided Code Translation via Meta-Step Decoding
May 17, 2026Tianyang Zhou, Somesh Jha, Mihai Christodorescu +2Code Generation Test-Time Scaling
A Feature-Driven Framework for Software Fault Prediction
May 17, 2026Ahmad Nauman Ghazi, Nagajyothi Devarapalli, Ashir Javeed +3Feature Selection Software

May 26, 2026 · cs.CRJ/K move · Enter open · S save

Grimlock: Guarding High-Agency Systems with eBPF and Attested Channels

Qiancheng Wu, Wenhui Zhang, Gan Fang, Sheng Mao+4

Agentic systems increasingly run user-authored orchestration code that invokes tools, spawns subtasks, and delegates work across machines and clouds. Although this high agency is productive, it creates a security problem: identity, authorization, provenance, and delegation are often pushed into application code, where they become difficult to enforce consistently and difficult to audit. We present Grimlock, an Agent Guard that restores separation of concerns by moving trust enforcement into the sandbox substrate while leaving agent code unchanged. Grimlock uses eBPF-enforced traffic interception to ensure that sandbox communication passes through a guard, and combines it with post-handshake attestation bound to standard TLS~1.3 channel bindings. After a channel is established, the guard authorizes communication and mints short-lived, channel-bound scope tokens that capture least-privilege delegation. At the receiving side, the destination guard re-validates identity, scope, and channel binding, terminates TLS, and releases plaintext to the destination sandbox only after policy checks succeed. kTLS provides an efficient dataplane for protected communication. As a result, Grimlock offers a path toward transparent, auditable, and scope-bound agent-to-agent communication across heterogeneous multi-cloud environments, using commodity Linux primitives and without requiring changes to user-layer orchestration code.

Canonical Action Verification And Attestation Orchestration Channel Swe-Bench Verified

Open paper Ask about it PDF