004.02 — Методы решения задач

Where Do Large Language Models Fail on Competitive Programming? A Taxonomy of Failures by Algorithm Type and Difficulty Rating Ayush Kumar Jha, Shalini Jha · 2026

What makes a harness a harness: necessary and sufficient conditions for an agent harness Sanderson Oliveira de Macedo · 2026

Less Context, Better Agents: Efficient Context Engineering for Long-Horizon Tool-Using LLM Agents Abhilasha Lodha, Mahsa Pahlavikhah Varnosfaderani, Abir Chakraborty, Abhinav Mithal · 2026

TestMap: Evidence Infrastructure for Foundation-Model-Assisted Test Generation Hunter Leary, Luke Hanuska, Chris Brown · 2026

PIPE-Cypher: Automatic Enterprise Benchmark Generation for Text-to-Cypher Systems Suraj Ranganath, Anish Raghavendra · 2026

Projecting the Emerging Mindset of SWE Agent by Launching a Wild Code Understanding Journey Zhengyi Zhuo, Yan Liu · 2026

Ishigaki-IDS: An Open-Weight Verifier-Aware Model for Information Delivery Specification Drafting in Building Information Modeling Ryo Kanazawa, Koyo Hidaka, Teppei Miyamoto, Takayuki Kato, Tomoki Ando, Chenguang Wang, Dayuan Jiang, Naofumi Fujita, Shuhei Saitoh, Atomu Kondo, Koki Arakawa, Daiho Nishioka · 2026

FusionVul: A Multimodal Feature Fusion Framework for Source Code Vulnerability Detection Hongyu Yang, Yaping Zhu, Jingchuan Luo, Hiroshi Nomaguchi, Chunhua Su, Willy Susilo · 2026

Causal Past Logic for Runtime Verification of Distributed LLM Agent Workflows Benedikt Bollig · 2026

Agentic Separation Logic Specification Synthesis Tarun Suresh, David Korczynski, Julien Vanegue · 2026

FPMoE: A Sparse Mixture-of-Experts Approach to Functional Code Generation Loc Pham, Lang Hong Nguyet Anh, Thanh Le-Cong · 2026

Skill-as-Pseudocode: Refactoring Skill Libraries to Pseudocode for LLM Agents Xinze Li, Yuhang Zang, Yixin Cao, Aixin Sun · 2026

FASE: Fast Adaptive Semantic Entropy for Code Quality Shizhe Lin, Ladan Tahvildari · 2026

Multicategorical Semantics for Untyped Effects Ariel Grunfeld, Liron Cohen · 2026

The Windows IOCTL Census: A Corpus-Scale, Multi-Architecture Database of the Driver Control-Code Surface Michael J. Bommarito · 2026

Relocate and Emulate: Re-Hosting Android's Application Layer Thomas Sutter, Timo Kehrer, Bernhard Tellenbach, Marc Rennhard · 2026

Code Is More Than Text: Uncertainty Estimation for Code Generation Yuling Shi, Caiqi Zhang, Yuexian Li, Haopeng Wang, Yeheng Chen, Nigel Collier, Xiaodong Gu · 2026

Agentic Persona Generation with Critique-Refinement: An Industrial Evaluation Mohammad Hossein Amini, David Dewar, Shiva Nejati, Mehrdad Sabetzadeh · 2026

Modeling Components and Connections in Cyber-Physical Systems Kate Sanborn, Tanuj Kenchannavar, Vakul Nath, Jonathan Sprinkle · 2026

Socratic-SWE: Self-Evolving Coding Agents via Trace-Derived Agent Skills Chuan Xiao, Zhengbo Jiao, Shaobo Wang, Wei Wang, Bing Zhao, Hu Wei, Linfeng Zhang, Lin Qu · 2026

Agentic Very Much! Adoption of Coding Agent in New GitHub Projects Romain Robbes, Théo Matricon, Thomas Degueule, Andre Hora, Stefano Zacchiroli · 2026

SmellBench: Towards Fine-Grained Evaluation of Code Agents on Refactoring Tasks Fake Lin, Binbin Hu, Xi Zhu, Ziwei Zhao, Zhi Zheng, Ziqi Liu, Zhiqiang Zhang, Jun Zhou, Tong Xu · 2026

The End of Software Engineering: How AI Agents Are Fundamentally Restructuring the Software Paradigm Zhenfeng Cao · 2026

Enhancing Software Engineering Through Closed-Loop Memory Optimization Xuehang Guo, Zora Zhiruo Wang, Qingyun Wang, Graham Neubig, Xingyao Wang · 2026

Development of a Structured Approach for Establishing Mission Engineering Requirements Taylor C. Fazzini, Daniel R. Herber · 2026

AutoPipelineAI: Context-Aware CI/CD Pipeline Generation from Natural Language Youssef Mohamed Aboelfotoh, Mohamed Ahmed Hemdan, Mohammad El-Ramly, Khlood Hassan, Mahmoud Saleh Saad, Ahmed Mohamed Tolba, Seif Gamal Abdelmonem · 2026

Tensor Algebraic Property Skeletons: Amplifying Property-Based Testing for AI Compilers Yuxin Qiu, Ben Limpanukorn, Seongmin Lee, Jiyuan Wang, Qian Zhang, Miryung Kim · 2026

Program Synthesis for Non-Linear Real Arithmetic: Going Beyond Realizability S. Akshay, Supratik Chakraborty, R. Govind, Aniruddha R. Joshi · 2026

DateSAT: A Framework for Solving Date and Period Constraints Leyi Cui, Shrey Tiwari, Rohan Padhye · 2026

Geo: A Query Rewrite Framework for Graph Pattern Mining Nazanin Yousefian, Kasra Jamshidi, Keval Vora, Anders Miltner · 2026

Provably Auditable and Safe LLM Agents from Human-Authored Ontologies Aaron Sterling · 2026

Incremental Computation for Efficient Programmable Inference in Probabilistic Programs Fabian Zaiser, Jack Czenszak, Martin C. Rinard, Vikash K. Mansinghka, Alexander K. Lew · 2026

