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

Multi-LCB: Extending LiveCodeBench to Multiple Programming Languages Maria Ivanova, Pavel Zadorozhny, Rodion Levichev, Ivan Petrov, Adamenko Pavel, Ivan Lopatin, Alexey Kutalev, Dmitrii Babaev · 2026

LLM-as-Judge in Education: A Curriculum-Grounded Marking Pipeline Xiwei Xu, Chen Wang, Jacky Jiang, Phil Yang, Qian Fu, Mohan Dhall, Wenjie Zhang, Liming Zhu · 2026

When the Next Step Is Not One Step: Distribution-Aware Execution Modeling for Concurrent Go Programs Kaviru Hapuarachchi · 2026

Unlocking LLM Code Correction with Iterative Feedback Loops Le Zhang, Suresh Kothari · 2026

AutoPass: Evidence-Guided LLM Agents for Compiler Performance Tuning Zepeng Li, Jie Ren, Zhanyong Tang, Jie Zheng, Zheng Wang · 2026

Image Encryption Algorithm Based on Convolutional Neural Networks and Dynamic S-Box Generation Ans Ibrahim, Fadhil Abbas Fadhil, Mahameed Reza Feizi Derakhshi, Maryam Mahdi Alhusseini, Nikolai Safiullin · 2026

Calibration Without Comprehension: Diagnosing the Limits of Fine-Tuning LLMs for Vulnerability Detection in Systems Software Arastoo Zibaeirad, Marco Vieira · 2026

Probe-and-Refine Tuning of Repository Guidance for Coding Agents Asa Shepard, Jeannie Albrecht · 2026

Fixed-Point Scaffolding in the Clef Programming Language Houston Haynes · 2026

Climbing Up the Semantic Tower -- at Runtime François-René Rideau · 2026

Analytics for Quality Assurance for Item Pools (AQuAP): Monitoring and Maintaining Item Bank Health in AI-Driven Assessment Systems Alina A. von Davier, Xiaowan Zhang, Yigal Attali, Yena Park, Jacqueline Church, Andrew Runge, Geoff T. LaFlair, Alexander Tsigler · 2026

Code-Augur: Agentic Vulnerability Detection via Specification Inference Zhengxiong Luo, Mehtab Zafar, Dylan Wolff, Abhik Roychoudhury · 2026

Iterative Pilot Testing as a Scalable User Involvement Practice in Large-Scale Agile Software Development Morteza Moalagh · 2026

Graph-ESBMC-PLC: Formal Verification of Graphical PLCopen XML Ladder Diagram Programs Using SMT-Based Model Checking Pierre Dantas, Lucas Cordeiro, Waldir Junior · 2026

QDSV: A Semantic Problem Representation and Multi-Backend Execution Framework for Quantum-Oriented Computation Jaime Alexander Jimenez Lozano, Sebastian Jimenez Giraldo · 2026

The Essence of Entity Component System Anisha Tasnim, Tian Zhao · 2026

Written by AI, Managed by AI: Semantic Space Control and Index Sickness Elimination Across 391 Consecutive Sessions Hui Zhang, Shuren Song · 2026

Teaching Software Engineering with LLM and MCP Integration: From Classroom to Industry Practice Kehui Chen, Jacky Keung, Weining Li, Xiangbing Shao, Yishu Li, Xiaoxue Ma · 2026

No Two Developers Think Alike: How Problem-Solving Styles and Experience Shape Needs in Conversational Interaction with Copilot Jonan Richards, Bruno Alves de Oliveira, Iury Oliveira, Igor Wiese, Mairieli Wessel · 2026

Runtime Compliance Verification for AI Agents Nafiseh Kahani, Masoud Barati, Diana Addae · 2026

Beyond Models: Reflections on Engineering AI-enabled Systems in a Project-Based Course Amir Mashmool, Kishan Ravindra Sawant, Mojtaba Shahin, Nico Hochgeschwender, Rainer Koschke · 2026

From Rocq to Metal: A Pipeline for Formally Verified Microcontroller Firmware Valentin Bergeron, Karolina Gorna · 2026

Type-Error Ablation and AI Coding Agents Shriram Krishnamurthi, Matthew Flatt · 2026

Compile Once, Differentiate Everywhere: A Differentiable Meta-Circular Interpreter Lucas Sheneman · 2026

LongRTL: Graph-Similarity-Guided LLM-driven Long Context RTL Optimization Yuyang Ye, Che-Kuan Shen, Xiangfei Hu, Yuchen Liu, Shuo Yin, Xufeng Yao, Bei Yu, Tsung-Yi Ho · 2026

