We gratefully acknowledge support from
the Simons Foundation and member institutions.

Software Engineering

Authors and titles for recent submissions, skipping first 76

[ total of 116 entries: 1-50 | 27-76 | 77-116 ]
[ showing 50 entries per page: fewer | more | all ]

Mon, 8 Dec 2025 (continued, showing last 5 of 25 entries)

[77]  arXiv:2512.05176 [pdf, ps, other]
Title: Towards A Cultural Intelligence and Values Inferences Quality Benchmark for Community Values and Common Knowledge
Authors: Brittany Johnson, Erin Reddick, Angela D.R. Smith
Comments: Under review
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC)
[78]  arXiv:2512.05159 [pdf, ps, other]
Title: Stellis: A Strategy Language for Purifying Separation Logic Entailments
Authors: Zhiyi Wang, Xiwei Wu, Yi Fang, Chengtao Li, Hongyi Zhong, Lihan Xie, Qinxiang Cao, Zhenjiang Hu
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)
[79]  arXiv:2512.05946 (cross-list from cs.AI) [pdf, ps, other]
Title: Variational Quantum Rainbow Deep Q-Network for Optimizing Resource Allocation Problem
Authors: Truong Thanh Hung Nguyen, Truong Thinh Nguyen, Hung Cao
Comments: Quantum Software Engineering Practices at The 41st ACM/SIGAPP Symposium On Applied Computing (SAC 2026)
Subjects: Artificial Intelligence (cs.AI); Emerging Technologies (cs.ET); Software Engineering (cs.SE)
[80]  arXiv:2512.05666 (cross-list from cs.LG) [pdf, ps, other]
Title: Feasibility of AI-Assisted Programming for End-User Development
Authors: Irene Weber
Comments: 12 pages, 3 figures
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[81]  arXiv:2512.05555 (cross-list from cs.PL) [pdf, ps, other]
Title: Compiling Away the Overhead of Race Detection
Authors: Alexey Paznikov, Andrey Kogutenko, Yaroslav Osipov, Michael Schwarz, Umang Mathur
Comments: 35 pages
Subjects: Programming Languages (cs.PL); Operating Systems (cs.OS); Software Engineering (cs.SE)

Fri, 5 Dec 2025

