Institute of Software

Hamiltonian-Aware ADAPT Variational Quantum Eigensolver for Molecular Ground-State Simulation

Abstract Designing compact ansätze for the Variational Quantum Eigensolver (VQE) is crucial for calculating energies of large molecules on near-term quantum devices. However, the widely used Adaptive Derivative-Assembled Pseudo-Trotter (ADAPT) ansätze present two challenges: th...

MOCA: A Hierarchical Semantic-Enhanced Code Edit Framework for Multilingual Code Co-Evolution

Multilingual code co-evolution aims to propagate code edits across programming languages while preserving functional consistency, yet the task remains challenging in real-world repositories. Our motivating examples reveal two key challenges: (1) Existing models fail to infer the...

Social simulations with large language model risk Utopian illusion

Reliable simulation of human behaviour is essential for explaining, predicting, and intervening in our society. Recent advances in large language models (LLMs) have shown promise in emulating human behaviours, interactions, and decision-making, offering a powerful new lens for so...

Contamination Means Overestimation? A Fine-Grained Empirical Study in Code Intelligence

In recent years, code intelligence has gained increasing importance in the field of automated software engineering. Meanwhile, the widespread adoption of Pretrained Language Models (PLMs) and Large Language Models (LLMs) has raised concerns regarding data contamination and its po...

Guarding the Lifeline: A First Look and Automated Defect Diagnosis for ROS Central Index

The Robot Operating System (ROS) relies on a centralized dependency index, the rosdistro central index , to manage packages across its heterogeneous software ecosystem, which integrates independently evolving Operating System (OS) repositories for system libraries, ROS repositori...

FuncDroid: Towards Inter-functional Flows for Comprehensive Mobile App GUI Testing

As mobile application (app) functionalities grow increasingly complex and their iterations accelerate, ensuring high reliability presents significant challenges. While functionality-oriented GUI testing has attracted growing research attention, existing approaches largely overloo...

Systematically Cover SQL Syntactic Structures via 𝑘-Sequence

Testing Relational Database Management Systems (RDBMSs) is inherently challenging because SQL, the primary language for interacting with RDBMSs, exhibits a vast and highly complex grammar with hundreds of interdependent production rules in the Extended Backus--Naur Form. While ex...

Quantum Uncomputation of Clean and Dirty Ancilla Qubits

Automatic uncomputation aims to provide programming-language-level support to facilitate the correct and safe use of ancilla qubits in quantum computing, but efforts have only been made for clean ancillas, leaving dirty ancillas unexplored. We present a unified formalization of t...

PnPSelect: Plug-and-Play IoT Device Selection Using Ultra-Wideband Signals

In recent years, the number of Internet of Things (IoT) devices in smart homes has rapidly increased. A key challenge affecting user experience is how to enable users to efficiently and intuitively select the devices they wish to control. This paper proposes PnPSelect, a plug-and...

Commodity WiFi Can Capture Your Respiration Even the Motion Interference Exists

As one widely used wireless technique, WiFi has the potential to perform non-contact monitoring of respiration. While pioneering works have demonstrated promising performance, they inevitably ignore the impact of pervasive motion interference caused by non-target body areas or ne...

ClarifySTL: An Interactive LLM Agent Framework for STL Transformation through Requirements Clarification

Signal Temporal Logic (STL) is a formal language for specifying real-time behaviors of cyber-physical systems (CPS). Automatically transforming natural language requirements into STL specifications has received growing attention. Recent efforts leveraging large language models (L...

GPU-accelerated finite-element method for the three-dimensional unstructured mesh atmospheric dynamic framework

Abstract. The three-dimensional unstructured-mesh finite-element atmospheric dynamical framework is gaining significance owing to its flexibility in representing complex topography and capability for multi-scale simulations in high resolutions. However, this framework has substan...

Class based classification for network intrusion detection

Accurate prediction of intrusion attacks is crucial in the era of Internet of Things to detect and respond promptly to suspicious activities to minimise the damage caused by those attacks. The instances of attacks are always much less than normal traffic and machine learning mode...