FacProcessTwin: An LLM-Based System for Process Twin Development Yash Pulse, Yong-Bin Kang, Abhik Banerjee, Prem Prakash Jayaraman · 2026

Position: Coding Benchmarks Are Misaligned with Agentic Software Engineering Maria I. Gorinova, Macey Baker, Amy Heineike, Maksim Shaposhnikov, Rob Willoughby, Dru Knox · 2026

Exploiting Multiple Abstract Call Patterns for Optimizing Run-Time Checks Daniela Ferreiro, Daniel Jurjo-Rivas, Marco Ciccalè, Jose F. Morales, Pedro López-García, Manuel Hermenegildo · 2026

Defense-in-Depth Runtime Safety in Move Victor Gao, Wolfgang Grieskamp, Vineeth Kashyap, George Mitenkov, Teng Zhang, Runtian Zhou, Andrea Cappa, Marco Ilardi · 2026

Behind Python: The Languages That Power AI Juan P. Licona-Luque, Beatriz A. Bosques-Palomo, Nezih Nieto-Gutiérrez, Gustavo de los Ríos-Alatorre, Luis A. Muñoz-Ubando · 2026

No Accidental Software Agent First Canonical Code for Human Code Entropy Reduction and 30 to 500 times Lower Frontier Model Requirements Jepson Taylor · 2026

tap: A File-Based Protocol for Heterogeneous LLM Agent Collaboration Minseo Kim · 2026

Software Delegation Contracts: Measuring Reviewability in AI Coding-Agent Work Vincent Schmalbach · 2026

ScratchLens: Lens-Parametric Behavioral Equivalence for Scratch Programs Yuan Si, Jialu Zhang · 2026

Configuration Smells in AGENTS.md Files: Common Mistakes in Configuring Coding Agents Helio Victor F. dos Santos, Vitor Costa, Joao Eduardo Montandon, Luciana Lourdes Silva, Marco Tulio Valente · 2026

An Empirical Comparison of General Context-Free Parsers Huan Vo, Danushka Liyanage, Hong Jin Kang, Sasha Rubin, Rahul Gopinath · 2026

A Framework for Evaluating Agentic Skills at Scale Maksim Shaposhnikov, Nicolas Fortuin, Simon Stipcich, Maria I. Gorinova, Amy Heineike, Rob Willoughby · 2026

Trustworthy Self-Composable Big-Data-as-a-Service: An LLM-Orchestrated Multi-Agent Framework for Automated Data Engineering, AutoML, MLOps Deployment, and Drift-Aware Lifecycle Optimization Aueaphum Aueawatthanaphisut, Badri Raj Lamichhane · 2026

Planning to Hammer: Difficulty-Aware Decomposition for Automating Rocq Proofs Ning Zhang, Nongyu Di, Zenan Li, Yuan Yao, Xiaoxing Ma · 2026

All Smoke, No Alarm: Oracle Signals in Agent-Authored Test Code Dipayan Banik, Kowshik Chowdhury, Shazibul Islam Shamim · 2026

VHDLSuite: Unified Pipeline for LLM VHDL Generation with Data Synthesis and Evaluation Yijun Shen, Minghao Shao, Yichen Zhao, Zhuoyan Yu, Boyuan Chen, Yik-Cheung Tam, Muhammad Shafique · 2026

Syntax and semantics of focalisation with relative monads and comonads Éléonore Mangel, Paul-André Melliès, Guillaume Munch-Maccagnoni · 2026

Teaching Property-Based Testing Isabel Azevedo, Nuno Malheiro · 2020

Neuro-Symbolic Software Verification: Hyper-charging Local Language Models with Symbolic Reasoning at Scale Muhammad A. A. Pirzada, Julian Parsert, Weiqi Wang, Konstantin Korovin, Lucas C. Cordeiro · 2026

How Many Shots Are Enough for a Quantum Circuit? Giuseppe Bisicchia, Alessandro Bocci, Ernesto Pimentel, Antonio Brogi · 2026

Selection Without Signal, Recovery Through Expression: A Measurement Study of Post-Hoc Falsification Operators for Frozen Small Code Models Mehmet Iscan · 2026

An Industrial Experience on the Application of Distributed Testing in an Agile Software Development Environment Eliane Collins, Gisele Macedo, Nayane Maia, Arilo Dias-Neto · 2012

Automation of Software Testing in Agile Development - An Approach and Challenges with Distributed Database Systems P. Suresh Kumar, Dr. N. Samba Siva Rao · 2012

