Software Engineering

Authors and titles for September 2025

[376] arXiv:2509.07046 (cross-list from cs.CY) [pdf, html, other]

Title: From Passive to Participatory: How Liberating Structures Can Revolutionize Our Conferences

Daniel Russo, Margaret-Anne Storey

Journal-ref: Communications of the ACM, 2025

Subjects: Computers and Society (cs.CY); Software Engineering (cs.SE)

[377] arXiv:2509.07103 (cross-list from cs.LG) [pdf, html, other]

Title: Lookup multivariate Kolmogorov-Arnold Networks

Sergey Pozdnyakov, Philippe Schwaller

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Performance (cs.PF); Software Engineering (cs.SE)

[378] arXiv:2509.07315 (cross-list from cs.CR) [pdf, html, other]

Title: SafeToolBench: Pioneering a Prospective Benchmark to Evaluating Tool Utilization Safety in LLMs

Hongfei Xia, Hongru Wang, Zeming Liu, Qian Yu, Yuhang Guo, Haifeng Wang

Comments: 18 pages, 7 figures

Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)

[379] arXiv:2509.07400 (cross-list from eess.SY) [pdf, html, other]

Title: A smart fridge with AI-enabled food computing

Khue Nong Thuc, Khoa Tran Nguyen Anh, Tai Nguyen Huy, Du Nguyen Hao Hong, Khanh Dinh Ba

Journal-ref: The 9th OISP Science and Technology Symposium for Students Ho Chi Minh City University of Technology (HCMUT), VNU-HCM, 2025

Subjects: Systems and Control (eess.SY); Computer Vision and Pattern Recognition (cs.CV); Software Engineering (cs.SE)

[380] arXiv:2509.07506 (cross-list from cs.DC) [pdf, html, other]

Title: Astra: A Multi-Agent System for GPU Kernel Performance Optimization

Anjiang Wei, Tianran Sun, Yogesh Seenichamy, Hang Song, Anne Ouyang, Azalia Mirhoseini, Ke Wang, Alex Aiken

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Machine Learning (cs.LG); Software Engineering (cs.SE)

[381] arXiv:2509.08149 (cross-list from physics.med-ph) [pdf, html, other]

Title: The-Bodega: A Matlab Toolbox for Biologically Dynamic Microbubble Simulations on Realistic Hemodynamic Microvascular Graphs

Stephen Alexander Lee, Alexis Leconte, Alice Wu, Jonathan Poree, Maxence Laplante-Berthier, Simon Desrocher, Pierre-Olivier Bouchard, Joshua Kinugasa, Samuel Mihelic, Andreas Linninger, Jean Provost

Comments: 36 Pages, 12 Figures

Subjects: Medical Physics (physics.med-ph); Software Engineering (cs.SE); Applied Physics (physics.app-ph)

[382] arXiv:2509.08203 (cross-list from cs.HC) [pdf, html, other]

Title: Componentization: Decomposing Monolithic LLM Responses into Manipulable Semantic Units

Ryan Lingo, Rajeev Chhajer, Martin Arroyo, Luka Brkljacic, Ben Davis, Nithin Santhanam

Comments: 12 pages, 4 figures

Subjects: Human-Computer Interaction (cs.HC); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)

[383] arXiv:2509.08204 (cross-list from cs.CR) [pdf, html, other]

Title: Unlocking Reproducibility: Automating re-Build Process for Open-Source Software

Behnaz Hassanshahi, Trong Nhan Mai, Benjamin Selwyn Smith, Nicholas Allen

Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)

[384] arXiv:2509.08847 (cross-list from cs.AI) [pdf, html, other]

Title: Automated Unity Game Template Generation from GDDs via NLP and Multi-Modal LLMs

Amna Hassan

Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Machine Learning (cs.LG); Software Engineering (cs.SE)

[385] arXiv:2509.09392 (cross-list from physics.med-ph) [pdf, html, other]

Title: An Integrated Open Source Software System for the Generation and Analysis of Subject-Specific Blood Flow Simulation Ensembles

Simon Leistikow, Thomas Miro, Adrian Kummerländer, Ali Nahardani, Katja Grün, Markus Franz, Verena Hoerr, Mathias J. Krause, Lars Linsen

Comments: 21 pages, 7 figures, 2 tables

Subjects: Medical Physics (physics.med-ph); Software Engineering (cs.SE)

[386] arXiv:2509.09775 (cross-list from cs.AI) [pdf, other]

Title: Executable Ontologies: Synthesizing Event Semantics with Dataflow Architecture

Aleksandr Boldachev

Comments: 22 pages, 6 figures. Corrected captions on Figure 4

Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Formal Languages and Automata Theory (cs.FL); Software Engineering (cs.SE)

[387] arXiv:2509.09942 (cross-list from cs.CR) [pdf, html, other]

Title: Towards Secure and Explainable Smart Contract Generation with Security-Aware Group Relative Policy Optimization