[82]  arXiv:2512.05062 [pdf, ps, other]
Title: Configuration Defects in Kubernetes
Authors: Yue Zhang, Uchswas Paul, Marcelo d'Amorim, Akond Rahman
Subjects: Software Engineering (cs.SE)
[83]  arXiv:2512.04702 [pdf, ps, other]
Title: POLARIS: Is Multi-Agentic Reasoning the Next Wave in Engineering Self-Adaptive Systems?
Authors: Divyansh Pandey, Vyakhya Gupta, Prakhar Singhal, Karthik Vaidhyanathan
Comments: Accepted as a short paper at SEAMS 2026
Subjects: Software Engineering (cs.SE)
[84]  arXiv:2512.04680 [pdf, ps, other]
Title: Generative AI for Self-Adaptive Systems: State of the Art and Research Roadmap
Authors: Jialong Li, Mingyue Zhang, Nianyu Li, Danny Weyns, Zhi Jin, Kenji Tei
Comments: Accepted by ACM Transactions on Autonomous and Adaptive Systems
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC)
[85]  arXiv:2512.04673 [pdf, ps, other]
Title: Cross-Task Benchmarking and Evaluation of General-Purpose and Code-Specific Large Language Models
Authors: Gunjan Das, Paheli Bhattacharya, Rishabh Gupta
Subjects: Software Engineering (cs.SE)
[86]  arXiv:2512.04538 [pdf, ps, other]
Title: Completion by Comprehension: Guiding Code Generation with Multi-Granularity Understanding
Authors: Xinkui Zhao, Rongkai Liu, Yifan Zhang, Chen Zhi, Lufei Zhang, Guanjie Cheng, Yueshen Xu, Shuiguang Deng, Jianwei Yin
Subjects: Software Engineering (cs.SE)
[87]  arXiv:2512.04474 [pdf, ps, other]
Title: LLM-SrcLog: Towards Proactive and Unified Log Template Extraction via Large Language Models
Authors: Jiaqi Sun, Wei Li, Heng Zhang, Chutong Ding, Shiyou Qian, Jian Cao, Guangtao Xue
Subjects: Software Engineering (cs.SE)
[88]  arXiv:2512.04445 [pdf, ps, other]
Title: Automating Complex Document Workflows via Stepwise and Rollback-Enabled Operation Orchestration
Authors: Yanbin Zhang, Hanhui Ye, Yue Bai, Qiming Zhang, Liao Xiang, Wu Mianzhi, Renjun Hu
Comments: 9 pages, 3 figures, accepted by AAAI-2026
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[89]  arXiv:2512.04344 [pdf, ps, other]
Title: Targeted Testing of Compiler Optimizations via Grammar-Level Composition Styles
Authors: Zitong Zhou, Ben Limpanukorn, Hong Jin Kang, Jiyuan Wang, Yaoxuan Wu, Akos Kiss, Renata Hodovan, Miryung Kim
Subjects: Software Engineering (cs.SE)
[90]  arXiv:2512.04319 [pdf, ps, other]
Title: MANTRA: a Framework for Multi-stage Adaptive Noise TReAtment During Training
Authors: Zixiao Zhao, Fatemeh H. Fard, Jie JW Wu
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[91]  arXiv:2512.04273 [pdf, ps, other]
Title: Quantitative Analysis of Technical Debt and Pattern Violation in Large Language Model Architectures
Authors: Tyler Slater
Comments: Under review at the Journal of Systems and Software (Special Issue on Impactful Software Architecture)
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[92]  arXiv:2512.04263 [pdf, ps, other]
Title: Polynomiogram: An Integrated Framework for Root Visualization and Generative Art
Authors: Hoang Duc Nguyen, Anh Van Pham, Hien D. Nguyen
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[93]  arXiv:2512.04262 [pdf, ps, other]
Title: Catching UX Flaws in Code: Leveraging LLMs to Identify Usability Flaws at the Development Stage
Authors: Nolan Platt, Ethan Luchs, Sehrish Nizamani
Comments: 7 pages. Published in Proceedings of the 2025 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC). DOI: 10.1109/VL-HCC65237.2025.00024
Journal-ref: Proceedings of the 2025 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), 2025
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC)
[94]  arXiv:2512.04256 [pdf, ps, other]
Title: On the Role and Impact of GenAI Tools in Software Engineering Education
Authors: Qiaolin Qin, Ronnie de Souza Santos, Rodrigo Spinola
Comments: Accepted at IEEE/ACM ICSE Software Engineering Education and Training (ICSE SEET 2026)
Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC)
[95]  arXiv:2512.04250 [pdf, ps, other]
Title: DrP: Meta's Efficient Investigations Platform at Scale
Authors: Shubham Somani, Vanish Talwar, Madhura Parikh, Eduardo Hernandez, Jimmy Wang, Shreya Shah, Chinmay Gandhi, Sanjay Sundarajan, Neeru Sharma, Srikanth Kamath, Nitin Gupta, Benjamin Renard, Ohad Yahalom, Chris Davis
Subjects: Software Engineering (cs.SE)
[96]  arXiv:2512.04117 [pdf, ps, other]
Title: Reusing Model Validation Methods for the Continuous Validation of Digital Twins of Cyber-Physical Systems
Authors: Joost Mertens, Joachim Denil
Journal-ref: Software and Systems Modeling 24 (2025) 1427-1449
Subjects: Software Engineering (cs.SE)
[97]  arXiv:2512.04111 [pdf, ps, other]
Title: HAI-Eval: Measuring Human-AI Synergy in Collaborative Coding
Authors: Hanjun Luo, Chiming Ni, Jiaheng Wen, Zhimu Huang, Yiran Wang, Bingduo Liao, Sylvia Chung, Yingbin Jin, Xinfeng Li, Wenyuan Xu, XiaoFeng Wang, Hanan Salam
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC)
[98]  arXiv:2512.04106 [pdf, ps, other]
Title: Retrieval-Augmented Few-Shot Prompting Versus Fine-Tuning for Code Vulnerability Detection
Authors: Fouad Trad, Ali Chehab
Comments: Accepted in the 3rd International Conference on Foundation and Large Language Models (FLLM2025)
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Cryptography and Security (cs.CR)
[99]  arXiv:2512.05073 (cross-list from cs.LG) [pdf, ps, other]
Title: David vs. Goliath: Can Small Models Win Big with Agentic AI in Hardware Design?
Authors: Shashwat Shankar, Subhranshu Pandey, Innocent Dengkhw Mochahari, Bhabesh Mali, Animesh Basak Chowdhury, Sukanta Bhattacharjee, Chandan Karfa
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Hardware Architecture (cs.AR); Software Engineering (cs.SE)
[100]  arXiv:2512.04611 (cross-list from cs.CR) [pdf, ps, other]
Title: PBFuzz: Agentic Directed Fuzzing for PoV Generation
Authors: Haochen Zeng, Andrew Bao, Jiajun Cheng, Chengyu Song
Comments: 24 pages, 8 figures
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[101]  arXiv:2512.04442 (cross-list from cs.AI) [pdf, ps, other]
Title: TaskEval: Synthesised Evaluation for Foundation-Model Tasks
Authors: Dilani Widanapathiranage, Scott Barnett, Stefanus Kurniawan, Wannita Takerngsaksiri
Comments: 5 pages, 3 figures
Subjects: Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[102]  arXiv:2512.04416 (cross-list from cs.AI) [pdf, ps, other]
Title: DataGovBench: Benchmarking LLM Agents for Real-World Data Governance Workflows
Authors: Zhou Liu, Zhaoyang Han, Guochen Yan, Hao Liang, Bohan Zeng, Xing Chen, Yuanfeng Song, Wentao Zhang
Comments: Equal contribution: Zhou Liu and Zhaoyang Han. Corresponding authors: Yuanfeng Song and Wentao Zhang
Subjects: Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[103]  arXiv:2512.04329 (cross-list from cs.CV) [pdf, ps, other]
Title: A Retrieval-Augmented Generation Approach to Extracting Algorithmic Logic from Neural Networks
Authors: Waleed Khalid, Dmitry Ignatov, Radu Timofte
Subjects: Computer Vision and Pattern Recognition (cs.CV); Software Engineering (cs.SE)
[104]  arXiv:2512.04259 (cross-list from cs.CR) [pdf, ps, other]
Title: WildCode: An Empirical Analysis of Code Generated by ChatGPT
Authors: Kobra Khanmohammadi, Pooria Roy, Raphael Khoury, Abdelwahab Hamou-Lhadj, Wilfried Patrick Konan
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[105]  arXiv:2512.04216 (cross-list from quant-ph) [pdf, ps, other]
Title: Maestro: Intelligent Execution for Quantum Circuit Simulation
Authors: Oriol Bertomeu, Hamzah Ghayas, Adrian Roman, Stephen DiAdamo
Subjects: Quantum Physics (quant-ph); Mathematical Software (cs.MS); Software Engineering (cs.SE)
[106]  arXiv:2512.04123 (cross-list from cs.CY) [pdf, ps, other]
Title: Measuring Agents in Production
Authors: Melissa Z. Pan, Negar Arabzadeh, Riccardo Cogo, Yuxuan Zhu, Alexander Xiong, Lakshya A Agrawal, Huanzhi Mao, Emma Shen, Sid Pallerla, Liana Patel, Shu Liu, Tianneng Shi, Xiaoyuan Liu, Jared Quincy Davis, Emmanuele Lacavalla, Alessandro Basile, Shuyi Yang, Paul Castro, Daniel Kang, Joseph E. Gonzalez, Koushik Sen, Dawn Song, Ion Stoica, Matei Zaharia, Marquita Ellis
Subjects: Computers and Society (cs.CY); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Software Engineering (cs.SE)

