Software Engineering

Authors and titles for June 2024

[251] arXiv:2406.06218 (cross-list from cs.CV) [pdf, html, other]

Title: Data Augmentation in Earth Observation: A Diffusion Model Approach

Tiago Sousa, Benoît Ries, Nicolas Guelfi

Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)

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

Title: An LLM-Assisted Easy-to-Trigger Backdoor Attack on Code Completion Models: Injecting Disguised Vulnerabilities against Strong Detection

Shenao Yan, Shen Wang, Yue Duan, Hanbin Hong, Kiho Lee, Doowon Kim, Yuan Hong

Comments: To appear in USENIX Security '24

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

[253] arXiv:2406.06887 (cross-list from cs.CL) [pdf, html, other]

Title: $\textbf{PLUM}$: Improving Code LMs with Execution-Guided On-Policy Preference Learning Driven By Synthetic Test Cases

Dylan Zhang, Shizhe Diao, Xueyan Zou, Hao Peng

Comments: Template

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

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

Title: TraceMesh: Scalable and Streaming Sampling for Distributed Traces

Zhuangbin Chen, Zhihan Jiang, Yuxin Su, Michael R. Lyu, Zibin Zheng

Comments: Accepted by The 2024 IEEE 17th International Conference on Cloud Computing (CLOUD)

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE)

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

Title: VulDetectBench: Evaluating the Deep Capability of Vulnerability Detection with Large Language Models

Yu Liu, Lang Gao, Mingxin Yang, Yu Xie, Ping Chen, Xiaojin Zhang, Wei Chen

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

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

Title: LLAMAFUZZ: Large Language Model Enhanced Greybox Fuzzing

Hongxiang Zhang, Yuyang Rong, Yifeng He, Hao Chen

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

[257] arXiv:2406.07739 (cross-list from cs.CL) [pdf, html, other]

Title: UICoder: Finetuning Large Language Models to Generate User Interface Code through Automated Feedback

Jason Wu, Eldon Schoop, Alan Leung, Titus Barik, Jeffrey P. Bigham, Jeffrey Nichols

Comments: Accepted to NAACL 2024

Subjects: Computation and Language (cs.CL); Human-Computer Interaction (cs.HC); Software Engineering (cs.SE)

[258] arXiv:2406.08316 (cross-list from cs.CL) [pdf, other]

Title: Is Programming by Example solved by LLMs?

Wen-Ding Li, Kevin Ellis

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

[259] arXiv:2406.08774 (cross-list from cs.HC) [pdf, other]

Title: From an Integrated Usability Framework to Lessons on Usability and Performance of Open Government Data Portals: A Comparative Study of European Union and Gulf Cooperation Council Countries

Fillip Molodtsov, Anastasija Nikiforova

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

[260] arXiv:2406.08979 (cross-list from cs.CL) [pdf, html, other]

Title: Multi-Agent Software Development through Cross-Team Collaboration

Zhuoyun Du, Chen Qian, Wei Liu, Zihao Xie, Yifei Wang, Yufan Dang, Weize Chen, Cheng Yang

Comments: Work in progress

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Multiagent Systems (cs.MA); Software Engineering (cs.SE)

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

Title: A Symbolic Computing Perspective on Software Systems

Arthur C. Norman, Stephen M. Watt

Subjects: Symbolic Computation (cs.SC); Mathematical Software (cs.MS); Software Engineering (cs.SE)

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

Title: SGPRS: Seamless GPU Partitioning Real-Time Scheduler for Periodic Deep Learning Workloads

Amir Fakhim Babaei, Thidapat Chantem

Comments: 2 pages, accepted and presented in DATE 2024 Conference

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE); Systems and Control (eess.SY)

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

Title: Evaluating LLM-driven User-Intent Formalization for Verification-Aware Languages

Shuvendu K. Lahiri

Comments: Proceedings of the 24th Conference on Formal Methods in Computer Aided Design (FMCAD 2024)

Journal-ref: Proceedings of the 24th Conference on Formal Methods in Computer Aided Design (FMCAD 2024)

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

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