Lei Yu, Jingyuan Zhang, Xin Wang, Jiajia Ma, Li Yang, Fengjun Zhang

Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)

[388] arXiv:2509.10320 (cross-list from cs.CR) [pdf, html, other]

Title: Automated Testing of Broken Authentication Vulnerabilities in Web APIs with AuthREST

Davide Corradini, Mariano Ceccato, Mohammad Ghafari

Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)

[389] arXiv:2509.10413 (cross-list from cs.CR) [pdf, html, other]

Title: Bitcoin Cross-Chain Bridge: A Taxonomy and Its Promise in Artificial Intelligence of Things

Guojun Tang, Carylyne Chan, Ning Nan, Spencer Yang, Jiayu Zhou, Henry Leung, Mohammad Mamun, Steve Drew

Comments: Blockchain Cross-Chain Bridge Survey

Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)

[390] arXiv:2509.10828 (cross-list from cs.SC) [pdf, html, other]

Title: Structuring Definitions in Mathematical Libraries

Alena Gusakov, Peter Nelson, Stephen Watt

Subjects: Symbolic Computation (cs.SC); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)

[391] arXiv:2509.10956 (cross-list from cs.HC) [pdf, html, other]

Title: AI Hasn't Fixed Teamwork, But It Shifted Collaborative Culture: A Longitudinal Study in a Project-Based Software Development Organization (2023-2025)

Qing Xiao, Xinlan Emily Hu, Mark E. Whiting, Arvind Karunakaran, Hong Shen, Hancheng Cao

Comments: 18 pages

Subjects: Human-Computer Interaction (cs.HC); Computers and Society (cs.CY); Software Engineering (cs.SE)

[392] arXiv:2509.11173 (cross-list from cs.CR) [pdf, other]

Title: Your Compiler is Backdooring Your Model: Understanding and Exploiting Compilation Inconsistency Vulnerabilities in Deep Learning Compilers

Simin Chen, Jinjun Peng, Yixin He, Junfeng Yang, Baishakhi Ray

Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Software Engineering (cs.SE)

[393] arXiv:2509.11712 (cross-list from cs.CR) [pdf, other]

Title: A Holistic Approach to E-Commerce Innovation: Redefining Security and User Experience

Mohammad Olid Ali Akash (1), Priyangana Saha (1) ((1) North South University)

Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)

[394] arXiv:2509.11836 (cross-list from cs.CR) [pdf, html, other]

Title: A Practical Adversarial Attack against Sequence-based Deep Learning Malware Classifiers

Kai Tan, Dongyang Zhan, Lin Ye, Hongli Zhang, Binxing Fang

Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)

[395] arXiv:2509.11877 (cross-list from cs.LO) [pdf, other]

Title: Proceedings 9th edition of Working Formal Methods Symposium

Andrei Arusoaie (Alexandru Ioan Cuza University of Iaşi), Horaţiu Cheval (University of Bucharest), Radu Iosif (Verimag, CNRS, University of Grenoble Alpes)

Journal-ref: EPTCS 427, 2025

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Software Engineering (cs.SE)

[396] arXiv:2509.12296 (cross-list from cs.DC) [pdf, other]

Title: An End to End Edge to Cloud Data and Analytics Strategy

Vijay Kumar Butte, Sujata Butte

Journal-ref: 2022 13th International Conference on Computing Communication and Networking Technologies (ICCCNT). IEEE, 2022

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Artificial Intelligence (cs.AI); Computational Engineering, Finance, and Science (cs.CE); Machine Learning (cs.LG); Software Engineering (cs.SE)

[397] arXiv:2509.12982 (cross-list from cs.RO) [pdf, html, other]

Title: Out of Distribution Detection in Self-adaptive Robots with AI-powered Digital Twins

Erblin Isaku, Hassan Sartaj, Shaukat Ali, Beatriz Sanguino, Tongtong Wang, Guoyuan Li, Houxiang Zhang, Thomas Peyrucain

Comments: 15 pages, 4 figures, 3 tables

Subjects: Robotics (cs.RO); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)

[398] arXiv:2509.13128 (cross-list from cs.PL) [pdf, html, other]

Title: Try-Mopsa: Relational Static Analysis in Your Pocket

Raphaël Monat

Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)

[399] arXiv:2509.13253 (cross-list from cs.HC) [pdf, html, other]

Title: Evolution of Programmers' Trust in Generative AI Programming Assistants

Anshul Shah, Thomas Rexin, Elena Tomson, Leo Porter, William G. Griswold, Adalbert Gerald Soosai Raj

Comments: Koli Calling 2025 conference

Subjects: Human-Computer Interaction (cs.HC); Software Engineering (cs.SE)

[400] arXiv:2509.13429 (cross-list from cs.PL) [pdf, html, other]

Title: Catalpa: GC for a Low-Variance Software Stack

Anthony Arnold, Mark Marron

Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)