Look Before You Leap: Checking in on Type Tag Checking Stephen M. Watt · 2026

Tangram: Unlocking Non-Uniform KV Cache for Efficient Multi-turn LLM Serving Hyungmin Kim, Minsoo Kim, Hongseok Kim, Jungwook Choi · 2026

From Failed Trajectories to Reliable LLM Agents: Diagnosing and Repairing Harness Flaws Mengzhuo Chen, Junjie Wang, Zhe Liu, Yawen Wang, Qing Wang · 2026

Scaffold, Not Vocabulary? A Controlled, Two-Tier, Pre-Registered Study of a Popperian Code-Generation Skill Mehmet Iscan · 2026

Practical Algebraic Stepping with Scoped Filters Haoxiang Fei, Matthew Keenan, Cyrus Omar · 2026

SEMBridge: Tagless-Final Program Semantics with Weakest-Precondition and Bounded-Checking Interpretations Eric Liang · 2026

ScanWeaver: Compiler-Driven Parallelization of Affine Recurrences via Associative Scan Lowering Qiying Wu, Pavel Zolnikov · 2026

Willing but Unable: Separating Refusal from Capability in Code LLMs via Abliteration Cristina Carleo, Pietro Liguori, Naghmeh Ivaki, Domenico Cotroneo · 2026

A formal framework for the economic security of DeFi compositions Massimo Bartoletti, Riccado Marchesin, Roberto Zunino · 2026

REStack: A Large-Scale Dataset of Reverse Engineering Discussions from Stack Exchange Md Humaun Kabir, Md Rakibul Islam, Farha Kamal · 2026

STMutants: A Mutation Testing Dataset for Structured Text Programs in Industrial Automation Md Humaun Kabir, Md Rakibul Islam, Helen H. Lou · 2026

Beyond Single-Policy: Evaluating Composed Organization-Specific Policy Alignment in LLM Chatbots Yingjie Liu, Yongxiang Hu, Xuan Wang, Yilun Li, Yunlei Wei, Xiaoyu Wang, Yangfan Zhou · 2026

Context-as-AI-Service: Surfacing Cross-File Dependency Chains for LLM-Generated Developer Documentation Ameya Gawde, Vyzantinos Repantis, Harshvardhan Singh, Lucy Moys · 2026

DeployBench: Benchmarking LLM Agents for Research Artifact Deployment Yuanli Wang, Yaoyao Qian, Yue Zhang, Hanhan Zhou, Jindan Huang, Tianfu Fu, Qiuyang Mang, Huanzhi Mao, Wenhao Chai, Wendong Fan, Liqiang Jing · 2026

Ekka: Automated Diagnosis of Silent Errors in LLM Inference Yile Gu, Zhen Zhang, Shaowei Zhu, Xinwei Fu, Jun Wu, Yida Wang, Baris Kasikci · 2026

Neural Change Prediction: Relating Software Changes to Their Effects and Vice Versa Laura Plein, Souhila Zidane, Jordan Samhi, Andreas Zeller · 2026

Human-AI Collaboration and the Transformation of Software Engineering Work Mamdouh Alenezi · 2026

Multi-Modal Assessment of Road Roughness Using Smartphone Applications, Acceleration, and Passenger Ratings Novel Certada, Amirhesam Aghanouri, Joseba Gorospe, Cristina Olaverri-Monreal · 2026

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Sajjad Khan · 2026

Code Lifespan Survival Analysis (CLSA): Predicting the Survival of Source Code Lines Using AST-Aware Mining Pavel Gurov · 2026

TeleSWEBench: A Commit-Driven Benchmark for Evaluating LLM-Powered Software Engineering in Telecommunications Pranshav Gajjar, Ali Mamaghani, Dinesh Bharadia, Vijay K Shah · 2026

Self-Reflective APIs: Structure Beats Verbosity for AI Agent Recovery Arquimedes Canedo, Grama Chethan · 2026

How Software Engineering Students Use LLMs to Write Research Papers: An Experience Report Ronnie de Souza Santos, Maria Teresa Baldassarre, Cleyton Magalhaes, Italo Santos · 2026

Software Configuration Management in Agile Development L. Bendix · 2024

Code-QA-Bench: Separating Code Reasoning from Documentation Memorization in Repository-Level QA Jun Zhang, JianYing Qu, Hanwen Du, Zhongkai Sun, Yehua Yang, Qiao Zhao · 2026

On the Road to Personalized Code Intelligence: Portraiting and Assisting Developers Based on Their In-IDE Behaviors Yuhong Liu, Yunhe Su, Zhipeng Peng, Zhiwen Luo, Lin Shi, Zhi Jin, Li Zhang · 2026

Offloading Score: Measuring AI Reliance Through Counterfactual Workflows Vishakh Padmakumar, Lujain Ibrahim, Zora Zhiruo Wang, Jennifer Wang, Q. Vera Liao, Diyi Yang · 2026

GitHub Copilot and Developer Productivity: An Observational Dose-Response Analysis Alex Heilman, Alex Kyllo, Emerson Murphy-Hill · 2026

When Safe Skills Collide: Measuring Compositional Risk in Agent Skill Ecosystems Su Wang, Pin Qian, Yihang Chen, Junxian You, Xiaoyuan Wang, Xiaochong Jiang, Lifei Liu, Haoran Yu, Jingzhou Xu · 2026

Sakura: An Approach for Generating Complex Tests from Natural Language Test Descriptions Tyler Stennett, Rangeet Pan, Bridget McGinn, Alessandro Orso, Saurabh Sinha · 2026

Accuracy, Stability, and Repeated-Run Reliability of Large Language Models on Deterministic Programming Tasks Yongxi Zhou, Lai Yun Choi, Jiaxi Wen, Wenbo Ye · 2026

Tridirectional Discriminating-Power Formal Verification of Smart Contract Reentrancy Defense Against Production-Deployed Solidity Source Ray Iskander · 2026