Snyk VulnBench JS 1.0: Can LLMs Find the Same Bugs Twice? Liran Tal, Johannes Kloos, Arsenii Rudich, Stephen Thoemmes, Manoj Nair · 2026

ScratchLens: Lens-Parametric Behavioral Equivalence for Scratch Programs Yuan Si, Jialu Zhang · 2026

Configuration Smells in AGENTS.md Files: Common Mistakes in Configuring Coding Agents Helio Victor F. dos Santos, Vitor Costa, Joao Eduardo Montandon, Luciana Lourdes Silva, Marco Tulio Valente · 2026

Synthesizing Best Abstract Transformers via Parallel Bit-Vector Optimization Weiqi Wang, Peisen Yao, Hanrui Zuo, Yuan Li, Hongfei Fu, Kui Ren · 2026

HybridCodeAuthorship: A Benchmark Dataset for Line-Level Code Authorship Detection Luke Patterson, Li Wang, Adam Faulkner · 2026

Beyond Problem Solving: UOJ-Bench for Evaluating Code Generation, Hacking, and Repair in Competitive Programming Tingqiang Xu, Hangrui Zhou, Tianle Cai, Alex Gu, Kaifeng Lyu · 2026

The Rise of AI-Native Software Engineering: Implications for Practice, Education, and the Future Workforce Mamdouh Alenezi · 2026

A Scalability Analysis of Quantitative Confidence Assessment Methods for Assurance Cases Simon Diemert, Jens H. Weber · 2026

The Perils of Agency: How Developers Perceive, Prioritize, and Address Risks in Agentic AI Products Hao-Ping Lee, Jessica He, David Piorkowski, Thomas Serban von Davier, Jodi Forlizzi, Sauvik Das · 2026

SDVDiag: Multimodal Causal Discovery for Online Diagnosis in Software-defined Vehicles Matthias Weiß, Athreya Hosahalli Prakash, Falk Dettinger, Nasser Jazdi, Michael Weyrich · 2026

Minimal Comparison of Octagonal Abstract Domains Kenny Ballou, Elena Sherman · 2026

AgentCompile: An LLM-Guided Compiler for Direct CUDA Inference Xuanzhe Li, Ziyan Weng, Zhiyu Zhu, Junhui Hou · 2026

Do programming languages still matter to your AI coding agent teammate? Evidence at scale from chess engines Mathieu Acher, Jean-Marc Jézéquel · 2026

Empowering Student Debugging in Parallel Programming with Execution Traces and Large Language Models God'salvation F. Oguibe, Vinodh Kumaran Jayakumar, Tongping Liu, Andrew Lan, Wei Wang · 2026

GitHub Template Repositories: Served Domains, Maintenance, and Practitioner Guidelines Leuson Da Silva, Altaf Allah Abbassi, Imen Trabelsi, Paulo Borba, Foutse Khomh · 2026

Teaching Machine Learning to Software Engineers Nafiseh Kahani, Jason Jaskolka · 2026

Quasilinear Equivalence Checking for Detector Error Models Mathys Rennela · 2026

Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization Anmol Agarwal, Natalie Neamtu, Pranjal Aggarwal, Seungone Kim, Jannis Limperg, Cedric Flamant, Kanna Shimizu, Bryan Parno, Sean Welleck · 2026

Watts and Debts of Agentic Frameworks: An Empirical Study (Registered Report) Aneetta Sara Shany, Chandrasekar S, Karthik Vaidhyanathan · 2026

Cloud Enhances Agile Software Development Saikat Gochhait, Shariq Aziz Butt, Tauseef Jamal, Arshad Ali · 2022

Functional Cache Grafting: Robust and Rapid Code-Policy Synthesis for Embodied Agents Saehun Chun, Wonje Choi, Sera Choi, Sanghyun Ahn, Honguk Woo · 2026

A Dual-Mode Faust-to-CLAP Compilation System Facundo Franchino, Stéphane Letz, Jatin Chowdhury · 2026

Probabilistic, Resource-Aware, Asynchronous, Out-of-Order Choreographies Mako Bates, Steven Baldasty, Ernest Hyun, Christian Skalka, Joseph P. Near · 2026

Measuring Software Development Project Performance Nihan Yildirim, Semih Ersöz, Bilal Altun · 2022

The Applicability of Process-Orientation to Software Development Projects Viktorija Ponomarenko · 2022

Use of Software Metrics to Improve the Quality of Software Projects Using Regression Testing Arshpreet Kaur Sidhu, Sumeet Kaur Sehra · 2022

