English
Related papers

Related papers: Jaqal, the Quantum Assembly Language for QSCOUT

200 papers

The amount of large-scale scientific computing software is dramatically increasing. In this work, we designed a new language, named feature query language (FQL), to collect and extract software features from a quick static code analysis. We…

Software Engineering · Computer Science 2019-05-24 Weijian Zheng , Dali Wang , Fengguang Song

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

Quantum computing, an innovative computing system carrying prominent processing rate, is meant to be the solutions to problems in many fields. Among these realms, the most intuitive application is to help chemical researchers correctly…

Quantum Physics · Physics 2022-12-29 Qingchun Wang , Huan-Yu Liu , Qing-Song Li , Jianyu Zhao , Qiankun Gong , Ye Li , Yu-Chun Wu , Guo-Ping Guo

We present the quantum programming language cQPL which is an extended version of QPL [P. Selinger, Math. Struct. in Comp. Sci. 14(4):527-586, 2004]. It is capable of quantum communication and it can be used to formulate all possible quantum…

Quantum Physics · Physics 2007-05-23 Wolfgang Mauerer

In this work we introduce Qumin, a novel quantum programming language with a focus on providing an easy to use, minimalist, high-level, and easily extensible platform for quantum programming. Qumin's design concentrates on encompassing the…

Programming Languages · Computer Science 2017-04-17 Alexander Singh , Konstantinos Giannakis , Theodore Andronikos

Quantum computing, with its vast potential, is fundamentally shaped by the intricacies of quantum mechanics, which both empower and constrain its capabilities. The development of a universal, robust quantum programming language has emerged…

Quantum Physics · Physics 2025-06-03 Viktorija Bezganovic , Marco Lewis , Sadegh Soudjani , Paolo Zuliani

To bridge the gap between limited hardware access and the huge demand for experiments for Noisy Intermediate-Scale Quantum (NISQ) computing system study, a simulator which can capture the modeling of both the quantum processor and its…

Quantum Physics · Physics 2019-05-08 Gushu Li , Yufei Ding , Yuan Xie

Quantum computing is getting increasing interest from both academia and industry, and the quantum software landscape has been growing rapidly. The quantum software stack comprises quantum programs, implementing algorithms, and platforms…

Software Engineering · Computer Science 2024-10-02 Matteo Paltenghi , Michael Pradel

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 model (LLM)-based tools such as ChatGPT seem useful for classical programming assignments. The more specialized the field, the more likely they lack reliability because of the lack of data to train them. In the case of…

Computation and Language · Computer Science 2025-03-10 Yaiza Aragonés-Soria , Manuel Oriol

In this paper, we present QPack, a universal benchmark for Noisy Intermediate-Scale Quantum (NISQ) computers based on Quantum Approximate Optimization Algorithms (QAOA). Unlike other evaluation metrics in the field, this benchmark evaluates…

Emerging Technologies · Computer Science 2022-04-20 Koen Mesman , Zaid Al-Ars , Matthias Möller

Static Application Security Testing tools help developers find security vulnerabilities before release, but they often produce many false positives. This increases manual review effort, reduces developer trust, and may cause real…

Cryptography and Security · Computer Science 2026-05-05 Mohd Ruhul Ameen , Md Takrim Ul Alam , Akif Islam

As interest in quantum computing grows, there is a pressing need for standardized API's so that algorithm designers, circuit designers, and physicists can be provided a common reference frame for designing, executing, and optimizing…

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

Quilc is an open-source, optimizing compiler for gate-based quantum programs written in Quil or QASM, two popular quantum programming languages. The compiler was designed with attention toward NISQ-era quantum computers, specifically…

Quantum Physics · Physics 2020-04-01 Robert S. Smith , Eric C. Peterson , Mark G. Skilbeck , Erik J. Davis

This paper presents the definition and implementation of a quantum computer architecture to enable creating a new computational device - a quantum computer as an accelerator. In this paper, we present explicitly the idea of a quantum…

Quantum Physics · Physics 2020-10-20 K. Bertels , A. Sarkar , A. A. Mouedenne , T. Hubregtsen , A. Yadav , A. Krol , I. Ashraf

The presented paper describes QSWalk.jl package for Julia programming language, developed for the purpose of simulating the evolution of open quantum systems. The package enables the study of quantum procedures developed using stochastic…

Quantum Physics · Physics 2018-11-20 Adam Glos , Jarosław Adam Miszczak , Mateusz Ostaszewski

Quantum entanglement plays a crucial role in quantum computing. Entangling information has important implications for understanding the behavior of quantum programs and avoiding entanglement-induced errors. Entanglement analysis is a static…

Software Engineering · Computer Science 2023-04-12 Shangzhou Xia , Jianjun Zhao

Quantum programming techniques and software have advanced significantly over the past five years, with a majority focusing on high-level language frameworks targeting remote REST library APIs. As quantum computing architectures advance and…

We introduce \textsc{qcmath}, a user-friendly quantum chemistry software tailored for electronic structure calculations, implemented using the Wolfram Mathematica language and available at \url{https://github.com/LCPQ/qcmath}. This…

Chemical Physics · Physics 2023-09-01 Enzo Monino , Antoine Marie , Pierre-François Loos