Thu, 4 Dec 2025

[107]  arXiv:2512.03926 [pdf, ps, other]
Title: Tunable Automation in Automated Program Verification
Authors: Alexander Y. Bai, Chris Hawblitzel, Andrea Lattuada
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[108]  arXiv:2512.03868 [pdf, ps, other]
Title: A Comprehensive Study on the Impact of Vulnerable Dependencies on Open-Source Software
Authors: Shree Hari Bittugondanahalli Indra Kumar, Lilia Rodrigues Sampaio, André Martin, Andrey Brito, Christof Fetzer
Journal-ref: 2024 IEEE 35th International Symposium on Software Reliability Engineering (ISSRE)
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[109]  arXiv:2512.03815 [pdf, ps, other]
Title: Runnable Directories: The Solution to the Monorepo vs. Multi-repo Debate
Authors: Shayan Ghasemnezhad, Samarth KaPatel, Sofia Nikiforova, Giacinto Paolo Saggese, Paul Smith, Heanh Sok
Subjects: Software Engineering (cs.SE)
[110]  arXiv:2512.03421 [pdf, ps, other]
Title: Exploring the Potential and Limitations of Large Language Models for Novice Program Fault Localization
Authors: Hexiang Xu, Hengyuan Liu, Yonghao Wu, Xiaolan Kang, Xiang Chen, Yong Liu
Comments: The paper has been accepted for publication in The Journal of Systems & Software
Subjects: Software Engineering (cs.SE)
[111]  arXiv:2512.03262 [pdf, ps, other]
Title: Is Vibe Coding Safe? Benchmarking Vulnerability of Agent-Generated Code in Real-World Tasks
Authors: Songwen Zhao, Danqing Wang, Kexun Zhang, Jiaxuan Luo, Zhuo Li, Lei Li
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL)
[112]  arXiv:2512.03971 (cross-list from cs.LO) [pdf, ps, other]
Title: Approximate Optimal Active Learning of Decision Trees
Authors: Zunchen Huang, Chenglu Jin
Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[113]  arXiv:2512.03635 (cross-list from cs.LO) [pdf, ps, other]
Title: Formal Analysis of the Sigmoid Function and Formal Proof of the Universal Approximation Theorem
Authors: Dustin Bryant, Jim Woodcock, Simon Foster
Comments: 1 figure
Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[114]  arXiv:2512.03420 (cross-list from cs.CR) [pdf, ps, other]
Title: HarnessAgent: Scaling Automatic Fuzzing Harness Construction with Tool-Augmented LLM Pipelines
Authors: Kang Yang, Yunhang Zhang, Zichuan Li, GuanHong Tao, Jun Xu, XiaoJing Liao
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[115]  arXiv:2512.03086 (cross-list from cs.PL) [pdf, ps, other]
Title: Beyond Code Pairs: Dialogue-Based Data Generation for LLM Code Translation
Authors: Le Chen, Nuo Xu, Winson Chen, Bin Lei, Pei-Hung Lin, Dunzhi Zhou, Rajeev Thakur, Caiwen Ding, Ali Jannesari, Chunhua Liao
Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[116]  arXiv:2512.03083 (cross-list from cs.PL) [pdf, ps, other]
Title: Evaluate the Stack Management in Effect Handlers using the libseff C Library
Authors: ZeHao Yu
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[ total of 116 entries: 1-50 | 27-76 | 77-116 ]
[ showing 50 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, new, 2512, contact, help  (Access key information)