Pith. sign in

REVIEW 10 cited by

A Practical Quantum Instruction Set Architecture

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1608.03355 v2 pith:UY3ODPQZ submitted 2016-08-11 quant-ph cs.ETcs.PL

A Practical Quantum Instruction Set Architecture

classification quant-ph cs.ETcs.PL
keywords quantummachinealgorithmsarchitectureclassicalinstructionabstractcalled
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

We introduce an abstract machine architecture for classical/quantum computations---including compilation---along with a quantum instruction language called Quil for explicitly writing these computations. With this formalism, we discuss concrete implementations of the machine and non-trivial algorithms targeting them. The introduction of this machine dovetails with ongoing development of quantum computing technology, and makes possible portable descriptions of recent classical/quantum algorithms.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 10 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Coherent-State Propagation: A Computational Framework for Simulating Bosonic Quantum Systems

    quant-ph 2026-04 unverdicted novelty 8.0

    Coherent-state propagation enables quasi-polynomial classical simulation of bosonic circuits with logarithmically many Kerr gates at exponentially small trace-distance error, with polynomial runtime in the weak-nonlin...

  2. Characterizing quantum channels from local-unitary invariants

    quant-ph 2026-06 unverdicted novelty 6.0

    Develops moments from local-unitary invariants via Haar integrals to characterize entanglement behavior of two-qubit channels, with second-order moments yielding criteria for non-entangling and entanglement-breaking channels.

  3. qstack: Compositional End-to-End Compilation for Fault-Tolerant Quantum Programs

    quant-ph 2026-05 unverdicted novelty 6.0

    qstack introduces callback wrapping in a quantum IR to allow compositional end-to-end compilation of fault-tolerant quantum programs including concatenated error-correcting codes without manual classical logic adaptation.

  4. PennyLane: Automatic differentiation of hybrid quantum-classical computations

    quant-ph 2018-11 accept novelty 6.0

    PennyLane is a software library extending automatic differentiation to hybrid quantum-classical systems for variational quantum algorithms.

  5. A High-Performance Pauli-Algebra Framework for Large-Scale Quantum Simulations

    quant-ph 2026-06 unverdicted novelty 5.0

    A Julia/C++ framework with compact binary symplectic encoding and sparse Pauli representations accelerates Hamiltonian construction, VQE, and real-time dynamics in quantum many-body simulations.

  6. Context-Aware Unit Testing for Quantum Subroutines

    quant-ph 2025-06 unverdicted novelty 5.0

    Proposes a context-aware unit testing framework for quantum subroutines modeled as parametrized quantum channels, using probabilistic assertions and demonstrated on GHZ preparation and Shor's algorithm subroutines.

  7. How to Build a Quantum Supercomputer: Scaling from Hundreds to Millions of Qubits

    quant-ph 2024-11 accept novelty 4.0

    A comprehensive review of scaling paths for superconducting quantum computers, with resource and sensitivity analyses for utility-scale applications under realistic error distributions.

  8. Maximal Entanglement: Applications in Quantum Information and Particle Physics

    quant-ph 2019-06 unverdicted novelty 4.0

    The thesis compiles applications of maximal entanglement in quantum information and claims it constrains the QED vertex to predict a weak mixing angle near the measured value.

  9. A Survey of Quantum Programming Languages

    quant-ph 2026-06 unverdicted novelty 3.0

    Survey presenting a classification framework for ten quantum programming languages with conceptual and experimental comparisons leading to a list of design challenges.

  10. Large-Scale Quantum Circuit Simulation on HPC Cluster via Cache Blocking, Boosting, and Gate Fusion Optimization

    quant-ph 2026-04 unverdicted novelty 3.0

    New merge booster and diagonal detector components, combined with cache blocking and gate fusion, deliver up to 160x speedup on circuit benchmarks and 34x on diagonal-heavy gates versus prior simulators.