Title: SoK: Analysis of Software Supply Chain Security by Establishing Secure Design Properties

Chinenye Okafor, Taylor R. Schorlemmer, Santiago Torres-Arias, James C. Davis

Comments: Published in the proceedings of the 1st ACM Workshop on Software Supply Chain Offensive Research and Ecosystem Defenses (SCORED) 2022

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

[265] arXiv:2406.10271 (cross-list from cs.MS) [pdf, html, other]

Title: Enhancing non-Perl bioinformatic applications with Perl: Building novel, component based applications using Object Orientation, PDL, Alien, FFI, Inline and OpenMP

Christos Argyropoulos

Comments: 36 pages, 8 figures

Subjects: Mathematical Software (cs.MS); Software Engineering (cs.SE)

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

Title: PRISM: A Design Framework for Open-Source Foundation Model Safety

Terrence Neumann, Bryan Jones

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

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

Title: New Solutions on LLM Acceleration, Optimization, and Application

Yingbing Huang, Lily Jiaxin Wan, Hanchen Ye, Manvi Jha, Jinghua Wang, Yuhong Li, Xiaofan Zhang, Deming Chen

Comments: This is an expanded and more comprehensive study based on our invited DAC-24 paper with the same title and co-authors

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

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

Title: Threat Modelling and Risk Analysis for Large Language Model (LLM)-Powered Applications

Stephen Burabari Tete

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

[269] arXiv:2406.11255 (cross-list from cs.DB) [pdf, html, other]

Title: Liberal Entity Matching as a Compound AI Toolchain

Silvery D. Fu, David Wang, Wen Zhang, Kathleen Ge

Comments: 2 pages, compound ai systems 2024

Subjects: Databases (cs.DB); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)

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

Title: Analysing the Behaviour of Tree-Based Neural Networks in Regression Tasks

Peter Samoaa, Mehrdad Farahani, Antonio Longa, Philipp Leitner, Morteza Haghir Chehreghani

Comments: This Paper is submitted to IEEE Transactions on Neural Networks and Learning Systems

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

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

Title: Long Code Arena: a Set of Benchmarks for Long-Context Code Models

Egor Bogomolov, Aleksandra Eliseeva, Timur Galimzyanov, Evgeniy Glukhov, Anton Shapkin, Maria Tigina, Yaroslav Golubev, Alexander Kovrigin, Arie van Deursen, Maliheh Izadi, Timofey Bryksin

Comments: 54 pages, 4 figures, 22 tables

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Information Retrieval (cs.IR); Software Engineering (cs.SE)

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

Title: SoK: A Literature and Engineering Review of Regular Expression Denial of Service

Masudul Hasan Masud Bhuiyan, Berk Çakar, Ethan H Burmane, James C Davis, Cristian-Alexandru Staicu

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

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

Title: MASAI: Modular Architecture for Software-engineering AI Agents

Daman Arora, Atharv Sonwane, Nalin Wadhwa, Abhav Mehrotra, Saiteja Utpala, Ramakrishna Bairi, Aditya Kanade, Nagarajan Natarajan

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

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

Title: Measuring memorization in RLHF for code completion

Aneesh Pappu, Billy Porter, Ilia Shumailov, Jamie Hayes

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

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

Title: Iterative or Innovative? A Problem-Oriented Perspective for Code Optimization

Tong Ye, Tengfei Ma, Lingfei Wu, Xuhong Zhang, Shouling Ji, Wenhai Wang

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

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

Title: Should AI Optimize Your Code? A Comparative Study of Current Large Language Models Versus Classical Optimizing Compilers

Miguel Romero Rosas, Miguel Torres Sanchez, Rudolf Eigenmann

Comments: 11 pages, 10 figures, under review for The International Symposium on Code Generation and Optimization (CGO) 2025, Las Vegas

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

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

Title: CodeNav: Beyond tool-use to using real-world codebases with LLM agents

