English
Related papers

Related papers: A Programming Language For Quantum Oracle Construc…

200 papers

Quantum compiling means fast, device-aware implementation of quantum algorithms (i.e., quantum circuits, in the quantum circuit model of computation). In this paper, we present a strategy for compiling IBM Q -aware, low-depth quantum…

Quantum Physics · Physics 2020-03-13 Davide Ferrari , Michele Amoretti

Quantum computing (QC) introduces a novel mode of computation with the possibility of greater computational power that remains to be exploited - presenting exciting opportunities for high performance computing (HPC) applications. However,…

In the hardware design process, hardware components are usually described in a hardware description language. Most of the hardware description languages, such as Verilog and VHDL, do not have mathematical foundation and hence are not fit…

Computation and Language · Computer Science 2022-02-10 Wilayat Khan , Zhe Hou , David Sanan , Jamel Nebhen , Yang Liu , Alwen Tiu

We present IQu, namely a quantum programming language that extends Reynold's Idealized Algol, the paradigmatic core of Algol-like languages. IQu combines imperative programming with high-order features, mediated by a simple type theory. IQu…

Logic in Computer Science · Computer Science 2019-04-16 Luca Paolini , Luca Roversi , Margherita Zorzi

Quantum Chemistry (QC) is one of the most promising applications of Quantum Computing. However, present quantum processing units (QPUs) are still subject to large errors. Therefore, noisy intermediate-scale quantum (NISQ) hardware is…

Quantum Physics · Physics 2025-10-21 Mohammad Haidar , Marko J. Rančić , Thomas Ayral , Yvon Maday , Jean-Philip Piquemal

Quantum computers are traditionally operated by programmers at the granularity of a gate-based instruction set. However, the actual device-level control of a quantum computer is performed via analog pulses. We introduce a compiler that…

Quantum Physics · Physics 2020-05-12 Pranav Gokhale , Ali Javadi-Abhari , Nathan Earnest , Yunong Shi , Frederic T. Chong

Automatic oracle generation techniques can find optimized quantum circuits for classical components in quantum algorithms. However, most implementations of oracle generation techniques require that the classical component is expressed in…

Quantum Physics · Physics 2022-12-06 Mathias Soeken , Mariia Mykhailova

As quantum computers become available to the general public, the need has arisen to train a cohort of quantum programmers, many of whom have been developing classical computer programs for most of their careers. While currently available…

Obtaining good performance when programming heterogeneous computing platforms poses significant challenges for the programmer. We present a program transformation environment, implemented in Haskell, where architecture-agnostic scientific C…

Programming Languages · Computer Science 2016-03-11 Salvador Tamarit , Julio Mariño , Guillermo Vigueras , Manuel Carro

Quantum computers do not run in isolation; rather, they are embedded in quantum-classical hybrid architectures. In these setups, a quantum processing unit communicates with a classical device in near-real time. To enable efficient hybrid…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-05-20 Lian Remme , Alexander Weinert , Andre Waschk

Emerging hybrid accelerator architectures for high performance computing are often suited for the use of a data-parallel programming model. Unfortunately, programmers of these architectures face a steep learning curve that frequently…

Programming Languages · Computer Science 2015-02-13 Craig Rasmussen , Matthew Sottile , Daniel Nagle , Soren Rasmussen

Common Business Oriented Language (COBOL) is a programming language used to develop business applications that are widely adopted by financial, business, and government agencies. Due to its age, complexity, and declining number of COBOL…

Software Engineering · Computer Science 2025-07-04 Fangjian Lei , Jiawen Liu , Shayan Noei , Ying Zou , Derek Truong , William Alexander

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

With the increasing rise of publicly available high level quantum computing languages, the field of Quantum Computing has reached an important milestone of separation of software from hardware. Consequently, the study of Quantum Algorithms…

Quantum Physics · Physics 2020-08-26 Daniel Koch , Saahil Patel , Laura Wessing , Paul M. Alsing

Running Large Language Models (LLMs) on edge devices is constrained by high compute and memory demands posing a barrier for real-time applications in sectors like healthcare, education, and embedded systems. Current solutions such as…

Quantum software frameworks provide software engineers with the tools to study quantum algorithms as applied to practical problems. We implement classical hash functions MD5, SHA-1, SHA-2, and SHA-3 as quantum oracles to study the…

Quantum Physics · Physics 2023-02-06 Richard Preston

This Master thesis examines issues of interoperability and integration between the Classic Information Science (CIS) and Quantum Information Science (QIS). It provides a short introduction to the Extensible Markup Language (XML) and…

Software Engineering · Computer Science 2011-06-15 Pascal Heus , Richard Gomez

As quantum computing enters the cloud era, thousands of users must share access to a small number of quantum processors. Users need to wait minutes to days to start their jobs, which only takes a few seconds for execution. Current quantum…

Operating Systems · Computer Science 2026-02-10 John Zhuoyang Ye , Jiyuan Wang , Yifan Qiao , Jens Palsberg

In this work, we present a short review about the high level design methodology (HLDM), that is based on the use of very high level (VHL) programing language as main, and the use of the intermediate level (IL) language only for the critical…

Computational Engineering, Finance, and Science · Computer Science 2012-07-17 Eduardo dos Santos Pereira , Oswaldo D. Miranda

Since the advent of LISP, the fifth generation programming language has developed for decades. However, compared with the fourth generation programming language, the fifth generation programming language has not been widely used because of…

Programming Languages · Computer Science 2022-06-03 Han Jipeng , Lichen Zhihang