English
Related papers

Related papers: QUTest: A Native Testing Framework for Quantum Pro…

200 papers

The rise of quantum computing has driven the need for quantum software engineering, yet its programming landscape remains largely unexplored in empirical research. As quantum technologies advance toward industrial adoption, understanding…

Software Engineering · Computer Science 2025-03-10 Arif Ali Khan , Boshuai Ye , Muhammad Azeem Akbar , Javed Ali Khan , Davoud Mougouei , Xinyuan Ma

The rapid development of quantum computing (QC) in the NISQ era urgently demands a low-level benchmark suite and insightful evaluation metrics for characterizing the properties of prototype NISQ devices, the efficiency of QC programming…

Quantum Physics · Physics 2022-05-10 Ang Li , Samuel Stein , Sriram Krishnamoorthy , James Ang

In this paper, we introduce the workflow for converting qubit circuits represented by Open Quantum ASseMbly format (OpenQASM, also known as QASM) into the qudit form for execution on qudit hardware and provide a method for translating qudit…

Quantum programs are designed to run on quantum computers, leveraging quantum circuits to solve problems that are intractable for classical machines. As quantum computing advances, ensuring the reliability of quantum programs has become…

Software Engineering · Computer Science 2025-09-08 Tiancheng Jin , Shangzhou Xia , Jianjun Zhao

Quantum computers are available to use over the cloud, but the recent explosion of quantum software platforms can be overwhelming for those deciding on which to use. In this paper, we provide a current picture of the rapidly evolving…

Quantum Physics · Physics 2019-03-26 Ryan LaRose

Qiskit is an open-source quantum computing framework that allows users to design, simulate, and run quantum circuits on real quantum hardware. We explore post-training techniques for LLMs to assist in writing Qiskit code. We introduce…

Quantum Physics · Physics 2025-08-29 Nicolas Dupuis , Adarsh Tiwari , Youssef Mroueh , David Kremer , Ismael Faro , Juan Cruz-Benito

CoqQ is a framework for reasoning about quantum programs in the Coq proof assistant. Its main components are: a deeply embedded quantum programming language, in which classic quantum algorithms are easily expressed, and an expressive…

Programming Languages · Computer Science 2022-07-26 Li Zhou , Gilles Barthe , Pierre-Yves Strub , Junyi Liu , Mingsheng Ying

In recent years, software engineers have explored ways to assist quantum software programmers. Our goal in this paper is to continue this exploration and see if quantum software programmers deal with some problems plaguing classical…

Software Engineering · Computer Science 2023-12-05 Lei Zhang , Mahsa Radnejad , Andriy Miranskyy

In this paper, we present the Quantum Information Software Developer Kit - Qiskit, for teaching quantum computing to undergraduate students, with basic knowledge of quantum mechanics postulates. We focus on presenting the construction of…

Large Language Models (LLMs) are increasingly used for code generation, yet quantum code generation is still evaluated mostly within single frameworks, making it difficult to separate quantum reasoning from framework familiarity. We…

Flaky tests, tests that pass or fail nondeterministically without changes to code or environment, pose a serious threat to software reliability. While classical software engineering has developed a rich body of dynamic and static techniques…

Software Engineering · Computer Science 2025-12-29 Dongchan Kim , Hamidreza Khoramrokh , Lei Zhang , Andriy Miranskyy

We present QSystem, an open-source platform for the simulation of quantum circuits focused on bitwise operations on a Hashmap data structure storing quantum states and gates. QSystem is implemented in C++ and delivered as a Python module,…

Quantum Physics · Physics 2020-04-08 Evandro Chagas Ribeiro da Rosa , Bruno G. Taketani

Quantum computing exploits quantum phenomena such as superposition and entanglement to realize a form of parallelism that is not available to traditional computing. It offers the potential of significant computational speed-ups in quantum…

Exploiting the properties of quantum information to the benefit of machine learning models is perhaps the most active field of research in quantum computation. This interest has supported the development of a multitude of software…

Quantum Physics · Physics 2023-10-24 Francesco Di Marcantonio , Massimiliano Incudini , Davide Tezza , Michele Grossi

One of the most fundamental aspects of quantum circuit design is the concept of families of circuits parametrized by an instance size. As in classical programming, metaprogramming allows the programmer to write entire families of circuits…

Quantum Physics · Physics 2019-08-08 Matthew Amy

We describe Qiskit, a software development kit for quantum information science. We discuss the key design decisions that have shaped its development, and examine the software architecture and its core components. We demonstrate an…

Commercially available Noisy Intermediate-Scale Quantum (NISQ) devices now make small hybrid quantum-classical experiments practical, but many tools hide configuration or demand ad-hoc scripting. We introduce the Quantum Experiment…

Quantum Physics · Physics 2025-11-07 Vincent Gierisch , Wolfgang Mauerer

As quantum internet technologies develop, the need for simulation software and education for quantum internet rises. QuNetSim aims to fill this need. QuNetSim is a Python software framework that can be used to simulate quantum networks up…

Quantum Physics · Physics 2022-09-13 Stephen DiAdamo , Janis Nötzel , Benjamin Zanger , Mehmet Mert Beşe

Most existing quantum programming languages are based on the quantum circuit model of computation, as higher-level abstractions are particularly challenging to implement - especially ones relating to quantum control flow. The Qunity…

Programming Languages · Computer Science 2025-10-14 Mikhail Mints , Finn Voichick , Leonidas Lampropoulos , Robert Rand

Quantum software testing introduces new challenges that differ fundamentally from those in classical software engineering. Aims: This study investigates how the quantum software industry defines testing roles and what skills are expected…

Software Engineering · Computer Science 2026-02-24 Ronnie de Souza Santos , Maria Teresa Baldassarre , Cesar França