ComAct: Reframing Professional Software Manipulation via COM-as-Action Paradigm Jiaxin Ai, Tao Hu, Xuemeng Yang, Shu Zou, Hairong Zhang, Daocheng Fu, Yu Yang, Hongbin Zhou, Nianchen Deng, Pinlong Cai, Zhongyuan Wang, Botian Shi, Kaipeng Zhang, Licheng Wen · 2026

Mining Architectural Quality Under Agentic AI Adoption: A Causal Study of Java Repositories Oliver Aleksander Larsen, Mahyar T. Moghaddam · 2026

Toward Instructions-as-Code: Understanding the Impact of Instruction Files on Agentic Pull Requests Ali Arabat, Mohammed Sayagh · 2026

Understanding the Rejection of Fixes Generated by Agentic Pull Requests -- Insights from the AIDev Dataset Mahmoud Abujadallah, Ali Arabat, Mohammed Sayagh · 2026

Agile Analysis · 2009

ATTAIN: Automated Exploit Failure Analysis through Trace-Driven Diff Analysis Xinwei Mao, Zirui Chen, Xing Hu, Xin Xia · 2026

Security-First Approach to API Pipeline Development with Zero-Trust Architecture Mahima Agarwal, Keshav Ranjan · 2026

Context Rot in AI-Assisted Software Development: Repurposing Documentation Consistency for AI Configuration Artifacts Christoph Treude, Sebastian Baltes · 2026

SAT, MaxSAT, and SMT for QLDPC Distance Computation: A Large-Scale Empirical Study Yu-Fang Chen, Seyed Mohammad Reza Jafari, Ching-Yi Lai · 2026

A Datalog Framework for Conflict-Free Replicated Data Types Elena Yanakieva, Annette Bieniusa, Stefania Dumbrava · 2026

Trust in Open Source Software Development Communities Amitpal Singh Sohal, Sunil Kumar Gupta, Hardeep Singh · 2022

GraphAlg Playground: An Online Platform for Learning and Experimenting with the GraphAlg Language Daan de Graaf, Robert Brijder, Soham Chakraborty, George Fletcher, Bram van de Wall, Nikolay Yakovets · 2026

Abduction Prover in Isabelle/HOL Yutaka Nagashima, Daniel Sebastian Goc · 2026

Communication Skills in Software Engineering: A Multivocal Review Dannilo Rabelo, Deisy Peres, Emmanuel Dias, Thayssa Rocha, Enne Rebeca de Freitas, Kiev Gama, Gustavo Pinto · 2026

Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps Partha Protim Paul, Reid Holmes · 2026

MASTOR: A Multi-Agent Approach to Semantic Test Oracle Generation for RESTful APIs Sida Deng, Rubing Huang, Zhenzhen Yang, Man Zhang, Xuan Xie, Rongcun Wang · 2026

Exploring and Complementing End Users' Requirements in IoT enabled System Haotian Li, Xiaohong Chen, Zhi Jin, Shuyuan Xiao, Chenxu Wang, Haoxiang Yan, Xiaoyi Chen · 2026

SentTrack: Sentiment-Driven Bottleneck Detection in GitHub Issue Repositories Xinyu Hu, Ali Behbahani, Daniel Moon, Yaren Dogan, Nasir U. Eisty · 2026

SkillJuror: Measuring How Agent Skill Organization Changes Runtime Behavior Zhiyu Chen, Zihan Guo, Bo Huang, Bingwei Lu, Jianghao Lin, Yuanjian Zhou, Weinan Zhang · 2026

Acoda: Adversarial Code Obfuscation for Defending against LLM-based Analysis Hongzhou Rao, Zikan Dong, Yanjie Zhao, Haodong Li, Haoyu Wang · 2026

Understanding and Detecting Scalability Faults in Large-Scale Distributed Systems Hao-Nan Zhu, Goodness Ayinmode, Cesar A. Stuardo, Haryadi S. Gunawi, Cindy Rubio-González · 2026

Auditing an Agile Development Operations Ecosystem Aishwarya Subramanian, Priyadarsini Kannan Krishnamachariar, Manish Gupta, Raj Sharman · 2022

A Compilation Framework for Quantum Simulation of Non-unitary Dynamics Qifan Huang, Minbo Gao, Li Zhou, Mingsheng Ying · 2026

LLM vs. Human Unit Tests: Fault Detection on Real Python Bugs Phouvadeth Vathana, Prapti Bhatt, Rishi Patel, Nasir U. Eisty · 2026

