Tootfinder

Efficiently Ranking Software Variants with Minimal Benchmarks
Th\'eo Matricon, Mathieu Acher, Helge Spieker, Arnaud Gotlieb
https://arxiv.org/abs/2509.06716 https://

Efficiently Ranking Software Variants with Minimal Benchmarks
Benchmarking is a common practice in software engineering to assess the qualities and performance of software variants, coming from multiple competing systems or from configurations of the same system. Benchmarks are used notably to compare and understand variant performance, fine-tune software, detect regressions, or design new software systems. The execution of benchmarks to get a complete picture of software variants is highly costly in terms of computational resources and time. In this pape…

Cadence Design to acquire Hexagon's Stockholm-based design and engineering unit, a computer-aided engineering software provider, for €2.7B in cash and stock (Juby Babu/Reuters)
https://www.reuters.com/business/cadence-design-bu…

Tiny but Mighty: A Software-Hardware Co-Design Approach for Efficient Multimodal Inference on Battery-Powered Small Devices
Yilong Li, Shuai Zhang, Yijing Zeng, Hao Zhang, Xinmiao Xiong, Jingyu Liu, Pan Hu, Suman Banerjee
https://arxiv.org/abs/2510.05109

Tiny but Mighty: A Software-Hardware Co-Design Approach for Efficient Multimodal Inference on Battery-Powered Small Devices
Large Multimodal Models (LMMs) are inherently modular, consisting of vision and audio encoders, projectors, and large language models. Yet, they are almost always executed monolithically, which underutilizes the heterogeneous accelerators (NPUs, GPUs, DSPs) in modern SoCs and leads to high end-to-end latency. In this paper, we present NANOMIND, a hardware--software co-design inference framework for Large Multimodal Models (LMMs) that breaks large models into modular ``bricks'' (vision, language…

Reverse Browser: Vector-Image-to-Code Generator
Zoltan Toth-Czifra
https://arxiv.org/abs/2509.05394 https://arxiv.org/pdf/2509.05394

Reverse Browser: Vector-Image-to-Code Generator
Automating the conversion of user interface design into code (image-to-code or image-to-UI) is an active area of software engineering research. However, the state-of-the-art solutions do not achieve high fidelity to the original design, as evidenced by benchmarks. In this work, I approach the problem differently: I use vector images instead of bitmaps as model input. I create several large datasets for training machine learning models. I evaluate the available array of Image Quality Assessment …

A Multi-Simulation Bridge for IoT Digital Twins
Marco Picone, Samuele Burattini, Marco Melloni, Prasad Talasila, Davide Ziglioli, Matteo Martinelli, Nicola Bicocchi, Alessandro Ricci, Peter Gorm Larsen
https://arxiv.org/abs/2510.08164

A Multi-Simulation Bridge for IoT Digital Twins
The increasing capabilities of Digital Twins (DTs) in the context of the Internet of Things (IoT) and Industrial IoT (IIoT) call for seamless integration with simulation platforms to support system design, validation, and real-time operation. This paper introduces the concept, design, and experimental evaluation of the DT Simulation Bridge - a software framework that enables diverse interaction patterns between active DTs and simulation environments. The framework supports both the DT developme…

Who herein is using ON1 Photo RAW 2026?
Your thoughts/Reviews on why I should purchase this cool looking app?
#affinity

from my link log —
Everything I know about good HTTP API design.
https://www.seangoedecke.com/good-api-design/
saved 2025-08-25 https://

Everything I know about good #API #design
https://www.seangoedecke.com/good-api-design/

Crosslisted article(s) found for cs.SE. https://arxiv.org/list/cs.SE/new
[1/1]:
- Adaptive Protein Design Protocols and Middleware
Aymen Alsaadi, Jonathan Ash, Mikhail Titov, Matteo Turilli, Andre Merzky, Shantenu Jha, Sagar Khare

Actual UI that Apple has shipped in a production operating system.
Apple calls this a "beautiful new software design that makes apps and system experiences more expressive and delightful"

Crosslisted article(s) found for eess.SP. https://arxiv.org/list/eess.SP/new
[1/1]:
- Tiny but Mighty: A Software-Hardware Co-Design Approach for Efficient Multimodal Inference on Bat...
Yilong Li, Shuai Zhang, Yijing Zeng, Hao Zhang, Xinmiao Xiong, Jingyu Liu, Pan Hu, Suman Banerjee

Open-Source Thermostatic Radiator Valve (OpenTRV) - OpenTRV retrofit open-source reference mechanical/hardware/software design for zoned heating to save carbon and money. #OpenTRV #TRV #heating

Open-Source Thermostatic Radiator Valve (OpenTRV)
OpenTRV retrofit open-source reference mechanical/hardware/software design for zoned heating to save carbon and money. #OpenTRV #TRV #heating #cutCarbon

WireBend-kit: A Computational Design and Fabrication Toolkit for Wirebending Custom 3D Wireframe Structures
Faraz Faruqi, Josha Paonaskar, Riley Schuler, Aiden Prevey, Carson Taylor, Anika Tak, Anthony Guinto, Eeshani Shilamkar, Natarith Cheenaruenthong, Martin Nisser
https://arxiv.org/abs/2509.24083…

WireBend-kit: A Computational Design and Fabrication Toolkit for Wirebending Custom 3D Wireframe Structures
This paper introduces WireBend-kit, a desktop wirebending machine and computational design tool for creating 3D wireframe structures. Combined, they allow users to rapidly and inexpensively create custom 3D wireframe structures from aluminum wire. Our design tool is implemented in freely available software and allows users to generate virtual wireframe designs and assess their fabricability. A path-planning procedure automatically converts the wireframe design into fabrication instructions for …

If Affinity really cares about the creatives, they (& all other design companies, hopefully Adobe too?) should have form a group to create a file format standard. As long as the design format is proprietary, there's not much "freedom" here, even if the software is free, paid-once or subscription-based.
Sketch is actually almost there, at least for UI/vector designs (

Characterisation of Thick Gaseous Electron Multipliers as charge readout operated in pure argon
G. Eurin (IRFU, CEA, Universit\'e Paris-Saclay, F-91191 Gif-sur-Yvette, France), A. Delbart (IRFU, CEA, Universit\'e Paris-Saclay, F-91191 Gif-sur-Yvette, France), R. De Oliveira (CERN, The European Organization for Nuclear Research, 1211 Meyrin, Switzerland), A. Drozd (CERN, The European Organization for Nuclear Research, 1211 Meyrin, Switzerland), P. Granger (IRFU, CEA, Universit\&…

Characterisation of Thick Gaseous Electron Multipliers as charge readout operated in pure argon
The gain measurements of several 1 mm-thick, 10$\times$10 cm$^2$ Thick Gaseous Electron Multipliers (ThGEMs), operated in pure argon at 3.3 bar and room temperature are presented. Electrostatic simulations, performed with the COMSOL MultiPhysics software, were employed to guide the design of the detectors, and the field configurations are discussed. A modified ThGEM design, incorporating two embedded internal electrodes in addition to the conventional top and bottom electrodes, was developed to…

An empirical study on declined proposals: why are these proposals declined?
Masanari Kondo, Mahmoud Alfadel, Shane McIntosh, Yasutaka Kamei, Naoyasu Ubayashi
https://arxiv.org/abs/2510.06984

An empirical study on declined proposals: why are these proposals declined?
Design-level decisions in open-source software (OSS) projects are often made through structured mechanisms such as proposals, which require substantial community discussion and review. Despite their importance, the proposal process is resource-intensive and often leads to contributor frustration, especially when proposals are declined without clear feedback. Yet, the reasons behind proposal rejection remain poorly understood, limiting opportunities to streamline the process or guide contributor…

Chip design software maker Cadence agrees to acquire Stockholm-based Hexagon's design and simulation software business for ~$3.18B in cash and stock (Nathan Owens/Manufacturing Dive)
https://www.manufacturingdive.com/news/cad

Cadence Design Systems to spend $3.2B on Hexagon’s simulations tech
The acquisition would bolster the industrial software maker’s position in the growing structural analysis market used widely by Boeing, Lockheed Martin, Toyota and other suppliers.

PowerPlots: An Open Source Power Grid Visualization and Data Analysis Framework for Academic Research
Noah Rhodes
https://arxiv.org/abs/2510.05063 https://…

PowerPlots: An Open Source Power Grid Visualization and Data Analysis Framework for Academic Research
Data visualization is important for developing an understanding of a complex system. PowerPlots.jl is a data visualization tool for power grids, one of the most complex systems in the world. The design of PowerPlots.jl is intended to facilitate exploration of power grid data while performing research and to facilitate communication of research findings to an audience. Several tools created to support this software also facilitate analysis of power grid data by transforming the data into graph t…

Automatic integration of SystemC in the FMI standard for Software-defined Vehicle design
Giovanni Pollo, Andrei Mihai Albu, Alessio Burrello, Daniele Jahier Pagliari, Cristian Tesconi, Loris Panaro, Dario Soldi, Fabio Autieri, Sara Vinco
https://arxiv.org/abs/2508.19665

Automatic integration of SystemC in the FMI standard for Software-defined Vehicle design
The recent advancements of the automotive sector demand robust co-simulation methodologies that enable early validation and seamless integration across hardware and software domains. However, the lack of standardized interfaces and the dominance of proprietary simulation platforms pose significant challenges to collaboration, scalability, and IP protection. To address these limitations, this paper presents an approach for automatically wrapping SystemC models by using the Functional Mock-up Int…

Worker Pool Design Pattern Explanation
https://coffeebytes.dev/en/software-architecture/worker-pool-design-pattern-explanation/

FCT O-RAN: Design and Deployment of a Multi-Vendor End-to-End Private 5G Testbed
Amogh PC, Nagamuthu Vignesh, Pei Yiyang, Neelakantam Venkatarayalu, Pedro Henrique Amorim Rezende, Shyam Babu Mahato, Sumei Sun
https://arxiv.org/abs/2509.01891

FCT O-RAN: Design and Deployment of a Multi-Vendor End-to-End Private 5G Testbed
The transformation of 5G networks into software-defined, agile, intelligent and programmable architectures necessitates a paradigm shift in deployment strategies. To deliver superior performance and surpass traditional systems, public and private 5G networks must adopt software-centric cloud native frameworks that enable flexibility through tailored configurations and optimized deployment approaches. In Singapore, the Infocomm Media Development Authority (IMDA) and the National Research Foundat…

Modeling Developer Burnout with GenAI Adoption
Zixuan Feng, Sadia Afroz, Anita Sarma
https://arxiv.org/abs/2510.07435 https://arxiv.org/pdf/2510.07435

Modeling Developer Burnout with GenAI Adoption
Generative AI (GenAI) is rapidly reshaping software development workflows. While prior studies emphasize productivity gains, the adoption of GenAI also introduces new pressures that may harm developers' well-being. In this paper, we investigate the relationship between the adoption of GenAI and developers' burnout. We utilized the Job Demands--Resources (JD--R) model as the analytic lens in our empirical study. We employed a concurrent embedded mixed-methods research design, integrating quantit…

TIL Intel has already published a few more FIT spec revisions that I had missed.
https://edc.intel.com/content/www/de/de/design/products-and-solutions/software-and-services/firmware-a…

Towards Modular and Accessible AUV Systems
Mingxi Zhou, Farhang Naderi, Yuewei Fu, Tony Jacob, Lin Zhao, Manavi Panjnani, Chengzhi Yuan, William McConnell, Emir Cem Gezer
https://arxiv.org/abs/2509.24864

Towards Modular and Accessible AUV Systems
This paper reports the development of a new open- access modular framework, called Marine Vehicle Packages (MVP), for Autonomous Underwater Vehicles. The framework consists of both software and hardware designs allowing easy construction of AUV for research with increased customizability and sufficient payload capacity. This paper will present the scalable hardware system design and the modular software design architecture. New features, such as articulated thruster integra- tion and high-level…

Open-Source Thermostatic Radiator Valve (OpenTRV) - OpenTRV retrofit open-source reference mechanical/hardware/software design for zoned heating to save carbon and money. #OpenTRV #TRV #heating

Open-Source Thermostatic Radiator Valve (OpenTRV)
OpenTRV retrofit open-source reference mechanical/hardware/software design for zoned heating to save carbon and money. #OpenTRV #TRV #heating #cutCarbon

Improving Assignment Submission in Higher Education through a Git-Enabled System: An Iterative Case Study
Ololade Babatunde, Tomisin Ayodabo, Raqibul Raqibul
https://arxiv.org/abs/2510.06363

Improving Assignment Submission in Higher Education through a Git-Enabled System: An Iterative Case Study
This study addresses challenges in traditional assignment submission methods used in higher education by introducing and evaluating a customized Git-based submission system. Employing iterative software development and user-centered design methodologies, the system was integrated within a real-world university environment. Empirical evaluation, including usability testing and student feedback, indicated significant improvements in assignment tracking, collaboration, and submission efficiency. S…

FedBit: Accelerating Privacy-Preserving Federated Learning via Bit-Interleaved Packing and Cross-Layer Co-Design
Xiangchen Meng, Yangdi Lyu
https://arxiv.org/abs/2509.23091 http…

FedBit: Accelerating Privacy-Preserving Federated Learning via Bit-Interleaved Packing and Cross-Layer Co-Design
Federated learning (FL) with fully homomorphic encryption (FHE) effectively safeguards data privacy during model aggregation by encrypting local model updates before transmission, mitigating threats from untrusted servers or eavesdroppers in transmission. However, the computational burden and ciphertext expansion associated with homomorphic encryption can significantly increase resource and communication overhead. To address these challenges, we propose FedBit, a hardware/software co-designed f…

Finesse: An Agile Design Framework for Pairing-based Cryptography via Software/Hardware Co-Design
Tianwei Pan, Tianao Dai, Jianlei Yang, Hongbin Jing, Yang Su, Zeyu Hao, Xiaotao Jia, Chunming Hu, Weisheng Zhao
https://arxiv.org/abs/2509.10051

Finesse: An Agile Design Framework for Pairing-based Cryptography via Software/Hardware Co-Design
Pairing-based cryptography (PBC) is crucial in modern cryptographic applications. With the rapid advancement of adversarial research and the growing diversity of application requirements, PBC accelerators need regular updates in algorithms, parameter configurations, and hardware design. However, traditional design methodologies face significant challenges, including prolonged design cycles, difficulties in balancing performance and flexibility, and insufficient support for potential architectur…

✍️ New post: Euro­pean Tech Alternatives 🇪🇺
#blogtober #tech #software #europe

European Tech Alternatives 🇪🇺 · Matthias Ott
Matthias Ott is an independent user experience designer and web design engineer from Stuttgart, Germany. He also teaches Interface Prototyping at the Muthesius Academy of Fine Arts and Design.

Do Students Learn Better Together? Teaching Design Patterns and the OSI Model with the Aronson Method
Daniel San Martin, Carlos Manzano, Valter Vieira de Camargo
https://arxiv.org/abs/2508.16770

Do Students Learn Better Together? Teaching Design Patterns and the OSI Model with the Aronson Method
Abstract concepts like software design patterns and the OSI model often pose challenges for engineering students, and traditional methods may fall short in promoting deep understanding and individual accountability. This study explores the use of the Aronson Jigsaw method to enhance learning and engagement in two foundational computing topics. The intervention was applied to two 2025 cohorts, with student progress measured using a Collaborative Learning Index derived from formative assessments.…

How AI Vibe Coding Is Erasing Developers’ Skills
Developers believe AI is boosting their productivity, but it is actually weakening core coding skills. Vibe coding is creating a generation of devs who cannot debug, design, or solve problems without AI.
https://www.finalroundai.com/blog…

How AI Vibe Coding Is Erasing Developers’ Skills
Developers believe AI is boosting their productivity, but it is actually weakening core coding skills. Vibe coding is creating a generation of devs who cannot debug, design, or solve problems without AI.

Amazon's CTO, Dr. Werner Vogels, recently shared this short post about how software development improves with age. His perspective revolves around the recurrence of certain patterns in technology where the experienced developer can say "New technology, same pattern.", and sift through the daily onslaught of new technologies in a calm fashion, weeding out what's just flash from more interesting developments.
"Development gets better with Age"

An event visualization software based on Phoenix for the CEPC experiment
Yu-Jie Zeng, Tian-Zi Song, Xue-Sen Wang, Yu-Mei Zhang, Tao Lin, Zheng-Yun You
https://arxiv.org/abs/2509.17118

An event visualization software based on Phoenix for the CEPC experiment
In high-energy physics~(HEP) experiments, visualization software plays a pivotal role in detector design, offline software development, and event data analysis. The visualization tools integrate detailed detector geometry with complex event data models, providing the researchers with invaluable insights into experimental results. Phoenix is an emerging general-purpose visualization platform for the current and next-generation HEP experiments. In this study, we develop an event display software …

Day 6: Kamome Shirahama
Before I wander much father afield, I'd be remiss not to include at least one Mangaka (I've got 8 on my planning list; if you think Manga is pushing it just wait until you see what the next few days have in store).
I'm currently following "Witch Hat Atelier," and it's absolutely amazing in several dimensions: first class world-building, deep philosophical themes, nuanced diverse cast, tightly-constructed interwoven plots, deep mysteries that keep everything churning and show up in unexpected places, absolutely stellar art both in terms of in-panel depictions and page layouts (some are Watchmen-quality), especially if you are sartorially inclined, and general kindness of its core messages. This is a series I wish every programmer would read, because it includes excellent advice about software design in multiple ways (did I mention there's an intricate and logical magic system within which the main character innovates in legible-to-the-reader-as-innovation ways?). Also, I bet I would have enjoyed this just a much as a 10-year-old as I'm enjoying it in my 30's, which is something that takes well-honed skill to pull off.
Shirahama is a master of her craft, and I'm honestly kinda surprised to see Witch Hat is only her second series. Definitely thinking how I can get my hands on her earlier work in English.
#20AuthorsNoMen

This is an ambitious, beautifully designed "digital book."
https://www.makingsoftware.com/

Making Software
A reference manual for people who design and build software.

The Evolution of IBM's Quantum Information Software Kit (Qiskit): A Review of its Applications
Param Pathak, K Tarakeshwar, Syed Sufiyan Ali, Shalini Devendrababu, Adarsh Ganesan
https://arxiv.org/abs/2508.12245

The Evolution of IBM's Quantum Information Software Kit (Qiskit): A Review of its Applications
Quantum computing is being increasingly adopted for solving classically intractable problems across various domains. However, the availability of accessible and scalable software frameworks remains essential for practical experimentation and adoption. IBM's open-source quantum computing toolkit 'Qiskit' has become a key player in this space by offering tools for circuit design, simulation, hardware execution, and domain-specific applications. This survey provides a systematic review of how Qisk…

Remember the Photoshop competitor that didn't require a monthly subscription? #AffinityPhoto
You can no longer download/purchase their software and they are giving away the iPad version for free until the end of the month. And they are teasing something "big" coming up with a bunch of marketing-speak. Whenever a company talks about freedom, be weary.

Electromagnetic Simulations of Antennas on GPUs for Machine Learning Applications
Murat Temiz, Vemund Bakken
https://arxiv.org/abs/2508.10713 https://arxiv…

Electromagnetic Simulations of Antennas on GPUs for Machine Learning Applications
This study proposes an antenna simulation framework powered by graphics processing units (GPUs) based on an open-source electromagnetic (EM) simulation software (gprMax) for machine learning applications of antenna design and optimization. Furthermore, it compares the simulation results with those obtained through commercial EM software. The proposed software framework for machine learning and surrogate model applications will produce antenna data sets consisting of a large number of antenna si…

TypedSchematics: A Block-based PCB Design Tool with Real-time Detection of Common Connection Errors
Jorge Garza, Steven Swanson
https://arxiv.org/abs/2509.14576 https://

TypedSchematics: A Block-based PCB Design Tool with Real-time Detection of Common Connection Errors
Within PCB design, the reuse of circuit design blocks is a major preventing factor inhibiting beginners from reusing designs made by experts, a common practice in software but non-existent in circuit design at large. Despite efforts to improve reusability (e.g. block-based PCB design) by platforms such as SparkFun ALC and Altium Upverter, they lack merging techniques that safely guide users in connecting different circuit blocks without requiring assistance from third-party engineers. In this p…

Assessment of hydrodynamic characteristics and computational resources for submarine resistance analysis: A comparative study between CFD Codes with application of the BB2 Submarine
Noh Zainal Abidin (GeM), Fr\'ed\'eric Grondin (GeM), Pol Muller (Naval Expert), Jean-Fran\c{c}ois Sigrist (Naval Expert)
https://arxiv.org/abs/2510.049…

Assessment of hydrodynamic characteristics and computational resources for submarine resistance analysis: A comparative study between CFD Codes with application of the BB2 Submarine
Submarines are vital for maritime defense, requiring optimized hydrodynamic performance to minimize resistance. Advancements in Computational Fluid Dynamics (CFD) enable accurate predictions of submarine hydrodynamics for optimal design. This study compared the meshing capabilities of OpenFOAM and commercial software as well as the performance of High-Performance Computing (HPC) and standard PC resources upon hydrodynamic characteristics. The RANS turbulence model with was employed to analyze t…

My profession (software design, programming) makes me so sad currently.
A speedrun to rock bottom chasing non-existing sand sentience with ever more abstruse magical thinking while whole swaths of my peers are masturbating to fascism in hopes of striking it rich.
I hope after the bubble pops and the boomers are gone there will be a reckoning and a reset to making software that actually strives to make human lives better.

A Computational Perspective on NeuroAI and Synthetic Biological Intelligence
Dhruvik Patel, Md Sayed Tanveer, Jesus Gonzalez-Ferrer, Alon Loeffler, Brett J. Kagan, Mohammed A. Mostajo-Radji, Ge Wang
https://arxiv.org/abs/2509.23896

A Computational Perspective on NeuroAI and Synthetic Biological Intelligence
NeuroAI is an emerging field at the intersection of neuroscience and artificial intelligence, where insights from brain function guide the design of intelligent systems. A central area within this field is synthetic biological intelligence (SBI), which combines the adaptive learning properties of biological neural networks with engineered hardware and software. SBI systems provide a platform for modeling neural computation, developing biohybrid architectures, and enabling new forms of embodied …

Blade Antenna-SDR System Prototype for the CANTAR Global 21-cm Experiment: Simulations, Measurements, and In-Situ Results
F. P. Mosquera, J. Rodriguez-Ferreira, E. Acevedo, O. Restrepo, D. Gonzalez, G. Chaparro
https://arxiv.org/abs/2508.18020

Blade Antenna-SDR System Prototype for the CANTAR Global 21-cm Experiment: Simulations, Measurements, and In-Situ Results
We present the design and initial testing of a low-frequency radio telescope prototype developed for the CANTAR (Colombian Antarctic Telescope for 21-cm Absorption during Reionization) experiment. Operating from 100 to 200 MHz, the system integrates a blade dipole antenna inspired by the EDGES high-band design with a software-defined radio (SDR) receiver. We report simulations of antenna impedance and beam chromaticity, along with SDR performance tests (Limenet Mini, Ettus E310, USRP2920). A du…

Exploring the Theory and Practice of Concurrency in the Entity-Component-System Pattern
Patrick Redmond, Jonathan Castello, Jos\'e Manuel Calder\'on Trilla, Lindsey Kuper
https://arxiv.org/abs/2508.15264

Exploring the Theory and Practice of Concurrency in the Entity-Component-System Pattern
The Entity-Component-System (ECS) software design pattern, long used in game development, encourages a clean separation of identity (entities), data properties (components), and computational behaviors (systems). Programs written using the ECS pattern are naturally concurrent, and the pattern offers modularity, flexibility, and performance benefits that have led to a proliferation of ECS frameworks. Nevertheless, the ECS pattern is little-known and not well understood outside of a few domains. …

Open-Source Thermostatic Radiator Valve (OpenTRV) - OpenTRV retrofit open-source reference mechanical/hardware/software design for zoned heating to save carbon and money. #OpenTRV #TRV #heating

Open-Source Thermostatic Radiator Valve (OpenTRV)
OpenTRV retrofit open-source reference mechanical/hardware/software design for zoned heating to save carbon and money. #OpenTRV #TRV #heating #cutCarbon

MACO: A Multi-Agent LLM-Based Hardware/Software Co-Design Framework for CGRAs
Zesong Jiang, Yuqi Sun, Qing Zhong, Mahathi Krishna, Deepak Patil, Cheng Tan, Sriram Krishnamoorthy, Jeff Zhang
https://arxiv.org/abs/2509.13557

MACO: A Multi-Agent LLM-Based Hardware/Software Co-Design Framework for CGRAs
Coarse-grained Reconfigurable Arrays (CGRAs) are a promising computing architecture that can deliver high-performance, energy-efficient acceleration across diverse domains. By supporting reconfiguration at the functional unit level, CGRAs efficiently adapt to varying computational patterns and optimize resource utilization. However, designing CGRAs is highly challenging due to the vast design space, independent architectural parameters, and the time-consuming nature of manual design. Fortunatel…

Flight-Ready Precise and Robust Carrier-Phase GNSS Navigation Software for Distributed Space Systems
Samuel Y. W. Low, Toby Bell, Simone D'Amico
https://arxiv.org/abs/2508.18246

Flight-Ready Precise and Robust Carrier-Phase GNSS Navigation Software for Distributed Space Systems
This paper presents the full requirements analysis, design, development, and testing of high-precision navigation flight software for Distributed Space Systems (DSS) using Carrier Phase Differential GNSS (CDGNSS). Five main contributions are made. First, a survey of flown and upcoming DSS missions with stringent precision requirements is conducted, from which a thorough requirements analysis is distilled to guide development and testing. Second, a real-time navigation functional architecture is…

Certifiably robust malware detectors by design
Pierre-Francois Gimenez, Sarath Sivaprasad, Mario Fritz
https://arxiv.org/abs/2508.10038 https://arxiv.org/p…

Certifiably robust malware detectors by design
Malware analysis involves analyzing suspicious software to detect malicious payloads. Static malware analysis, which does not require software execution, relies increasingly on machine learning techniques to achieve scalability. Although such techniques obtain very high detection accuracy, they can be easily evaded with adversarial examples where a few modifications of the sample can dupe the detector without modifying the behavior of the software. Unlike other domains, such as computer vision,…

Q&A with Notion CEO Ivan Zhao on Notion's evolution into an "AI workspace", being profitable, B2B vs. B2C, usage-based pricing for AI, and more (Casey Newton/The Verge)
https://www.theverge.com/decoder-podcast-w

Notion CEO Ivan Zhao wants you to demand better from your tools
Notion’s Ivan Zhao on AI, productivity, and the future of work.

Agentic AI for Software: thoughts from Software Engineering community
Abhik Roychoudhury
https://arxiv.org/abs/2508.17343 https://arxiv.org/pdf/2508.17343

Agentic AI for Software: thoughts from Software Engineering community
AI agents have recently shown significant promise in software engineering. Much public attention has been transfixed on the topic of code generation from Large Language Models (LLMs) via a prompt. However, software engineering is much more than programming, and AI agents go far beyond instructions given by a prompt. At the code level, common software tasks include code generation, testing, and program repair. Design level software tasks may include architecture exploration, requirements under…

{\mu}Fork: Supporting POSIX fork Within a Single-Address-Space OS
John Alistair Kressel, Hugo Lefeuvre, Pierre Olivier
https://arxiv.org/abs/2509.09439 https://

μFork: Supporting POSIX fork Within a Single-Address-Space OS
Single-address-space operating systems have well-known lightweightness benefits that result from their central design idea: the kernel and applications share a unique address space. This model makes these operating systems (OSes) incompatible by design with a large class of software: multiprocess POSIX applications. Indeed, the semantics of the primitive used to create POSIX processes, fork, are inextricably tied to the existence of multiple address spaces. Prior approaches addressing this is…

Comparing Open-Source and Commercial LLMs for Domain-Specific Analysis and Reporting: Software Engineering Challenges and Design Trade-offs
Theo Koraag, Niklas Wagner, Felix Dobslaw, Lucas Gren
https://arxiv.org/abs/2509.24344

Comparing Open-Source and Commercial LLMs for Domain-Specific Analysis and Reporting: Software Engineering Challenges and Design Trade-offs
Context: Large Language Models (LLMs) enable automation of complex natural language processing across domains, but research on domain-specific applications like Finance remains limited. Objectives: This study explored open-source and commercial LLMs for financial report analysis and commentary generation, focusing on software engineering challenges in implementation. Methods: Using Design Science Research methodology, an exploratory case study iteratively designed and evaluated two LLM-based sy…

Mechanical Automation with Vision: A Design for Rubik's Cube Solver
Abhinav Chalise, Nimesh Gopal Pradhan, Nishan Khanal, Prashant Raj Bista, Dinesh Baniya Kshatri
https://arxiv.org/abs/2508.12469 …

Mechanical Automation with Vision: A Design for Rubik's Cube Solver
The core mechanical system is built around three stepper motors for physical manipulation, a microcontroller for hardware control, a camera and YOLO detection model for real-time cube state detection. A significant software component is the development of a user-friendly graphical user interface (GUI) designed in Unity. The initial state after detection from real-time YOLOv8 model (Precision 0.98443, Recall 0.98419, Box Loss 0.42051, Class Loss 0.2611) is virtualized on GUI. To get the solution…

A vibe coding learning design to enhance EFL students' talking to, through, and about AI
David James Woo, Kai Guo, Yangyang Yu
https://arxiv.org/abs/2509.08854 https://

A vibe coding learning design to enhance EFL students' talking to, through, and about AI
This innovative practice article reports on the piloting of vibe coding (using natural language to create software applications with AI) for English as a Foreign Language (EFL) education. We developed a human-AI meta-languaging framework with three dimensions: talking to AI (prompt engineering), talking through AI (negotiating authorship), and talking about AI (mental models of AI). Using backward design principles, we created a four-hour workshop where two students designed applications addres…

Green Prompt Engineering: Investigating the Energy Impact of Prompt Design in Software Engineering
Vincenzo De Martino, Mohammad Amin Zadenoori, Xavier Franch, Alessio Ferrari
https://arxiv.org/abs/2509.22320

Green Prompt Engineering: Investigating the Energy Impact of Prompt Design in Software Engineering
Language Models are increasingly applied in software engineering, yet their inference raises growing environmental concerns. Prior work has examined hardware choices and prompt length, but little attention has been paid to linguistic complexity as a sustainability factor. This paper introduces Green Prompt Engineering, framing linguistic complexity as a design dimension that can influence energy consumption and performance. We conduct an empirical study on requirement classification using open-…

Open-Source Thermostatic Radiator Valve (OpenTRV) - OpenTRV retrofit open-source reference mechanical/hardware/software design for zoned heating to save carbon and money. #OpenTRV #TRV #heating

Open-Source Thermostatic Radiator Valve (OpenTRV)
OpenTRV retrofit open-source reference mechanical/hardware/software design for zoned heating to save carbon and money. #OpenTRV #TRV #heating #cutCarbon

Building an Open CGRA Ecosystem for Agile Innovation
Rohan Juneja, Pranav Dangi, Thilini Kaushalya Bandara, Zhaoying Li, Dhananjaya Wijerathne, Li-Shiuan Peh, Tulika Mitra
https://arxiv.org/abs/2508.19090

Building an Open CGRA Ecosystem for Agile Innovation
Modern computing workloads, particularly in AI and edge applications, demand hardware-software co-design to meet aggressive performance and energy targets. Such co-design benefits from open and agile platforms that replace closed, vertically integrated development with modular, community-driven ecosystems. Coarse-Grained Reconfigurable Architectures (CGRAs), with their unique balance of flexibility and efficiency are particularly well-suited for this paradigm. When built on open-source hardware…

The AI_INFN Platform: Artificial Intelligence Development in the Cloud
Lucio Anderlini, Giulio Bianchini, Diego Ciangottini, Stefano Dal Pra, Diego Michelotto, Rosa Petrini, Daniele Spiga
https://arxiv.org/abs/2509.22117

The AI_INFN Platform: Artificial Intelligence Development in the Cloud
Machine Learning (ML) is driving a revolution in the way scientists design, develop, and deploy data-intensive software. However, the adoption of ML presents new challenges for the computing infrastructure, particularly in terms of provisioning and orchestrating access to hardware accelerators for development, testing, and production. The INFN-funded project AI_INFN (Artificial Intelligence at INFN) aims at fostering the adoption of ML techniques within INFN use cases by providing support on mu…

Designing and Evaluating AI Margin Notes in Document Reader Software
Nikhita Joshi, Daniel Vogel
https://arxiv.org/abs/2509.09840 https://arxiv.org/pdf/250…

Designing and Evaluating AI Margin Notes in Document Reader Software
AI capabilities for document reader software are usually presented in separate chat interfaces. We explore integrating AI into document comments, a concept we formalize as AI margin notes. Three design parameters characterize this approach: margin notes are integrated with the text while chat interfaces are not; selecting text for a margin note can be automated through AI or manual; and the generation of a margin note can involve AI to various degrees. Two experiments investigate integration an…

Fast End-to-End Simulation and Exploration of Many-RISCV-Core Baseband Transceivers for Software-Defined Radio-Access Networks
Marco Bertuletti, Yichao Zhang, Mahdi Abdollahpour, Samuel Riedel, Alessandro Vanelli-Coralli
https://arxiv.org/abs/2508.06141

Fast End-to-End Simulation and Exploration of Many-RISCV-Core Baseband Transceivers for Software-Defined Radio-Access Networks
The fast-rising demand for wireless bandwidth requires rapid evolution of high-performance baseband processing infrastructure. Programmable many-core processors for software-defined radio (SDR) have emerged as high-performance baseband processing engines, offering the flexibility required to capture evolving wireless standards and technologies. This trend must be supported by a design framework enabling functional validation and end-to-end performance analysis of SDR hardware within realistic r…

Open-Source Thermostatic Radiator Valve (OpenTRV) - OpenTRV retrofit open-source reference mechanical/hardware/software design for zoned heating to save carbon and money. #OpenTRV #TRV #heating

Open-Source Thermostatic Radiator Valve (OpenTRV)
OpenTRV retrofit open-source reference mechanical/hardware/software design for zoned heating to save carbon and money. #OpenTRV #TRV #heating #cutCarbon

Design of a Timer Queue Supporting Dynamic Update Operations
Zekun Wang, Binghao Yue, Weitao Pan, Jiangyi Shi, Yue Hao
https://arxiv.org/abs/2508.10283 https://

Design of a Timer Queue Supporting Dynamic Update Operations
Large-scale timers are ubiquitous in network processing, including flow table entry expiration control in software defined network (SDN) switches, MAC address aging in Ethernet bridges, and retransmission timeout management in TCP/IP protocols. Conventional implementations suffer from critical limitations: low timing accuracy due to large-scale timer traversal and high computational overhead for new timer insertion. This paper presents a hybrid-architecture hardware priority queue based on syst…

Run-Time Monitoring of ERTMS/ETCS Control Flow by Process Mining
Francesco Vitale, Tommaso Zoppi, Francesco Flammini, Nicola Mazzocca
https://arxiv.org/abs/2509.10419 https://…

Run-Time Monitoring of ERTMS/ETCS Control Flow by Process Mining
Ensuring the resilience of computer-based railways is increasingly crucial to account for uncertainties and changes due to the growing complexity and criticality of those systems. Although their software relies on strict verification and validation processes following well-established best-practices and certification standards, anomalies can still occur at run-time due to residual faults, system and environmental modifications that were unknown at design-time, or other emergent cyber-threat sce…

Roadblocks and Opportunities in Quantum Algorithms -- Insights from the National Quantum Initiative Joint Algorithms Workshop, May 20--22, 2024
Eliot Kapit, Peter Love, Jeffrey Larson, Andrew Sornborger, Eleanor Crane, Alexander Schuckert, Teague Tomesh, Frederic Chong, Sabre Kais
https://arxiv.org/abs/2508.13973

Roadblocks and Opportunities in Quantum Algorithms -- Insights from the National Quantum Initiative Joint Algorithms Workshop, May 20--22, 2024
The National Quantum Initiative Joint Algorithms Workshop brought together researchers across academia, national laboratories, and industry to assess the current landscape of quantum algorithms and discuss roadblocks to progress. The workshop featured discussions on emerging algorithmic techniques, resource constraints in near-term hardware, and opportunities for co-design across software and systems. Presented here are seven topics from the workshop, each highlighting a critical challenge or p…

Sustainable AI Training via Hardware-Software Co-Design on NVIDIA, AMD, and Emerging GPU Architectures
Yashasvi Makin, Rahul Maliakkal
https://arxiv.org/abs/2508.13163 https://

Sustainable AI Training via Hardware-Software Co-Design on NVIDIA, AMD, and Emerging GPU Architectures
In particular, large-scale deep learning and artificial intelligence model training uses a lot of computational power and energy, so it poses serious sustainability issues. The fast rise in model complexity has resulted in exponential increases in energy consumption, increasing the demand for techniques maximizing computational efficiency and lowering environmental impact. This work explores environmentally driven performance optimization methods especially intended for advanced GPU architectur…

An Algorithm Architecture for Radio Interferometric Data Processing
S. Bhatnagar, U. Rau, M. Hsieh, J. Kern, R. Xue
https://arxiv.org/abs/2508.17187 https://

An Algorithm Architecture for Radio Interferometric Data Processing
We present a foundational, scalable algorithm architecture for processing data from aperture synthesis radio telescopes. The analysis leading to the architecture is rooted in the theory of aperture synthesis, signal processing and numerical optimization keeping it scalable for variations in computing load, algorithmic complexity, and accommodate the continuing evolution of algorithms. It also adheres to scientific software design principles and use of modern performance engineering techniques p…

Design and Implementation of Code Completion System Based on LLM and CodeBERT Hybrid Subsystem
Bingbing Zhang, Ziyu Lin, Yingxin Su
https://arxiv.org/abs/2509.08215 https://

Design and Implementation of Code Completion System Based on LLM and CodeBERT Hybrid Subsystem
In the rapidly evolving industry of software development, coding efficiency and accuracy play significant roles in delivering high-quality software. Various code suggestion and completion tools, such as CodeBERT from Microsoft and GPT-3.5 from OpenAI, have been developed using deep learning techniques and integrated into IDEs to assist software engineers' development. Research has shown that CodeBERT has outstanding performance in code summarization and capturing code semantics, while GPT-3.5 d…

Open-Source Thermostatic Radiator Valve (OpenTRV) - OpenTRV retrofit open-source reference mechanical/hardware/software design for zoned heating to save carbon and money. #OpenTRV #TRV #heating

Open-Source Thermostatic Radiator Valve (OpenTRV)
OpenTRV retrofit open-source reference mechanical/hardware/software design for zoned heating to save carbon and money. #OpenTRV #TRV #heating #cutCarbon

Substrate-Timing-Independence for Meta-State Stability of Distributed Robotic Swarms
Tinapat Limsila, Mehul Sharma, Paulo Garcia
https://arxiv.org/abs/2509.16492 https://…

Substrate-Timing-Independence for Meta-State Stability of Distributed Robotic Swarms
Emergent properties in distributed systems arise due to timing unpredictability; asynchronous state evolution within each sub-system may lead the macro-system to faulty meta-states. Empirical validation of correctness is often prohibitively expensive, as the size of the state-space is too large to be tractable. In robotic swarms this problem is exacerbated, when compared to software systems, by the variability of the implementation substrate across the design, or even the deployment, process. W…

Runtime Energy Monitoring for RISC-V Soft-Cores
Alberto Scionti, Paolo Savio, Francesco Lubrano, Olivier Terzo, Marco Ferretti, Florin Apopei, Juri Bellucci, Ennio Spano, Luca Carriere
https://arxiv.org/abs/2509.26065

Runtime Energy Monitoring for RISC-V Soft-Cores
Energy efficiency is one of the major concern in designing advanced computing infrastructures. From single nodes to large-scale systems (data centers), monitoring the energy consumption of the computing system when applications run is a critical task. Designers and application developers often rely on software tools and detailed architectural models to extract meaningful information and determine the system energy consumption. However, when a design space exploration is required, designers may …

WIP: Leveraging LLMs for Enforcing Design Principles in Student Code: Analysis of Prompting Strategies and RAG
Dhruv Kolhatkar, Soubhagya Akkena, Edward F. Gehringer
https://arxiv.org/abs/2508.11717

WIP: Leveraging LLMs for Enforcing Design Principles in Student Code: Analysis of Prompting Strategies and RAG
This work-in-progress research-to-practice paper explores the integration of Large Language Models (LLMs) into the code-review process for open-source software projects developed in computer science and software engineering courses. The focus is on developing an automated feedback tool that evaluates student code for adherence to key object-oriented design principles, addressing the need for more effective and scalable methods to teach software design best practices. The innovative practice inv…

Open-Source Thermostatic Radiator Valve (OpenTRV) - OpenTRV retrofit open-source reference mechanical/hardware/software design for zoned heating to save carbon and money. #OpenTRV #TRV #heating

Open-Source Thermostatic Radiator Valve (OpenTRV)
OpenTRV retrofit open-source reference mechanical/hardware/software design for zoned heating to save carbon and money. #OpenTRV #TRV #heating #cutCarbon

Code once, Run Green: Automated Green Code Translation in Serverless Computing
Sebastian Werner, Mathis K\"ahler, Alireza Hakamian
https://arxiv.org/abs/2509.22068 https://…

Code once, Run Green: Automated Green Code Translation in Serverless Computing
The rapid digitization and the increasing use of emerging technologies such as AI models have significantly contributed to the emissions of computing infrastructure. Efforts to mitigate this impact typically focus on the infrastructure level such as powering data centers with renewable energy, or through the specific design of energy-efficient software. However, both strategies rely on stakeholder intervention, making their adoption in legacy and already-deployed systems unlikely. As a result, …

Development of Automated Software Design Document Review Methods Using Large Language Models
Takasaburo Fukuda, Takao Nakagawa, Keisuke Miyazaki, Susumu Tokumoto
https://arxiv.org/abs/2509.09975

Development of Automated Software Design Document Review Methods Using Large Language Models
In this study, we explored an approach to automate the review process of software design documents by using LLM. We first analyzed the review methods of design documents and organized 11 review perspectives. Additionally, we analyzed the issues of utilizing LLMs for these 11 review perspectives and determined which perspectives can be reviewed by current general-purpose LLMs instead of humans. For the reviewable perspectives, we specifically developed new techniques to enable LLMs to comprehend…

Open-Source Thermostatic Radiator Valve (OpenTRV) - OpenTRV retrofit open-source reference mechanical/hardware/software design for zoned heating to save carbon and money. #OpenTRV #TRV #heating

Open-Source Thermostatic Radiator Valve (OpenTRV)
OpenTRV retrofit open-source reference mechanical/hardware/software design for zoned heating to save carbon and money. #OpenTRV #TRV #heating #cutCarbon

Wanilla: Sound Noninterference Analysis for WebAssembly
Markus Scherer, Jeppe Fredsgaard Blaabjerg, Alexander Sj\"osten, Matteo Maffei
https://arxiv.org/abs/2509.08758 http…

Wanilla: Sound Noninterference Analysis for WebAssembly
WebAssembly (Wasm) is rapidly gaining popularity as a distribution format for software components embedded in various security-critical domains. Unfortunately, despite its prudent design, WebAssembly's primary use case as a compilation target for memory-unsafe languages leaves some possibilities for memory corruption. Independently of that, Wasm is an inherently interesting target for information flow analysis due to its interfacing role. Both the information flows between a Wasm module and i…

Automatic Microarchitecture-Aware Custom Instruction Design for RISC-V Processors
Evgenii Rezunov, Niko Zurstra{\ss}en, Lennart M. Reimann, Rainer Leupers
https://arxiv.org/abs/2509.15782

Automatic Microarchitecture-Aware Custom Instruction Design for RISC-V Processors
An Application-Specific Instruction Set Processor(ASIP) is a specialized microprocessor that provides a trade-off between the programmability of a General Purpose Processor (GPP) and the performance and energy-efficiency of dedicated hardware accelerators. ASIPs are often derived from off-the-shelf GPPs extended by custom instructions tailored towards a specific software workload. One of the most important challenges of designing an ASIP is to find said custom instructions that help to increase…

AI Where It Matters: Where, Why, and How Developers Want AI Support in Daily Work
Rudrajit Choudhuri, Carmen Badea, Christian Bird, Jenna Butler, Rob DeLine, Brian Houck
https://arxiv.org/abs/2510.00762

AI Where It Matters: Where, Why, and How Developers Want AI Support in Daily Work
Generative AI is reshaping software work, yet we lack clear guidance on where developers most need and want support, and how to design it responsibly. We report a large-scale, mixed-methods study of N=860 developers that examines where, why, and how they seek or limit AI help, providing the first task-aware, empirically validated mapping from developers' perceptions of their tasks to AI adoption patterns and responsible AI priorities. Using cognitive appraisal theory, we show that task evaluati…

Towards an Architectural Perspective for Sustainability: Bundle the Needs from Industry
Markus Funke, Patricia Lago
https://arxiv.org/abs/2508.20774 https://

Towards an Architectural Perspective for Sustainability: Bundle the Needs from Industry
Sustainability is increasingly recognized as an emerging quality property in software-intensive systems, yet architects lack structured guidance to address it effectively throughout the software design phase. Architectural perspectives-an architectural knowledge artifact composed of concerns, activities, tactics, pitfalls, and checklists-offer a promising approach to tackle such emerging quality properties across architectural views and are also independent of architecture frameworks and indust…

Lowering Barriers to CAD Adoption: A Comparative Study of Augmented Reality-Based CAD (AR-CAD) and a Traditional CAD tool
Muhammad Talha, Abdullah Mohiuddin, Sehrish Javed, Ahmed Jawad Qureshi
https://arxiv.org/abs/2510.12146

Lowering Barriers to CAD Adoption: A Comparative Study of Augmented Reality-Based CAD (AR-CAD) and a Traditional CAD tool
The paper presents a comparative user study between an Augmented Reality-based Computer-Aided Design (AR-CAD) system and a traditional computer-based CAD modeling software, SolidWorks. Twenty participants of varying skill levels performed 3D modeling tasks using both systems. The results showed that while the average task completion time is comparable for both groups, novice designers had a higher completion rate in AR-CAD than in the traditional CAD interface, and experienced designers had a s…

Dalek: An Unconventional and Energy-Aware Heterogeneous Cluster
Adrien Cassagne (ALSOC), No\'e Amiot (ALSOC), Manuel Bouyer (ALSOC)
https://arxiv.org/abs/2508.10481 https://…

Dalek: An Unconventional and Energy-Aware Heterogeneous Cluster
Dalek is an experimental compute cluster designed to evaluate the performance of heterogeneous, consumer-grade hardware for software design, prototyping, and algorithm development. In contrast to traditional computing centers that rely on costly, server-class components, Dalek integrates CPUs and GPUs typically found in mini-PCs, laptops, and gaming desktops, providing a cost-effective yet versatile platform. This document details the cluster's architecture and software stack, and presents resu…

Towards the Next Generation of Software: Insights from Grey Literature on AI-Native Applications
Lingli Cao, Shanshan Li, Ying Fan, Danyang Li, Chenxing Zhong
https://arxiv.org/abs/2509.13144

Towards the Next Generation of Software: Insights from Grey Literature on AI-Native Applications
Background: The rapid advancement of large language models (LLMs) has given rise to AI-native applications, a new paradigm in software engineering that fundamentally redefines how software is designed, developed, and evolved. Despite their growing prominence, AI-native applications still lack a unified engineering definition and architectural blueprint, leaving practitioners without systematic guidance for system design, quality assurance, and technology selection. Objective: This study seeks…

Devstral: Fine-tuning Language Models for Coding Agent Applications
Abhinav Rastogi, Adam Yang, Albert Q. Jiang, Alexander H. Liu, Alexandre Sablayrolles, Am\'elie H\'eliou, Am\'elie Martin, Anmol Agarwal, Andy Ehrenberg, Andy Lo, Antoine Roux, Arthur Darcet, Arthur Mensch, Baptiste Bout, Baptiste Rozi\`ere, Baudouin De Monicault, Chris Bamford, Christian Wallenwein, Christophe Renaudin, Cl\'emence Lanfranchi, Cl\'ement Denoix, Corentin Barreau, Darius Dabert Devon …

Devstral: Fine-tuning Language Models for Coding Agent Applications
We introduce Devstral-Small, a lightweight open source model for code agents with the best performance among models below 100B size. In this technical report, we give an overview of how we design and develop a model and craft specializations in agentic software development. The resulting model, Devstral-Small is a small 24B model, fast and easy to serve. Despite its size, Devstral-Small still attains competitive performance compared to models more than an order of magnitude larger.

Are UX evaluation methods truly accessible
Andr\'es Eduardo Fuentes-Cort\'azar, Alejandra Rivera-Hern\'andez, Jos\'e Rafael Rojano-C\'aceres
https://arxiv.org/abs/2508.07620

Are UX evaluation methods truly accessible
Providing an equitable and inclusive user experience (UX) for people with disabilities (PWD) is a central goal of accessible design. In the specific case of Deaf users, whose hearing impairments impact language development and communication, it is essential to consider their specific needs during software evaluation processes. This study aimed to analyze a set of UX evaluation methods suggested in the literature as suitable for Deaf individuals, with the goal of validating their level of access…

Towards a Taxonomy of Sustainability Requirements for Software Design
Mandira Roy, Novarun Deb, Nabendu Chaki, Agostino Cortesi
https://arxiv.org/abs/2510.08990 https://

Towards a Taxonomy of Sustainability Requirements for Software Design
Software systems are a significant contributor to global sustainability concerns, demanding that environmental, social, technical, and economic factors be systematically addressed from the initial requirements engineering phase. Although existing research provides various sustainability requirements (SRs), these contributions are often fragmented, specific to certain dimensions, or limited to particular application domains, resulting in a critical lack of a unified, comprehensive taxonomy for t…

Crosslisted article(s) found for cs.DC. https://arxiv.org/list/cs.DC/new
[1/1]:
- Sustainable AI Training via Hardware-Software Co-Design on NVIDIA, AMD, and Emerging GPU Architec...
Yashasvi Makin, Rahul Maliakkal

The (C)omprehensive (A)rchitecture (P)attern (I)ntegration method: Navigating the sea of technology
Sebastian Copei, Oliver Hohlfeld, Jens Kosiol
https://arxiv.org/abs/2508.16341

The (C)omprehensive (A)rchitecture (P)attern (I)ntegration method: Navigating the sea of technology
The technological landscape changes daily, making it nearly impossible for a single person to be aware of all trends or available tools that may or may not be suitable for their software project. This makes tool selection and architectural design decisions a complex problem, especially for large-scale software systems. To tackle this issue, we introduce CAPI, the Comprehensive Architecture Pattern Integration method that uses a diagnostic decision tree to suggest architectural patterns dependin…

Replaced article(s) found for cs.AR. https://arxiv.org/list/cs.AR/new
[1/1]:
- MACO: A Multi-Agent LLM-Based Hardware/Software Co-Design Framework for CGRAs
Jiang, Sun, Zhong, Krishna, Patil, Tan, Krishnamoorthy, Zhang

Evaluating Large Language Models for Code Translation: Effects of Prompt Language and Prompt Design
Aamer Aljagthami, Mohammed Banabila, Musab Alshehri, Mohammed Kabini, Mohammad D. Alahmadi
https://arxiv.org/abs/2509.12973

Evaluating Large Language Models for Code Translation: Effects of Prompt Language and Prompt Design
Large language models (LLMs) have shown promise for automated source-code translation, a capability critical to software migration, maintenance, and interoperability. Yet comparative evidence on how model choice, prompt design, and prompt language shape translation quality across multiple programming languages remains limited. This study conducts a systematic empirical assessment of state-of-the-art LLMs for code translation among C++, Java, Python, and C#, alongside a traditional baseline (Tra…

Foundational Design Principles and Patterns for Building Robust and Adaptive GenAI-Native Systems
Frederik Vandeputte
https://arxiv.org/abs/2508.15411 https://

Foundational Design Principles and Patterns for Building Robust and Adaptive GenAI-Native Systems
Generative AI (GenAI) has emerged as a transformative technology, demonstrating remarkable capabilities across diverse application domains. However, GenAI faces several major challenges in developing reliable and efficient GenAI-empowered systems due to its unpredictability and inefficiency. This paper advocates for a paradigm shift: future GenAI-native systems should integrate GenAI's cognitive capabilities with traditional software engineering principles to create robust, adaptive, and effici…

From Law to Gherkin: A Human-Centred Quasi-Experiment on the Quality of LLM-Generated Behavioural Specifications from Food-Safety Regulations
Shabnam Hassani, Mehrdad Sabetzadeh, Daniel Amyot
https://arxiv.org/abs/2508.20744

From Law to Gherkin: A Human-Centred Quasi-Experiment on the Quality of LLM-Generated Behavioural Specifications from Food-Safety Regulations
Context: Laws and regulations increasingly affect software design and quality assurance, but legal texts are written in technology-neutral language. This creates challenges for engineers who must develop compliance artifacts such as requirements and acceptance criteria. Manual creation is labor-intensive, error-prone, and requires domain expertise. Advances in Generative AI (GenAI), especially Large Language Models (LLMs), offer a way to automate deriving such artifacts. Objective: We present…

SuperUROP: An FPGA-Based Spatial Accelerator for Sparse Matrix Operations
Rishab Parthasarathy
https://arxiv.org/abs/2509.11529 https://arxiv.org/pdf/2509.…

SuperUROP: An FPGA-Based Spatial Accelerator for Sparse Matrix Operations
Solving sparse systems of linear equations is a fundamental problem in the field of numerical methods, with applications spanning from circuit design to urban planning. These problems can have millions of constraints, such as when laying out transistors on a circuit, or trying to optimize traffic light timings, making fast sparse solvers extremely important. However, existing state-of-the-art software-level solutions for solving sparse linear systems, termed iterative solvers, are extremely ine…

The EmpathiSEr: Development and Validation of Software Engineering Oriented Empathy Scales
Hashini Gunatilake, John Grundy, Rashina Hoda, Ingo Mueller
https://arxiv.org/abs/2510.12546

The EmpathiSEr: Development and Validation of Software Engineering Oriented Empathy Scales
Empathy plays a critical role in software engineering (SE), influencing collaboration, communication, and user-centred design. Although SE research has increasingly recognised empathy as a key human aspect, there remains no validated instrument specifically designed to measure it within the unique socio-technical contexts of SE. Existing generic empathy scales, while well-established in psychology and healthcare, often rely on language, scenarios, and assumptions that are not meaningful or inte…

SEER: Sustainability Enhanced Engineering of Software Requirements
Mandira Roy, Novarun Deb, Nabendu Chaki, Agostino Cortesi
https://arxiv.org/abs/2510.08981 https://

SEER: Sustainability Enhanced Engineering of Software Requirements
The rapid expansion of software development has significant environmental, technical, social, and economic impacts. Achieving the United Nations Sustainable Development Goals by 2030 compels developers to adopt sustainable practices. Existing methods mostly offer high-level guidelines, which are time-consuming to implement and rely on team adaptability. Moreover, they focus on design or implementation, while sustainability assessment should start at the requirements engineering phase. In this p…

Code Difference Guided Fuzzing for FPGA Logic Synthesis Compilers via Bayesian Optimization
Zhihao Xu, Shikai Guo, Guilin Zhao, Peiyu Zou, Siwen Wang, Qian Ma, Hui Li, Furui Zhan
https://arxiv.org/abs/2508.17713

Code Difference Guided Fuzzing for FPGA Logic Synthesis Compilers via Bayesian Optimization
Field Programmable Gate Arrays (FPGAs) play a crucial role in Electronic Design Automation (EDA) applications, which have been widely used in safety-critical environments, including aerospace, chip manufacturing, and medical devices. A critical step in FPGA development is logic synthesis, which enables developers to translate their software designs into hardware net lists, which facilitates the physical implementation of the chip, detailed timing and power analysis, gate-level simulation, test …

What Slows Down FMware Development? An Empirical Study of Developer Challenges and Resolution Times
Zitao Wang, Zhimin Zhao, Michael W. Godfrey
https://arxiv.org/abs/2510.11138 …

What Slows Down FMware Development? An Empirical Study of Developer Challenges and Resolution Times
Foundation Models (FMs), such as OpenAI's GPT, are fundamentally transforming the practice of software engineering by enabling the development of \emph{FMware} -- applications and infrastructures built around these models. FMware systems now support tasks such as code generation, natural-language interaction, knowledge integration, and multi-modal content creation, underscoring their disruptive impact on current software engineering workflows. However, the design, implementation, and evolution …

Evolution of Kernels: Automated RISC-V Kernel Optimization with Large Language Models
Siyuan Chen, Zhichao Lu, Qingfu Zhang
https://arxiv.org/abs/2509.14265 https://

Evolution of Kernels: Automated RISC-V Kernel Optimization with Large Language Models
Automated kernel design is critical for overcoming software ecosystem barriers in emerging hardware platforms like RISC-V. While large language models (LLMs) have shown promise for automated kernel optimization, demonstrating success in CUDA domains with comprehensive technical documents and mature codebases, their effectiveness remains unproven for reference-scarce domains like RISC-V. We present Evolution of Kernels (EoK), a novel LLM-based evolutionary program search framework that automates…

A Taxonomy of Prompt Defects in LLM Systems
Haoye Tian, Chong Wang, BoYang Yang, Lyuye Zhang, Yang Liu
https://arxiv.org/abs/2509.14404 https://arxiv.org/p…

A Taxonomy of Prompt Defects in LLM Systems
Large Language Models (LLMs) have become key components of modern software, with prompts acting as their de-facto programming interface. However, prompt design remains largely empirical and small mistakes can cascade into unreliable, insecure, or inefficient behavior. This paper presents the first systematic survey and taxonomy of prompt defects, recurring ways that prompts fail to elicit their intended behavior from LLMs. We organize defects along six dimensions: (1) Specification and Intent, …

Good Vibrations? A Qualitative Study of Co-Creation, Communication, Flow, and Trust in Vibe Coding
Veronica Pimenova, Sarah Fakhoury, Christian Bird, Margaret-Anne Storey, Madeline Endres
https://arxiv.org/abs/2509.12491

Good Vibrations? A Qualitative Study of Co-Creation, Communication, Flow, and Trust in Vibe Coding
Vibe coding, a term coined by Andrej Karpathy in February 2025, has quickly become a compelling and controversial natural language programming paradigm in AI-assisted software development. Centered on iterative co-design with an AI assistant, vibe coding emphasizes flow and experimentation over strict upfront specification. While initial studies have begun to explore this paradigm, most focus on analyzing code artifacts or proposing theories with limited empirical backing. There remains a need …

SLD-Spec: Enhancement LLM-assisted Specification Generation for Complex Loop Functions via Program Slicing and Logical Deletion
Zehan Chen, Long Zhang, Zhiwei Zhang, JingJing Zhang, Ruoyu Zhou, Yulong Shen, JianFeng Ma, Lin Yang
https://arxiv.org/abs/2509.09917

SLD-Spec: Enhancement LLM-assisted Specification Generation for Complex Loop Functions via Program Slicing and Logical Deletion
Automatically generating formal specifications from program code can greatly enhance the efficiency of program verification and enable end-to-end automation from requirements to reliable software. However, existing LLM-based approaches often struggle with programs that include complex loop structures, leading to irrelevant specifications. Moreover, the rigorous proof obligations and design constraints imposed by verification tools can further result in incomplete and ambiguous specifications. T…