:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Yu, Di, Fang, Kun
Format:	Preprint
Published:	2023
Subjects:	Quantum Physics Programming Languages Combinatorics
Online Access:	https://arxiv.org/abs/2310.18026
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Scalable Equivalence Checking and Verification of Shallow Quantum Circuits
by: Yu, Nengkun, et al.
Published: (2025)

Optimizing Quantum Circuits, Fast and Slow
by: Xu, Amanda, et al.
Published: (2024)

Quantum Circuit Equivalence Checking: A Tractable Bridge From Unitary to Hybrid Circuits
by: Ricciardi, Jérome, et al.
Published: (2025)

Local Optimization of Quantum Circuits (Extended Version)
by: Arora, Jatin, et al.
Published: (2025)

PhasePoly: An Optimization Framework forPhase Polynomials in Quantum Circuits
by: Chen, Zihan, et al.
Published: (2025)

Formal Verification of Variational Quantum Circuits
by: Assolini, Nicola, et al.
Published: (2025)

Verification of Recursively Defined Quantum Circuits
by: Ying, Mingsheng, et al.
Published: (2024)

Quantum Circuits Are Just a Phase
by: Heunen, Chris, et al.
Published: (2025)

Symbolic Execution for Quantum Error Correction Programs
by: Fang, Wang, et al.
Published: (2023)

SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning about Quantum Circuits
by: Yu, Nengkun, et al.
Published: (2025)

Hadamard-Pi: Equational Quantum Programming
by: Fang, Wang, et al.
Published: (2025)

Flexible Type-Based Resource Estimation in Quantum Circuit Description Languages
by: Colledan, Andrea, et al.
Published: (2024)

Efficient Formal Verification of Quantum Error Correcting Programs
by: Huang, Qifan, et al.
Published: (2025)

The Subgraph Isomorphism Problem for Port Graphs and Quantum Circuits
by: Mondada, Luca, et al.
Published: (2023)

COGNAC: Circuit Optimization via Gradients and Noise-Aware Compilation
by: Voichick, Finn, et al.
Published: (2023)

Verifying Fault-Tolerance of Quantum Error Correction Codes
by: Chen, Kean, et al.
Published: (2025)

Minimum Synthesis Cost of CNOT Circuits
by: Bu, Alan, et al.
Published: (2024)

Generating Compilers for Qubit Mapping and Routing
by: Molavi, Abtin, et al.
Published: (2025)

QCoder Benchmark: Bridging Language Generation and Quantum Hardware through Simulator-Based Feedback
by: Mikuriya, Taku, et al.
Published: (2025)

Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantum Computers
by: Seidel, Raphael, et al.
Published: (2024)

Quantum Programming Without the Quantum Physics
by: Inoue, Jun
Published: (2024)

The Quantum Effect: A Recipe for QuantumPi
by: Carette, Jacques, et al.
Published: (2023)

Unleashing Optimizations in Dynamic Circuits through Branch Expansion
by: Chen, Yanbin
Published: (2025)

Productive Quantum Programming Needs Better Abstract Machines
by: Núñez-Corrales, Santiago, et al.
Published: (2025)

The Quantum Abstract Machine
by: Li, Liyi, et al.
Published: (2024)

Analyzing Decoders for Quantum Error Correction
by: Molavi, Abtin, et al.
Published: (2026)

Reversible Lifetime Semantics for Quantum Programs
by: Faro, Simone, et al.
Published: (2026)

A Verified Compiler for Quantum Simulation
by: Li, Liyi, et al.
Published: (2025)

Qudit Quantum Programming with Projective Cliffords
by: Paykin, Jennifer, et al.
Published: (2024)

Borrowing Dirty Qubits in Quantum Programs
by: Su, Bonan, et al.
Published: (2025)

Expressing and Analyzing Quantum Algorithms with Qualtran
by: Harrigan, Matthew P., et al.
Published: (2024)

Quantum Simulation Programming via Typing
by: Li, Liyi, et al.
Published: (2025)

Qafny: A Quantum-Program Verifier
by: Li, Liyi, et al.
Published: (2022)

HUGR: A Quantum-Classical Intermediate Representation
by: Koch, Mark, et al.
Published: (2025)

Scalable Memory Recycling for Large Quantum Programs
by: Reichental, Israel, et al.
Published: (2025)

Qmod: Expressive High-Level Quantum Modeling
by: Vax, Matan, et al.
Published: (2025)

Dependency-Aware Compilation for Surface Code Quantum Architectures
by: Molavi, Abtin, et al.
Published: (2023)

Validating Quantum State Preparation Programs (Extended Version)
by: Li, Liyi, et al.
Published: (2025)

Compositional Quantum Control Flow with Efficient Compilation in Qunity
by: Mints, Mikhail, et al.
Published: (2025)

Algorithmic Analysis of Termination Problems for Nondeterministic Quantum Programs
by: Fu, Jianling, et al.
Published: (2024)