Tanmay Gupta, Luca Weihs, Aniruddha Kembhavi

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

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

Title: What Did I Do Wrong? Quantifying LLMs' Sensitivity and Consistency to Prompt Engineering

Federico Errica, Giuseppe Siracusano, Davide Sanvito, Roberto Bifulco

Subjects: Machine Learning (cs.LG); Software Engineering (cs.SE)

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

Title: MegaVul: A C/C++ Vulnerability Dataset with Comprehensive Code Representation

Chao Ni, Liyu Shen, Xiaohu Yang, Yan Zhu, Shaohua Wang

Comments: 5 pages, 4figures

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

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

Title: Benchmarks and Metrics for Evaluations of Code Generation: A Critical Review

Debalina Ghosh Paul, Hong Zhu, Ian Bayley

Comments: Accepted by the First IEEE International Workshop on Testing and Evaluation of Large Language Models (TELLMe 2024) and will be published in the proceedings of the IEEE AITest 2024 conference

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

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

Title: JavaBench: A Benchmark of Object-Oriented Code Generation for Evaluating Large Language Models

Jialun Cao, Zhiyong Chen, Jiarong Wu, Shing-chi Cheung, Chang Xu

Comments: Accepted by ASE 2024

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Programming Languages (cs.PL); Software Engineering (cs.SE)

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

Title: AutoFirm: Automatically Identifying Reused Libraries inside IoT Firmware at Large-Scale

YongLe Chen, Feng Ma, Ying Zhang, YongZhong He, Haining Wang, Qiang Li

Comments: 13 pages, 20 figures

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

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

Title: WONDERBREAD: A Benchmark for Evaluating Multimodal Foundation Models on Business Process Management Tasks

Michael Wornow, Avanika Narayan, Ben Viggiano, Ishan S. Khare, Tathagat Verma, Tibor Thompson, Miguel Angel Fuentes Hernandez, Sudharsan Sundar, Chloe Trujillo, Krrish Chawla, Rongfei Lu, Justin Shen, Divya Nagaraj, Joshua Martinez, Vardhan Agrawal, Althea Hudson, Nigam H. Shah, Christopher Re

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

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

Title: On AI-Inspired UI-Design

Jialiang Wei, Anne-Lise Courbis, Thomas Lambolais, Gérard Dray, Walid Maalej

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

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

Title: Cross-level Requirement Traceability: A Novel Approach Integrating Bag-of-Words and Word Embedding for Enhanced Similarity Functionality

Baher Mohammad, Riad Sonbol, Ghaida Rebdawi

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

[286] arXiv:2406.14991 (cross-list from cs.CL) [pdf, html, other]

Title: SpreadsheetBench: Towards Challenging Real World Spreadsheet Manipulation

Zeyao Ma, Bohan Zhang, Jing Zhang, Jifan Yu, Xiaokang Zhang, Xiaohan Zhang, Sijia Luo, Xi Wang, Jie Tang

Comments: Neurips 2024 (Spotlight); Homepage: this https URL

Subjects: Computation and Language (cs.CL); Software Engineering (cs.SE)

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

Title: Exploring the Efficacy of Robotic Assistants with ChatGPT and Claude in Enhancing ADHD Therapy: Innovating Treatment Paradigms

Santiago Berrezueta-Guzman, Mohanad Kandil, María-Luisa Martín-Ruiz, Iván Pau-de-la-Cruz, Stephan Krusche

Comments: Paper accepted at the 20th International Conference on Intelligent Environments

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

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

Title: Bug In the Code Stack: Can LLMs Find Bugs in Large Python Code Stacks

Hokyung Lee, Sumanyu Sharma, Bing Hu

Comments: 8 pages

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

[289] arXiv:2406.15377 (cross-list from cs.CY) [pdf, other]

Title: Model Callers for Transforming Predictive and Generative AI Applications

Mukesh Dalal

Comments: 18 pages, 14 figures

Subjects: Computers and Society (cs.CY); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE); Programming Languages (cs.PL); Software Engineering (cs.SE)

