English
Related papers

Related papers: $Q|SI\rangle$: A Quantum Programming Environment

200 papers

The use of classical computers to simulate quantum computing has been successful in aiding the study of quantum algorithms and circuits that are too complex to examine analytically. Current implementations of quantum computing simulators…

Developing state-of-the-art classical simulators of quantum circuits is of utmost importance to test and evaluate early quantum technology and understand the true potential of full-blown error-corrected quantum computers. In the past few…

Quantum Physics · Physics 2022-01-03 Salvatore Mandrà , Jeffrey Marshall , Eleanor G. Rieffel , Rupak Biswas

This paper presents a novel semantics for a quantum programming language by operator algebras, which are known to give a formulation for quantum theory that is alternative to the one by Hilbert spaces. We show that the opposite category of…

Logic in Computer Science · Computer Science 2014-12-31 Kenta Cho

In this paper, we conduct a systematic literature review of (semi-) automated approaches to Quantum Software Engineering (QSE) and Quantum Artificial Intelligence (QAI). Prior work in the literature indicated that both Software Engineering…

Software Engineering · Computer Science 2026-04-23 Nazanin Siavash , Armin Moin

Recent computations involving quantum processing units (QPUs) have demonstrated a series of challenges inherent to hybrid classical-quantum programming, compilation, execution, and verification and validation. Despite considerable progress,…

Quantum Physics · Physics 2018-05-24 Alexander McCaskey , Eugene Dumitrescu , Dmitry Liakh , Travis Humble

Quantum networks are advancing the information technology infrastructure of society. Simulation and emulation software tools have emerged to support the design, development, and deployment of quantum networks, however, classical simulation…

Quantum Physics · Physics 2026-03-03 Brian Doolittle , Michael Cubeddu

We present an imperative quantum programming language LanQ which was designed to support combination of quantum and classical programming and basic process operations - process creation and interprocess communication. The language can thus…

Quantum Physics · Physics 2016-09-08 Hynek Mlnarik

The goal of the presented paper is to provide an introduction to the basic computational models used in quantum information theory. We review various models of quantum Turing machine, quantum circuits and quantum random access machine…

Programming Languages · Computer Science 2011-12-06 J. A. Miszczak

Quantum computing is the process of performing calculations using quantum mechanics. This field studies the quantum behavior of certain subatomic particles for subsequent use in performing calculations, as well as for large-scale…

Quantum Physics · Physics 2023-12-07 David Peral García , Juan Cruz-Benito , Francisco José García-Peñalvo

Quantum computing is an emerging field recognized for the significant speedup it offers over classical computing through quantum algorithms. However, designing and implementing quantum algorithms pose challenges due to the complex nature of…

Quantum Physics · Physics 2025-12-17 Rui Yang , Ziruo Wang , Yuntian Gu , Tianyi Chen , Yitao Liang , Tongyang Li

In this work, we describe the design and architecture of the open-source Quantum Engine Compiler (qe-compiler) currently used in production for IBM Quantum systems. The qe-compiler is built using LLVM's Multi-Level Intermediate…

Quantum software systems are emerging software engineering (SE) genre that exploit principles of quantum bits (Qubit) and quantum gates (Qgates) to solve complex computing problems that today classic computers can not effectively do in a…

The next generation of distributed quantum processors combines single-location quantum computing and quantum networking techniques to permit large entangled qubit groups to be established through remote processors, and quantum algorithms…

Quantum Physics · Physics 2026-04-07 Le Chang , Saitej Yavvari , Rance Cleaveland , Samik Basu , Runzhou Tao , Liyi Li

The quantum assembly language (QASM) is a popular intermediate representation used in many quantum compilation and simulation tools to describe quantum circuits. Currently, multiple different dialects of QASM are used in different quantum…

Quantum Physics · Physics 2018-05-25 N. Khammassi , G. G. Guerreschi , I. Ashraf , J. W. Hogaboam , C. G. Almudever , K. Bertels

Quantum computing is increasingly practiced through programming, yet most educational offerings emphasize algorithmic or framework-level use rather than software engineering concerns such as testing, abstraction, tooling, and lifecycle…

Software Engineering · Computer Science 2026-04-28 Andriy Miranskyy

This work presents a comprehensive overview of variational quantum computing and their key role in advancing quantum simulation. This work explores the simulation of quantum systems and sets itself apart from approaches centered on…

Quantum Physics · Physics 2026-02-04 Lucas Q. Galvão , Anna Beatriz M. de Souza , Marcelo A. Moret , Clebson Cruz

As quantum computers of non-trivial size become available in the near future, it is imperative to develop tools to emulate small quantum computers. This allows for validation and debugging of algorithms as well as exploring…

Quantum Physics · Physics 2018-01-24 Thomas Häner , Damian S. Steiger , Mikhail Smelyanskiy , Matthias Troyer

Quantum computing is rapidly progressing from theoretical promise to practical implementation, offering significant computational advantages for tasks in optimization, simulation, cryptography, and machine learning. However, its integration…

This paper gives an introduction to and overview of the functional quantum programming language QML. The syntax of this language is defined and explained, along with a new QML definition of the quantum teleport algorithm. The categorical…

Quantum Physics · Physics 2008-07-21 Jonathan Grattage

Quantum++ is a modern general-purpose multi-threaded quantum computing library written in C++11 and composed solely of header files. The library is not restricted to qubit systems or specific quantum information processing tasks, being…

Quantum Physics · Physics 2018-12-12 Vlad Gheorghiu