Auditable Graph-Guided Root Cause Analysis for Kubernetes Incidents Anastasiia Kuvshinova, Seungmin Jin · 2026

Mind your key: An Empirical Study of LLM API Credential Leakage in iOS Apps Pinran Gao, Lingxiang Wang, Ying Zhang, Fan Yang · 2026

Rule Taxonomy and Evolution in AI IDEs: A Mining and Survey Study Guangzong Cai, Ruiyin Li, Peng Liang, Zengyang Li, Mojtaba Shahin · 2026

Tools and Platforms for Developing IoT Systems Görkem Giray · 2022

Knowledge Management in University-Software Industry Collaboration Marcello Chedid, Leonor Teixeira · 2022

The Influence of the Application of Agile Practices in Software Quality Based on ISO/IEC 25010 Standard Gloria Arcos-Medina, David Mauricio · 2022

Agile Project Management— Getting Started · 2009

The Engineering Manager’s Dashboard Liran Tal · 2015

Max-Policy Iteration, Revisited David Monniaux, Helmut Seidl · 2026

Dynamic Software Updates using CRDTs Seppe Wyns, Jim Bauwens, Elisa Gonzalez Boix · 2026

Defeat the Heap: Zero-Copy Data Movement in AXI4MLIR Elam Cohavi, Nicolas Bohm Agostini, Jude Haris, Antonino Tumeo, David Kaeli, José Cano · 2026

Web-Native Graphical EMF Model Editors Susanne Göbel, Ralf Lämmel · 2026

From Quality Properties to Practice: A Guideline and Workflow for Explainability Requirements Martin Obaidi, Jakob Droste, Hannah Deters, Marc Herrmann, Michel Krahl, Kurt Schneider · 2026

Early Comparative Evaluation of Transformer Models for Multilingual Software Vulnerability Detection Fiza Naseer, Javad Khan, Muhammad Yaqoob, Alexios Mylonas · 2026

Context-Based Adversarial Attacks on AI Code Generators: Vulnerability Analysis and Implications Walther A. Del Orbe, John D. Hastings, Varghese Vaidyan · 2026

Understanding and mitigating the risks of OpenClaw for non-technical users: A practical guide with Skill Junchang Zheng, Junfeng Tan, Jialiang Lin · 2026

An Empirical Study on Logging Evolution On Stack Overflow: Trends, Topics, and Challenges Patrick Loic Foalem, Andre Nguimbous, Foutse Khomh, Heng Li, Ettore Merlo · 2026

A Systematic Literature Review on Risk Assessment and Mitigation Approaches in Requirement Engineering Priyanka Chandani, Chetna Gupta · 2022

Agent-Based Approach for Monitoring Risks in Software Development Projects Jirapun Daengdej · 2022

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

Agility in Software Development and Project Value VenuGopal Balijepally, Gerald DeHondt, Vijayan Sugumaran, Sridhar Nerur · 2022

Testing Part 1: Static Code Analysis Mark S. Merkow · 2019

Obstacles to Agile Software Development · 2024

Towards a Security Competence of Software Developers Nana Assyne · 2022

Coverage Criteria for State-Based Testing Sonali Pradhan, Mitrabinda Ray, Srikanta Patnaik · 2022

Lost in the Flow with Code Talkers: Unveiling the Instruction-Tuning Tax of Large Language Models in Code Tasks Shi Ying Chang, Chiok Yew Ho, Yichen Li, Yintong Huo · 2026

Structuring agentic AI for HPC code modernization Anthony Marinov, Igor Sfiligoi · 2026

AI-Augmented Closed-Loop Quality Engineering: A Reference Architecture for Continuous Software Quality Intelligence Dimple Bajaj · 2026

Governance Controls for AI-Generated Test Artifacts in Autonomous Software Testing Dimple Bajaj, Deepak Khetan · 2026

Jas: AI-Paired Engineering as a Revival of N-Version Programming Jason Hickey · 2026

Academic Integrity and Emotional Responses to Inappropriate LLM Use in Software Engineering Education Ronnie de Souza Santos, Italo Santos, Giuseppe Destefanis, Cleyton Magalhaes, Mairieli Wessel · 2026

SLRMentor: An LLM-Based Tool Supporting Learning of SLR in Software Engineering Rodolfo Gil-Pereira, Ronnie de Souza Santos, Cleyton Magalahes, Italo Santos · 2026

Cherry-pick Override: Unsafe Directional Commitment in LLM Judges under Mixed Evidence Haoran Xu · 2026

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