Teaching Synchronous Dataflow Modelling with Learn-Heptagon Pierre-Loïc Garoche, Basile Pesin · 2026

Toka: A Systems Programming Language with Explicit Resource Semantics Zhonghua Yi · 2026

From Time to Space: The Impact of Linearity in Higher-Order Datalog Angelos Charalambidis, Babis Kostopoulos, Panos Rondogiannis · 2026

Algorithmic algorithm development with LLMs: A Case Study on LLM-Usage for Contraction Order Optimization in Tensor Networks Fabian Hoppe, Melven Röhrig-Zöllner, Philipp Knechtges · 2026

An Agentic Approach Towards Replication Package Quality Evaluation Maximilian Alexander Amougou Mbida, Florian Angermeir · 2026

Monitoring Agentic Systems Before They're Reliable Marisa Ferrara Boston, Glen Hanson, Effi Georgala, JD Hudgens, Heather Frase · 2026

Intent-Driven Computing: A Computational Model for Governed Autonomous Systems Alan L. McCann · 2026

Improving Small Language Models for Code Generation with Reinforcement Learning from Verification Feedback Egor Skopin, Evgeny Kotelnikov · 2026

Neurodiversity in Agile Teams: Obstacles and Inclusion Barriers Lars Struck, Christian Veenaas, Robert Wiedekind, Joshua Riechmann, Maria Rauschenberger, Philipp Diebold, Simone Dogu, Michael Neumann · 2026

AI-PROPELLER: Warehouse-Scale Interprocedural Code Layout Optimization with AlphaEvolve Chaitanya Mamatha Ananda, Rajiv Gupta, Mircea Trofin, Aiden Grossman, Sriraman Tallam, Xinliang David Li, Amir Yazdanbakhsh · 2026

Software Cost Estimation and Capability Maturity Model in Context of Global Software Engineering Ayub Muhammad Latif, Khalid Muhammad Khan, Anh Nguyen Duc · 2022

Adaptation of Modern Agile Practices in Global Software Engineering Moiz Mansoor, Muhammad Waqar Khan, Syed Sajjad Hussain Rizvi, Manzoor Ahmed Hashmani, Muhammad Zubair · 2022

Inferring Code Correctness from Specification Tambon Florian, Papadakis Mike · 2026

TagDebt: A Bot to Support Technical Debt Management João Paulo Biazotto, Daniel Feitosa, Paris Avgeriou, Elisa Yumi Nakagawa · 2026

Claim against Measurement: Statistical Artefacts in Quantum Error Mitigation Benchmarks Dominik Köster, Wolfgang Mauerer · 2026

Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents Xiang Liu, Sa Song, Zhaowei Zhang, Huiying Lan, Jason Zeng, Ming Wu, Michael Heinrich, Yong Sun, Ceyao Zhang · 2026

LLM-based Mockless Unit Test Generation for Java Qinghua Xu, Guancheng Wang, Lionel Briand, Zhaoqiang Guo, Kui Liu · 2026

Strategies for Guiding LLMs to Use Software Design Patterns: A Case of Singleton Viktor Kjellberg, Farnaz Fotrousi, Miroslaw Staron · 2026

Neuro-Symbolic Verification of LLM Outputs for Data-Sensitive Domains (extended preprint) Paul Sigloch, Christoph Benzmüller · 2026

ConVer: Using Contracts and Loop Invariant Synthesis for Scalable Formal Software Verification Muhammad A. A. Pirzada, Weiqi Wang, Yiannis Charalambous, Konstantin Korovin, Lucas C. Cordeiro · 2026

Projectional Decoding: Towards Semantic-Aware LLM Generation Boqi Chen, José Antonio Hernández López, Aren A. Babikian · 2026

EvoRepair: Enhancing Vulnerability Repair Agents Through Experience-Based Self-Evolution Haichuan Hu, Guoqing Xie, Quanjun Zhang, Jiawei Liu, Shengcheng Yu, Chunrong Fang, Zhenyu Chen, Liang Xiao · 2026

Automating Low-Risk Code Review at Meta: RADAR, Risk Calibration, and Review Efficiency Chris Adams, Arjun Singh Banga, Parveen Bansal, Souvik Bhattacharya, Rujin Cao, Pedro Canahuati, Nate Cook, Brian Ellis, Prabhakar Goyal, Gurinder Grewal, Tianyu He, Matt Labunka, Alex Manners, David Molnar, Ging Cee Ng, Vishal Parekh, Jiefu Pei, Frederic Sagnes, James Saindon, Will Shackleton, Sid Sidhu, Gursharan Singh, Karthik Chengayan Sridhar, Matt Steiner, Pratibha Udmalpet, Sean Xia, Stacey Yan, Audris Mockus, Peter Rigby, Nachiappan Nagappan · 2026

PassNet: Scaling Large Language Models for Graph Compiler Pass Generation Yiqun Liu, Yingsheng Wu, Ruqi Yang, Enrong Zheng, Honglei Qiu, Sijun He, Tai Liang, Jingjing Wu, Yuhan Zhou, Yiwei Zhang, Dongyan Chen, Weihan Yi, Xinqi Li, Siqi Bao · 2026

Minimalistic Terminal Editor for Julia Programming -- MinTEJ: A Friendly Approach for a Scientific Programmer Poornachandratejasvi Laxman Bhattar, Payal V. Dahiwale, Krishnarjunulu Thota, Anurag Sharma · 2026

Agentic Interpretation: Lattice-Structured Evidence for LLM-Based Program Analysis Jacqueline L. Mitchell, Chao Wang · 2026

Code-Guided Reasoning for Small Language Models: Evaluating Executable MCQA Scaffolds Prateek Biswas, Dhaval Patel, Vedant Khandelwal, Shuxin Lin, Amit Sheth · 2026

Language-Based Agent Control Timothy Zhou, Loris D'Antoni, Nadia Polikarpova · 2026

Trustworthy Software Project Generation : a Case Study with an Interactive Theorem Prover Jian Fang, Yingfei Xiong · 2026