[290] arXiv:2406.15379 (cross-list from cs.CY) [pdf, other]

Title: CS1-LLM: Integrating LLMs into CS1 Instruction

Annapurna Vadaparty, Daniel Zingaro, David H. Smith IV, Mounika Padala, Christine Alvarado, Jamie Gorson Benario, Leo Porter

Comments: to be published in Proceedings of the 29th ACM conference on innovation and technology in computer science education (ITiCSE)

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

[291] arXiv:2406.15382 (cross-list from cs.CY) [pdf, other]

Title: Enhancing Educational Efficiency: Generative AI Chatbots and DevOps in Education 4.0

Edis Mekić, Mihailo Jovanović, Kristijan Kuk, Bojan Prlinčević, Ana Savić

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

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

Title: DiVerify: Diversifying Identity Verification in Next-Generation Software Signing

Chinenye L. Okafor, James C. Davis, Santiago Torres-Arias

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

[293] arXiv:2406.15679 (cross-list from cs.SI) [pdf, html, other]

Title: Iterative Service-Learning: A Computing-Based Case-study Applied to Small Rural Organizations

Sherri WeitlHarms

Comments: 9 pages, 0 figures

Journal-ref: Proceedings of the 2024 IEEE Frontiers in Education Conference

Subjects: Social and Information Networks (cs.SI); Human-Computer Interaction (cs.HC); Software Engineering (cs.SE)

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

Title: VulZoo: A Comprehensive Vulnerability Intelligence Dataset

Bonan Ruan, Jiahao Liu, Weibo Zhao, Zhenkai Liang

Comments: To appear in ASE 2024 Demo

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

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

Title: Smart Casual Verification of the Confidential Consortium Framework

Heidi Howard, Markus A. Kuppe, Edward Ashton, Amaury Chamayou, Natacha Crooks

Comments: To appear in the 22nd USENIX Symposium on Networked Systems Design and Implementation (NSDI 2025)

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Formal Languages and Automata Theory (cs.FL); Software Engineering (cs.SE)

[296] arXiv:2406.18276 (cross-list from cs.CL) [pdf, other]

Title: Sanskrit Knowledge-based Systems: Annotation and Computational Tools

Hrishikesh Terdalkar

Comments: PhD Thesis. 204 pages, 6 publications

Subjects: Computation and Language (cs.CL); Software Engineering (cs.SE)

[297] arXiv:2406.18363 (cross-list from quant-ph) [pdf, html, other]

Title: Towards View-based Development of Quantum Software

Joshua Ammermann, Wolfgang Mauerer, Ina Schaefer

Comments: 5 pages, 2 figures, accepted at GI QC Workshop 2024 and to be published in the GI conference proceedings, this is a preprint version before submission

Subjects: Quantum Physics (quant-ph); Software Engineering (cs.SE)

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

Title: MALSIGHT: Exploring Malicious Source Code and Benign Pseudocode for Iterative Binary Malware Summarization

Haolang Lu, Hongrui Peng, Guoshun Nan, Jiaoyang Cui, Cheng Wang, Weifei Jin

Comments: 17 pages, 14 figures

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

[299] arXiv:2406.18518 (cross-list from cs.CL) [pdf, other]

Title: APIGen: Automated Pipeline for Generating Verifiable and Diverse Function-Calling Datasets

Zuxin Liu, Thai Hoang, Jianguo Zhang, Ming Zhu, Tian Lan, Shirley Kokane, Juntao Tan, Weiran Yao, Zhiwei Liu, Yihao Feng, Rithesh Murthy, Liangwei Yang, Silvio Savarese, Juan Carlos Niebles, Huan Wang, Shelby Heinecke, Caiming Xiong

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

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

Title: Towards Secure Management of Edge-Cloud IoT Microservices using Policy as Code

Samodha Pallewatta, Muhammad Ali Babar

Comments: 16 pages, 7 figures, Accepted for full paper presentation at ECSA 2024 conference

Subjects: Cryptography and Security (cs.CR); Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE)