While quantum computers promise to solve some scientifically and commercially valuable
problems thought intractable for classical machines, delivering on this promise will require a …

Noisy Intermediate-Scale Quantum (NISQ) systems and associated programming interfaces
make it possible to explore and investigate the design and development of quantum …

The quantum simulation kernel is an important subroutine appearing as a very long gate
sequence in many quantum programs. In this paper, we propose Paulihedral, a block-wise …

The emerging field of quantum computing has shown it might change how we process
information by using the unique principles of quantum mechanics. As researchers continue …

We propose an IR for quantum computing that directly exposes quantum and classical data
dependencies for the purpose of optimization. The Quantum Intermediate Representation for …

Intermediate representations (IRs) are fundamental to classical and quantum computing,
bridging high-level quantum programming languages and the hardware-specific instructions …

Challenging combinatorial optimization problems are ubiquitous in science and
engineering. Several quantum methods for optimization have recently been developed, in …

Quantum computing hardware has progressed rapidly. Simultaneously, there has been a
proliferation of programming languages and program optimization tools for quantum …

Abstract Quantum Intermediate Representation (QIR) is an LLVM-based intermediary
representation developed by Microsoft for quantum program compilers. QIR's objective is to …

We introduce isQ, a new software stack for quantum programming in an imperative
programming language, also named isQ. The aim of isQ is to make programmers write …