When Gradients Collide: Failure Modes of Multi-Objective Prompt Optimization for LLM Judges Parth Darshan, Abhishek Divekar · 2026

Workflow Closure Is Not Scientific Closure in Auto-Research Systems Shuai Wang, Xinyuan Tian, Pangpang Liu, Yize Zhao · 2026

A Minimal Executable Proof for Multi-Language Contract Traceability Werner Kasselman · 2026

Generalized Software Product Line Extraction Federico Bruzzone, Walter Cazzola, Luca Favalli · 2026

Converted, Not Equivalent: Benchmarking Codebase Conversion via Observational Equivalence Linxin Song, Jiefeng Chen, Yue Huang, Bhavana Dalvi Mishra, Chi Wang, Jieyu Zhao, Jinsung Yoon, Tomas Pfister · 2026

SCDBench: A Benchmark for LLM-Based Smart Contract Decompilers Kaihua Qin, Dawn Song, Arthur Gervais · 2026

Step in Tine: Forking Processes in Functional Choreographies Ashley Samuelson, Andrew K. Hirsch, Ethan Cecchetti · 2026

Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems Shubham Agarwal, Alexander Krentsel, Shu Liu, Mert Cemri, Audrey Cheng, Rui Meng, Tomas Pfister, Chun-Liang Li, Sylvia Ratnasamy, Aditya Parameswaran, Matei Zaharia, Ion Stoica, Mohsen Lesani · 2026

Benchmarks are Not Enough: RAMP for Runtime Assessing of Agentic Models in Production Systems Yipeng Ouyang, Xin Huang, Bingjie Liu, Zhongchun Zheng, Yuhao Gu, Xianwei Zhang · 2026

E-Path: Equality Saturation for Control-Flow Graphs Guillermo Garcia · 2026

Meta-Engineering Harnesses for AI-Native Software Production: A Contract-Driven Adversarial Verification Architecture with Early Deployment Report Satadru Sengupta, Tamunokorite Briggs, Ivan Myshakivskyi · 2026

FuzzPilot: Plateau-Triggered Recipe Validation for Structured Text Fuzzing Zhiyi Yao · 2026

QuCtrl-BELL: A Compiler-Driven Sub-Microsecond Feedback Control Stack for Scalable Trapped-Ion Quantum Experiments Junpeng She, Ruoyu Yan, Zhizhen Qin, Zhanyu Li, Zhongtao Shen, Zichao Zhou, Binxiang Qi, Luming Duan · 2026

Complete first-order reasoning for functional programs Adithya Murali, Lucas Peña, Ranjit Jhala, P. Madhusudan · 2026

Inverting the Shield: Systematically Generating Safety Tests from Policy Specifications Xiaoyue Lu, Xianglin Yang, Haijun Liu, Jiahao Liu, Kuntai Cai, Yan Xiao, Jin Song Dong · 2026

Circular Induction Dorel Lucanu, Grigore Rosu, Eugen Goriac, Georgiana Caltais · 2026

How Agentic AI Coding Assistants Become the Attacker's Shell Yue Liu, Yanjie Zhao, Yunbo Lyu, Ting Zhang, Haoyu Wang, David Lo · 2026

From Early Adoption to Sustained Use: Understanding GenAI Usage Among Software Developers in Italian SMEs Fabio Calefato, Alexandra Pajonk, Victoria Jackson, Guilherme Vaz Pereira, Rafael Prikladnicki, Filippo Lanubile · 2026

CelerLog: Fast Log Parsing via Dynamic Routing Shiwen Shan, Yintong Huo, Minxing Wang, Zhiying Wu, Yuxin Su, Zibin Zheng · 2026

Empirical Analysis and Detection of Hallucinations in LLM-Generated Bug Report Summaries Hinduja Nirujan, Shreyas Patil, Abdallah Ayoub, Ahmad Abdel Latif, Gouri Ginde · 2026

Understanding Conversational Patterns in Multi-agent Programming: A Case Study on Fibonacci Game Development Srijita Basu, Viktor Kjellberg, Simin Sun, Bengt Haraldsson, Md. Abu Ahammed Babu, Wilhelm Meding, Farnaz Fotrousi, Miroslaw Staron · 2026

Palette: A Modular, Controllable, and Efficient Framework for On-demand Authorized Safety Alignment Relaxation in LLMs Qitao Tan, Xiaoying Song, Arman Akbari, Arash Akbari, Yanzhi Wang, Xiaoming Zhai, Lingzi Hong, Zhen Xiang, Jin Lu, Geng Yuan · 2026

ProDebug: An Automated Debugging System for Prolog Ricardo Brancas, Vasco Manquinho, Ruben Martins · 2026

EviACT: An Evidence-to-Action Framework for Agentic Program Repair Qianru Meng, Xiao Zhang, Zhaochun Ren, Joost Visser · 2026

Governed Evolution of Agent Runtimes through Executable Operational Cognition Mariano Garralda-Barrio · 2026

EdgeFlow: Edge-Map Augmented VLM-Based Flowchart Processing for Industrial Requirements Engineering Zhifei Dou, Shabnam Hassani, Ou Wei · 2026

Verifying Sequential Consistency under Bounded Preemptions R. Govind, S. Krishna, Sanchari Sil, B. Srivathsan · 2026

Shepherd: A Runtime Substrate Empowering Meta-Agents with a Formalized Execution Trace Simon Yu, Derek Chong, Ananjan Nandi, Dilara Soylu, Jiuding Sun, Christopher D Manning, Weiyan Shi · 2026

Quantitative Symbolic Patch Impact Analysis Laboni Sarker, Abdus Satter, Tevfik Bultan · 2026

Rewrite System Showdown: Stochastic Search vs. EqSat Qiantan Hong, Rupanshu Soi, Yihong Zhang, Alex Aiken · 2026

Ordered Adjoint Logic (Extended Version) Sophia Roshal, Frank Pfenning · 2026

When Web Apps Heal Themselves: A MAPE-K Based Approach to Fault Tolerance and Adaptive Recovery Sales Aribe, Rov Japheth Oracion · 2026

The Neglected Baseline in Model Interpretation Yongjin Cui, Xiaohui Fan · 2026

Combining Mechanical and Agentic Specification Inference for Move Wolfgang Grieskamp, Teng Zhang, Vineeth Kashyap · 2026

AI Assurance: A Comprehensive Testing Strategy for Enterprise AI Systems Chitra Badagi, Divye Singh, Animesh Sen, Adinath Shirsath · 2026

MISRust: Mapping MISRA-C++ Coding Guidelines to the Rust Programming Language Marius Molz, Niels Schneider, Sven Lechner, Stefan Kowalewski, Alexandru Kampmann · 2026

AI-Driven Adaptive Adversaries and the Erosion of Cryptographic Trust in Public Key Systems Petar Radanliev · 2026

Guarded Repair for Harm-Aware Post-hoc Replacement of LLM Mathematical Reasoning Haizhou Xia · 2026

Synthesizing Inductive Invariants for Distributed Protocols via IC3 and Large Language Models Weining Cao, Guangyuan Wu, Yuan Yao, Hengfeng Wei, Taolue Chen, Xiaoxing Ma · 2026

Beyond Inference-Only Deployment: Comparing Weight-Based Consolidation Against Cascading Compaction Simon Dennis, Kevin Shabahang, Hao Guo, Rivaan Patil · 2026

Reuse in Agile Development Process Chung-Yeung Pang · 2022

Contract Based Verification of Non-functional Requirements for Embedded Automotive C Code Jesper Amilon, Merlijn Sevenhuijsen, Mattias Nyberg, Karl Palmskog · 2026

Privacy-by-Design Adaptive Group Assignment for Digital Lifestyle Coaching at Scale Nariman Mani, Salma Attaranasl · 2026

AgentAtlas: Beyond Outcome Leaderboards for LLM Agents Parsa Mazaheri, Kasra Mazaheri · 2026

VeriScale: Adversarial Test-Suite Scaling for Verifiable Code Generation Yifan Bai, Xiaoyang Liu, Zihao Mou, Guihong Wang, Jian Yu, Shuhan Xie, Yantao Li, Yangyu Zhang, Jingwei Liang, Tao Luo · 2026

The Neglected Baseline in Model Interpretation Yongjin Cui, Xiaohui Fan · 2026

"Refactoring Runaway": Understanding and Mitigating Tangled Refactorings in Coding Agents for Issue Resolution Zhao Tian, Zifan Zhang, Tao Xiao, Dong Wang, Masanari Kondo, Junjie Chen, Yasutaka Kamei · 2026

Why Are Agentic Pull Requests Merged or Rejected? An Empirical Study Sien Reeve O. Peralta, Fumika Hoshi, Hironori Washizaki, Naoyasu Ubayashi, Inase Kondo, Yoshiki Higo, Hiroki Mukai, Norihiro Yoshida, Kazuki Kusama, Hidetake Tanaka, Youmei Fan · 2026

The Cultural and Institutional Barrier of Knowledge Exchanges in the Development of Open Source Software Ikbal Maulana · 2022

MileStone: A Multi-Objective Compiler Phase Ordering Framework for Graph-based IR-Level Optimization Amirhosein Sadr, Mehran Alidoost Nia · 2026

JEDI: Java Evaluation of Declarative and Imperative Queries Filippo Schiavio, Walter Binder · 2026

Misleading Microbenchmarks on the Java Virtual Machines Filippo Schiavio, Lubomír Bulej, Walter Binder · 2026

Agentic Proving for Program Verification Alessandro Sosso, Akhil Arora, Bas Spitters · 2026

Interaction Tree Semantics for RISC-V: Bridging Compiler and Hardware Verification Shuanglong Kan, Sebastian Ertel · 2026

Beyond BLEU: A Semantic Evaluation Method for Code Translation Julius Näumann, Sven Keidel, Amir Molzam Sharifloo, Mira Mezini · 2026

GPU-Accelerated Synthesis of Mixed-Boolean Arithmetic: Beyond Caching Gabriel Bathie, Baptiste Mouillon, Nathanaël Fijalkow · 2026

Teaching LLMs Program Semantics via Symbolic Execution Traces Jonas Bayer, Stefan Zetzsche, Olivier Bouissou, Remi Delmas, Michael Tautschnig, Soonho Kong · 2026

HarnessAPI: A Skill-First Framework for Unified Streaming APIs and MCP Tools Edwin Jose · 2026

FAME: Failure-Aware Mixture-of-Experts for Message-Level Log Anomaly Detection Huanchi Wang, Zihang Huang, Yifang Tian, Kristina Dzeparoska, Hans-Arno Jacobsen, Alberto Leon-Garcia · 2026

OverrideFuzz: Semantic-Aware Grammar Fuzzing for Script-Runtime Vulnerabilities Yiran Qiu · 2026

Neural Code Translation of Legacy Code: APL to C# Abdulrahman Ramadan, Hanen Borchani, Iben Lilholm, Mikkel Almind, Allan Peter Engsig-Karup · 2026

Automated Amortised Analysis of Skew Heaps and Leftist Heaps (Extended Version) Armin Walch, Georg Moser, Berry Schoenmakers, Florian Zuleger · 2026

Divergent Multi-Version Execution (DME): Canonical Instruction-Trace Fault Detection via Structural Address-Space Decorrelation Petro Baran Yrievich · 2026

The Use of Model-Based Systems Engineering in Agile Software Development Dallas Rosson · 2026

Applying Software Engineering Design Principles to Agile Architecture Chung-Yeung Pang · 2022

Integrating Testing into Agile Software Development Processes · 2014

Agile Team Measurement to Review the Performance in Global Software Development Chamundeswari Arumugam, Srinivasan Vaidyanathan · 2022

Agile Testing: Past, Present, and Future -- Charting a Systematic Map of Testing in Agile Software Development Theodore D. Hellmann, Abhishek Sharma, Jennifer Ferreira, Frank Maurer · 2012

Fuzzy Ontology for Requirements Determination and Documentation During Software Development Priti Srinivas Sajja, Rajendra A. Akerkar · 2022

MMT Pekka Mäkiaho, Katriina Vartiainen, Timo Poranen · 2022

Caesar: A Deductive Verifier for Probabilistic Programs Philipp Schröer, Kevin Batz, Umut Yiğit Dural, Darion Haase, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja · 2026

Compile-time Security Analysis and Optimization of Sensitive String Producers Mike Samuel, Tom Palmer, Shaw Summa, Robert Grayson · 2026

Constrained Code Generation with Discrete Diffusion Lize Shao, Michael Cardei, Zichen Xie, Ferdinando Fioretto, Wenxi Wang · 2026

Articulate but Wrong: Self-Review Failures in LLM-Based Code Modernization Gokul Chandra Purnachandra Reddy, Aditya Lolla, Harsha Sanku · 2026

BioDefect: The First Dataset for Defect Detection in Bioinformatics Software Tianxiang Xu, Xiaoyan Zhu, Xin Lai, Xin Lian, Hangyu Cheng, Jiayin Wang · 2026

Governance by Construction for Generalist Agents Segev Shlomov, Iftach Shoham, Alon Oved, Ido Levy, Sami Marreed, Harold Ship, Offer Akrabi, Sergey Zeltyn, Avi Yaeli, Nir Mashkif · 2026

RefusalBench: Why Refusal Rate Misranks Frontier LLMs on Biological Research Prompts Lukas Weidener, Marko Brkić, Mihailo Jovanović, Emre Ulgac, Aakaash Meduri · 2026

A Dataset of Reproducible Flaky-Test Failures Suzzana Rafi, Mahbub-Ul-Hoque Sumon, Md Erfan, Maruf Morshed Khan, August Shi, Wing Lam · 2026

The 2nd Workshop on Agile Practice & Research: A Summary and Call For Research Karen Eilers, Michael Neumann, Eva-Maria Schön, Mali Senapathi, Maria Rauschenberger, Tiago Silva da Silva · 2026

FuzzingBrain V2: A Multi-Agent LLM System for Automated Vulnerability Discovery and Reproduction Ze Sheng, Zhicheng Chen, Qingxiao Xu, Kewen Zhu, Jeff Huang · 2026

Quality-Assured Fuzz Harness Generation via the Four Principles Framework Ze Sheng, Dmitrijs Trizna, Luigino Camastra, Zhicheng Chen, Qingxiao Xu, Jeff Huang · 2026

Management in an Agile Environment · 2009

A Glossary of Business Sustainability Concepts Arunasalam Sambhanthan · 2022

Space engineering. Agile software development handbook · 2024

QUTest: A Native Testing Framework for Quantum Programs José Campos · 2026

OpenComputer: Verifiable Software Worlds for Computer-Use Agents Jinbiao Wei, Qianran Ma, Yilun Zhao, Xiao Zhou, Kangqi Ni, Guo Gan, Arman Cohan · 2026

Software Quality Management by Agile Testing Sharanpreet Kaur, Susheela Hooda, Harsimrat Deo · 2023

Systems and software engineering. Life cycle profiles for very small entities (VSEs) · 2024

Applying Software Engineering Design Principles to Agile Architecture Chung-Yeung Pang · 2020

Security Assurance in Agile Software Development Methods Kalle Rindell, Sami Hyrynsalmi, Ville Leppänen · 2022

Research Anthology on Agile Software, Software Development, and Testing · 2022

The Role of Neural Networks and Metaheuristics in Agile Software Development Effort Estimation Anupama Kaushik, Devendra Kumar Tayal, Kalpana Yadav · 2022

Agile Project Management · 2009

Teaching Model-Driven Engineering in a Master's Program Alexandre Bragança, Isabel Azevedo, Nuno Bettencourt · 2022

A Semantic-Web Oriented Competency Model for Engineering Programs Nicolas Evain, Ernesto Exposito, Philippe Arnould · 2026

Agentic Agile-V: From Vibe Coding to Verified Engineering in Software and Hardware Development Christopher Koch · 2026

Code Generation by Differential Test Time Scaling Yifeng He, Ethan Wang, Jicheng Wang, Xuanxin Ouyang, Hao Chen · 2026

A Multi-Layer Testing Framework for Automated Data Quality Assurance in Cloud-Native ELT Pipelines Ismail Gargouri, Hassan Reza · 2026

Stdlib or Third-Party? Empirical Performance and Correctness of LLM-Assisted Zero-Dependency Python Libraries Peng Ding, Rick Stevens · 2026

Agentic Model Checking Youcheng Sun, Jiawen Liu, Daniel Kroening, Jason Xue · 2026

Quality and Security Signals in AI-Generated Python Refactoring Pull Requests Mohamed Almukhtar, Anwar Ghammam, Hua Ming · 2026

Leveraging LLMs for Grammar Adaptation: A Study on Metamodel-Grammar Co-Evolution Weixing Zhang, Bowen Jiang, Rahul Sharma, Regina Hebig, Daniel Strüber · 2026

On-the-Fly Input Adaptation for Reliable Code Intelligence Ravishka Rathnasuriya, Wei Yang · 2026

When to Answer and When to Defer: A Decision Framework for Reliable Code Predictions Ravishka Rathnasuriya, Wei Yang · 2026

DRReduce: Enhancing Syntax-Guided Program Reduction with Dependency Reconstruction Qiong Feng, Xiaotian Ma, Yongqiang Tian, Wei Song, Peng Liang · 2026

Provable Fairness Repair for Deep Neural Networks Jianan Ma, Jingyi Wang, Qi Xuan, Zhen Wang · 2026

Traditional or Agile Contracting for Software Development Dinah Payne · 2022

Software Testing Under Agile, Scrum, and DevOps Kamalendu Pal, Bill Karakostas · 2022

Software Maintainability Estimation in Agile Software Development Parita Jain, Arun Sharma, Laxmi Ahuja · 2022

Knowledge Management Initiatives in Agile Software Development Shanmuganathan Vasanthapriyan · 2022

Why Agile? · 2009

A Simulation Model for Application Development in Data Warehouses Nayem Rahman · 2022

Foundations of Systems Engineering and Agile Scrum Dallas Rosson · 2026

Software Architecture Perla Velasco-Elizondo · 2022

From Agile Software Development to Agile Businesses C. Steindl · 2024

Linear-Time T-Gate Optimization via Random Abstraction Aws Albarghouthi · 2026

First Steps Towards Probabilistic Iris: Harmonizing Independence, Conditioning, and Dynamic Heap Allocation Janine Lohse, Tim Rohde, Jimmy Xin, Niklas Mück, Iona Kuhn, Derek Dreyer, Deepak Garg, Emanuele D'Osualdo · 2026

On the Complexity of Checking Soundness of Natural Reductions (Extended Version) Constantin Enea, Azadeh Farzan, Dominik Klumpp · 2026

Hydra: Efficient, Correct Code Generation via Checkpoint-and-Rollback Support Alexander Du, Jianjun Ou, Danyang Zhuo, Matthew Lentz · 2026

Risk Management Metrics Rimsy Dua, Samiksha Sharma, Rohit Kumar · 2022

Space engineering. Agile software development handbook · 2024

Challenges and Trends of Agile Fayez Salma, Jorge Marx Gómez · 2022

An Early Multi-Criteria Risk Assessment Model Priyanka Chandani, Chetna Gupta · 2022

A Decision Making Paradigm for Software Development in Libraries Harish Maringanti · 2022

Using Epistemic Game Development to Teach Software Development Skills Christos Gatzoulis, Andreas S. Andreou, Panagiotis Zaharias, Yiorgos Chrysanthou · 2022

Design and Development of a Technology-Agnostic NFR Testing Framework Erik Whiting, Soma Datta · 2022

Building an Ambidextrous Software Security Initiative Daniela Soares Cruzes, Espen Agnalt Johansen · 2022

Test Suite Optimization Using Firefly and Genetic Algorithm Abhishek Pandey, Soumya Banerjee · 2022

Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair Hongshu Wang, Xinyue Zuo, Yuhan Sun, Qin Li, Yamine Ait Ameur, Jin Song Dong · 2026

SaaSBench: Exploring the Boundaries of Coding Agents in Long-Horizon Enterprise SaaS Engineering Qingnan Ren, Shun Zou, Shiting Huang, Ziao Zhang, Kou Shi, Zhen Fang, Yiming Zhao, Yu Zeng, Qisheng Su, Lin Chen, Yong Wang, Zehui Chen, Xiangxiang Chu, Feng Zhao · 2026

AgentModernize: Preserving Business Logic in Legacy Modernization with Multi-Agent LLMs and Behavioral Specification Graphs Sheikh Nazib Ahmed, Marnim Galib · 2026

Rethinking Code Review in the Age of AI: A Vision for Agentic Code Review Hüseyin Özgür Kamalı, Erdem Tuna, Vahid Haratian, Eray Tüzün · 2026

АНАЛИЗ МЕТОДОВ РЕШЕНИЯ ЗАДАЧИ УСТОЙЧИВОСТИ ПЛАСТИНОК Сычев М. Е., Овешников В. Ю. · 2023

СРАВНЕНИЕ МЕТОДОВ РЕШЕНИЯ ПРЯМОЙ ЗАДАЧИ КИНЕМАТИКИ МАНИПУЛЯТОРОВ И ПРЕДСТАВЛЕНИЕ МЕТОДА РЕШЕНИЯ ОБРАТНОЙ ЗАДАЧИ КИНЕМАТИКИ С ПОМОЩЬЮ МЕТОДА КВАТЕРНИОНОВ Цхай Н. В., Котов Е. С. · 2024

Machine Learning Classification to Effort Estimation for Embedded Software Development Projects Kazunori Iwata, Toyoshiro Nakashima, Yoshiyuki Anan, Naohiro Ishii · 2022

NATO and the Birth of Software Engineering David Parsons · 2024

Review on Agile Software Development · 2016

Agile Analysis · 2009

Markov Decision Theory-Based Crowdsourcing Software Process Model Kamalendu Pal · 2022

LogRouter: Adaptive Two-Level LLM Routing for Log Question Answering in Big Data Systems Mert Coskuner, Merve Zeybel, Melik Mert Dolan · 2026

PROTEA: Offline Evaluation and Iterative Refinement for Multi-Agent LLM Workflows Kazuki Kawamura, Satoshi Waki, Kei Tateno · 2026

A-ProS: Towards Reliable Autonomous Programming Through Multi-Model Feedback Anika Tabassum, Md Sifat Hossain, Md. Fahim Arefin, Tariqul Islam, Tarannum Shaila Zaman · 2026

Three Heads Are Better Than One: A Multi-perspective Reasoning Framework for Enhanced Vulnerability Detection Xin Peng, Bo Lin, Jing Wang, Xiaoling Li, Jun Ma, Jie Yu, Xiaoguang Mao, Shangwen Wang · 2026

One Step Further: Understanding PLC Binaries Through Cross-Platform Reverse Engineering and Function-Level Semantic Analysis Ang Jia, Yaxin Duan, He Jiang, Zhenzhou Tian, Zhilei Ren, Xiaochen Li · 2026

Benchmarking Mythos-Linked Bug Rediscovery Isaac David, Arthur Gervais · 2026

A semantic mutation metric for metamorphic relation adequacy in scientific computing programs Meng Li, Xiaohua Yang, Jie Liu, Shiyu Yan · 2026

DiagEval: Trajectory-Conditioned Diagnosis for Reliable Software Evaluation with GUI Agents Sirui Hong, Zhijie Liu, Tengfei Li, Wei Tao, Yifan Wu, Chenglin Wu · 2026

Agile Software Development Meets Corporate Deployment Procedures: Stretching the Agile Envelope Olly Gotel, David Leip · 2024

