Pith. sign in

REVIEW 1 cited by

ASDF: A Compiler for Qwerty, a Basis-Oriented Quantum Programming Language

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 2501.13262 v1 pith:TCNYBQ7W submitted 2025-01-22 quant-ph cs.PL

classification quant-phcs.PL
keywords circuitscompilerasdfquantumqwertybasis-orientedchallengescompilers
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

Qwerty is a high-level quantum programming language built on bases and functions rather than circuits. This new paradigm introduces new challenges in compilation, namely synthesizing circuits from basis translations and automatically specializing adjoint or predicated forms of functions. This paper presents ASDF, an open-source compiler for Qwerty that answers these challenges in compiling basis-oriented languages. Enabled with a novel high-level quantum IR implemented in the MLIR framework, our compiler produces OpenQASM 3 or QIR for either simulation or execution on hardware. Our compiler is evaluated by comparing the fault-tolerant resource requirements of generated circuits with other compilers, finding that ASDF produces circuits with comparable cost to prior circuit-oriented compilers.

Discussion (0). Sign in to comment.

Forward citations

Cited by 1 Pith paper

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

  1. MLIR for Quantum Beyond Gate Cancellation: Quantum Circuit Mapping Reimagined

    quant-ph 2026-07 accept novelty 6.0 of 10

    An MLIR-native A* qubit-routing pass outperforms QMAP and TKET on SWAP count and runtime and integrates into an open MLIR quantum compiler.

Pith tools