Software Engineering

Authors and titles for November 2024

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

Title: Can Highlighting Help GitHub Maintainers Track Security Fixes?

Xueqing Liu, Yuchen Xiong, Qiushi Liu, Jiangrui Zheng

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

[252] arXiv:2411.12032 (cross-list from cs.LG) [pdf, other]

Title: Machine Learning Evaluation Metric Discrepancies across Programming Languages and Their Components: Need for Standardization

Mohammad R. Salmanpour, Morteza Alizadeh, Ghazal Mousavi, Saba Sadeghi, Sajad Amiri, Mehrdad Oveisi, Arman Rahmim, Ilker Hacihaliloglu

Comments: This paper is 12 pages with 1 table and 10 figures

Subjects: Machine Learning (cs.LG); Software Engineering (cs.SE); Computational Physics (physics.comp-ph)

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

Title: An exploration of the effect of quantisation on energy consumption and inference time of StarCoder2

Pepijn de Reus, Ana Oprescu, Jelle Zuidema

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

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

Title: ProSec: Fortifying Code LLMs with Proactive Security Alignment

Xiangzhe Xu, Zian Su, Jinyao Guo, Kaiyuan Zhang, Zhenting Wang, Xiangyu Zhang

Comments: The first two authors contributed equally to this work

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

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

Title: An Expressive Trace Logic for Recursive Programs

Dilian Gurov, Reiner Hähnle

Comments: 22 pages, 6 figures

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

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

Title: RV4Chatbot: Are Chatbots Allowed to Dream of Electric Sheep?

Andrea Gatti (University of Genoa), Viviana Mascardi (University of Genoa), Angelo Ferrando (University of Modena and Reggio Emilia)

Comments: In Proceedings FMAS2024, arXiv:2411.13215

Journal-ref: EPTCS 411, 2024, pp. 73-90

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

[257] arXiv:2411.14369 (cross-list from cs.RO) [pdf, other]

Title: Model Checking and Verification of Synchronisation Properties of Cobot Welding

Yvonne Murray, Henrik Nordlie, David A. Anisi, Pedro Ribeiro, Ana Cavalcanti

Comments: In Proceedings FMAS2024, arXiv:2411.13215

Journal-ref: EPTCS 411, 2024, pp. 91-108

Subjects: Robotics (cs.RO); Multiagent Systems (cs.MA); Software Engineering (cs.SE)

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

Title: LLOR: Automated Repair of OpenMP Programs

Utpal Bora, Saurabh Joshi, Gautam Muduganti, Ramakrishna Upadrasta

Comments: 23 pages, 1 algorithm, 2 figures, 26th International Conference on Verification Model Checking and Abstract Interpretation (VMCAI 2025)

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

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

Title: Leveraging LLMs for Legacy Code Modernization: Challenges and Opportunities for LLM-Generated Documentation

Colin Diggs, Michael Doyle, Amit Madan, Siggy Scott, Emily Escamilla, Jacob Zimmer, Naveed Nekoo, Paul Ursino, Michael Bartholf, Zachary Robin, Anand Patel, Chris Glasz, William Macke, Paul Kirk, Jasper Phillips, Arun Sridharan, Doug Wendt, Scott Rosen, Nitin Naik, Justin F. Brunelle, Samruddhi Thaker

Comments: Abbreviated version submitted to LLM4Code 2025 (a workshop co-located with ICSE 2025), 13 pages, 3 figures

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

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

Title: Developing and Sustaining a Student-Driven Software Solutions Center -- An Experience Report

Saheed Popoola, Vineela Kunapareddi, Hazem Said

Journal-ref: Journal of Systems and Software, Volume 220, page 112279, 2025

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

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

Title: The Explabox: Model-Agnostic Machine Learning Transparency & Analysis

Marcel Robeer, Michiel Bron, Elize Herrewijnen, Riwish Hoeseni, Floris Bex

Comments: 5 pages, 3 figures

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

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

Title: Distributing Quantum Computations, Shot-wise

Giuseppe Bisicchia, Giuseppe Clemente, Jose Garcia-Alonso, Juan Manuel Murillo Rodríguez, Massimo D'Elia, Antonio Brogi

Comments: 22 pages, 7 figures

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

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

Title: Benefits and Risks of Using ChatGPT4 as a Teaching Assistant for Computer Science Students

Yaiza Aragonés-Soria, Julia Kotovich, Chitsutha Soomlek, Manuel Oriol

Comments: This paper was finished on the 17th of June of 2023

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

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

Title: Assessing Vulnerability in Smart Contracts: The Role of Code Complexity Metrics in Security Analysis

Masoud Jamshidiyan Tehrani, Sattar Hashemi

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

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

Title: Evaluating the Overhead of the Performance Profiler Cloudprofiler With MooBench

Shinhyung Yang, David Georg Reichelt, Wilhelm Hasselbring

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

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

Title: A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols

Rémi Garcia, Paolo Modesti

Comments: 51 pages, 19 figures

Journal-ref: Electronics, Volume 13, Number 23, 2024

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

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

Title: Harnessing Large Language Models for Seed Generation in Greybox Fuzzing

Wenxuan Shi, Yunhang Zhang, Xinyu Xing, Jun Xu

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

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

Title: The Performance of the LSTM-based Code Generated by Large Language Models (LLMs) in Forecasting Time Series Data

Saroj Gopali, Sima Siami-Namini, Faranak Abri, Akbar Siami Namin

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

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

Title: Bounds for Quantum Circuits using Logic-Based Analysis

Benedikt Fauseweh, Ben Hermann, Falk Howar

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

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

Title: Dynamic Taint Tracking using Partial Instrumentation for Java Applications

Manoj RameshChandra Thakur

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

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

Title: Characterizing JavaScript Security Code Smells

Vikas Kambhampati, Nehaz Hussain Mohammed, Amin Milani Fard

Comments: 9 pages

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

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

Title: Action Engine: An LLM-based Framework for Automatic FaaS Workflow Generation

Akiharu Esashi, Pawissanutt Lertpongrujikorn, Mohsen Amini Salehi

Comments: Accepted at Utility Cloud Computing (UCC '24) conference

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