Tools in the Agile Enterprise · 2009

Analysis and Comparison of Neural Network Models for Software Development Effort Estimation Kamlesh Dutta, Varun Gupta, Vachik S. Dave · 2022

Agile Project Management— Getting Started · 2009

Project Life Cycles in Open-Source Software Sanjiv Das, Andrii Ieroshenko, Piyush Jain, David Qiu, Michael Chin, Brian Granger · 2026

A Non-Destructive Methodological Framework for Modernizing Legacy Clinical Reporting Systems for AI-Driven Pharmacoinformatics: A SAS Case Study Jaime Yan · 2026

AgentLens: Revealing The Lucky Pass Problem in SWE-Agent Evaluation Priyam Sahoo, Gaurav Mittal, Xiaomin Li, Shengjie Ma, Benjamin Steenhoek, Pingping Lin, Yu Hu · 2026

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence Jun He, Deying Yu · 2026

Not All RAGs Are Created Equal: A Component-Wise Empirical Study for Software Engineering Tasks Qiang Ke, Yanjie Zhao, Hongjin Leng, Shengming Zhao, Haoyu Wang · 2026

Remember Your Trace: Memory-Guided Long-Horizon Agentic Framework for Consistent and Hierarchical Repository-Level Code Documentation Suyoung Bae, Jaehoon Lee, Changkyu Choi, YunSeok Choi, Jee-Hyong Lee · 2026

Mining Subscenario Refactoring Opportunities in Behaviour-Driven Software Test Suites: ML Classifiers and LLM-Judge Baselines Ali Hassaan Mughal, Noor Fatima, Muhammad Bilal · 2026

In-IDE Toolkit for Developers of AI-Based Features Yaroslav Sokolov, Yury Khudyakov, Lenar Sharipov, Andrei Gasparian, Parth Tiwary, Artem Trofimov · 2026

РЕШЕНИЕ ОЛИМПИАДНЫХ ЗАДАЧ МЕТОДАМИ ДИСКРЕТНОЙ МАТЕМАТИКИ Мухаметова М. И., Воистинова Г. Х. · 2023

ИССЛЕДОВАНИЕ НЕЙРОСЕТЕВОГО МЕТОДА РЕШЕНИЯ ЗАДАЧ ЛИНЕЙНОГО ПРОГРАММИРОВАНИЯ Ольховский Николай Александрович · 2023

МЕТОДЫ ЗАКРЕПЛЕНИЯ ПРИЕМОВ РЕШЕНИЯ ЗАДАЧ ПРИ ОБУЧЕНИИ МАТЕМАТИКЕ В ОБЩЕОБРАЗОВАТЕЛЬНОЙ ШКОЛЕ Горюнова Екатерина Александровна, Антонова Ирина Владимировна · 2025

МЕТОДЫ РЕШЕНИЯ ЗАДАЧИ АВТОМАТИЧЕСКОГО РЕФЕРИРОВАНИЯ ТЕКСТА Кулешов Н. А. · 2024

A Contingent Approach to Facilitating Conflict Resolution in Software Development Outsourcing Projects Donghwan Cho · 2022

Reliability and Testing · 2010

Techniques and Trends Towards Various Dimensions of Robust Security Testing in Global Software Engineering Muhammad Sulleman Memon, Mairaj Nabi Bhatti, Manzoor Ahmed Hashmani, Muhammad Shafique Malik, Naveed Murad Dahri · 2022

Migrating Software Towards Mobile Technologies Liliana Maria Favre · 2022

Security Testing Framework for Web Applications Layla Mohammed Alrawais, Mamdouh Alenezi, Mohammad Akour · 2022

Agile Scrum Issues at Large-Scale Distributed Projects Ayesha Khalid, Shariq Aziz Butt, Tauseef Jamal, Saikat Gochhait · 2022

Knowledge Management and Quality Control in Software Outsourcing Projects Rajorshi Sen Gupta · 2022

Refactoring and Integration Testing · 2010

Adapting a Requirements Engineering Process by Key Factors Estimation Graciela Dora Susana Hadad, Jorge Horacio Doorn, Viviana Alejandra Ledesma · 2022

Fixed Priced Projects in Agile Anuradha Chaminda Gajanayaka · 2016

Software Development for Information System - Achieving Optimum Quality with Security Syeda Umema Hani, Abu Turab Alam · 2022

Why Agile? · 2009

Source-to-Source Transformations for GPU Code Generation Julien de Castelnau, Thomas Koehler, Arthur Charguéraud, Clément Pit-Claudel · 2026

Is Agentic AI Ready for Real-World Hardware Engineering? A Deep Dive with Phoenix-bench Qingyun Zou, Feng Yu, Hongshi Tan, Bingsheng He, WengFai Wong · 2026

Scalable Deductive Verification of Data-Level Parallel Programs Lars B. van den Haak, Anton Wijs, Marieke Huisman · 2026

SkillOps: Managing LLM Agent Skill Libraries as Self-Maintaining Software Ecosystems Hongji Pu, Xinyuan Song, Liang Zhao · 2026

New Factors Affecting Productivity of the Software Factory Pedro Castañeda, David Mauricio · 2022

Testing and Test Automation Julian Michael Bass · 2022

Agile Software Development Quality Assurance J. Kile · 2024

Intuitionistic Fuzzy Decision Making Towards Efficient Team Selection in Global Software Development Mukta Goyal, Chetna Gupta · 2022

Quantitative Comparison of Credible Compilation and Verification In Coding Agent Compiler Development Martin Rinard · 2026

Persistent Amortised Analysis, Operationally Anton Lorenzen · 2026

Categorical Message Passing Language (CaMPL) for programmers Daniel Kiyoshi Hashimoto, Alexanna Little Berg, Priyaa Varshinee Srinivasan · 2026

SmartEval: A Benchmark for Evaluating LLM-Generated Smart Contracts from Natural Language Specifications Abhinav Goel, Agostino Capponi, Alfio Gliozzo, Chaitya Shah · 2026