Imagen de Portada

Efficient Formal Verification of Quantum Error Correcting Programs

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Huang, Qifan, Zhou, Li, Fang, Wang, Zhao, Mengyu, Ying, Mingsheng
Formato:	Preprint
Publicado:	2025
Materias:	Programming Languages Quantum Physics
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

A Compilation Framework for Quantum Simulation of Non-unitary Dynamics
por: Huang, Qifan, et al.
Publicado: (2026)

Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs
por: Zhang, Zhicheng, et al.
Publicado: (2024)

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

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

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

Symbolic Specification and Reasoning for Quantum Data and Operations
por: Ying, Mingsheng
Publicado: (2025)

A Practical Quantum Hoare Logic with Classical Variables, I
por: Ying, Mingsheng
Publicado: (2024)

VyZX: Formal Verification of a Graphical Quantum Language
por: Lehmann, Adrian, et al.
Publicado: (2023)

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

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

The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation
por: Yuan, Charles, et al.
Publicado: (2023)

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

Enabling the Verification and Formalization of Hybrid Quantum-Classical Computing with OpenQASM 3.0 compatible QASM-TS 2.0
por: Kim, Sean, et al.
Publicado: (2024)

Laws of Quantum Programming
por: Ying, Mingsheng, et al.
Publicado: (2024)

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

Quantum Simulation Programming via Typing
por: Li, Liyi, et al.
Publicado: (2025)

Quantum Programming Without the Quantum Physics
por: Inoue, Jun
Publicado: (2024)

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

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

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

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

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

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

Qwerty: A Basis-Oriented Quantum Programming Language
por: Adams, Austin J., et al.
Publicado: (2024)

Automated Auxiliary Qubit Allocation in High-Level Quantum Programming
por: Rosa, Evandro C. R., et al.
Publicado: (2024)

Linear and non-linear relational analyses for Quantum Program Optimization
por: Amy, Matthew, et al.
Publicado: (2024)

Unitary Expressions: A Necessary Abstraction for Extensible Quantum Programming Languages and Systems
por: Younis, Ed
Publicado: (2025)

ASDF: A Compiler for Qwerty, a Basis-Oriented Quantum Programming Language
por: Adams, Austin J., et al.
Publicado: (2025)

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

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

Type-Based Verification of Connectivity Constraints in Lattice Surgery
por: Wakizaka, Ryo, et al.
Publicado: (2024)

Symmetry-Based Quantum Circuit Mapping
por: Yu, Di, et al.
Publicado: (2023)

Quantum Büchi Automata
por: Wang, Qisheng, et al.
Publicado: (2018)

GUPPY: Pythonic Quantum-Classical Programming
por: Koch, Mark, et al.
Publicado: (2025)

Is Productivity in Quantum Programming Equivalent to Expressiveness?
por: Corrales-Garro, Francini, et al.
Publicado: (2025)

Quantum Control Machine: The Limits of Control Flow in Quantum Programming
por: Yuan, Charles, et al.
Publicado: (2023)

Practical Formal Verification for MLIR Programs
por: Tucker, Emily, et al.
Publicado: (2026)

Imperative Quantum Programming with Ownership and Borrowing in Guppy
por: Koch, Mark, et al.
Publicado: (2025)

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