Cover Image

Verifying Fault-Tolerance of Quantum Error Correction Codes

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Chen, Kean, Liu, Yuhao, Fang, Wang, Paykin, Jennifer, Wu, Xin-Chuan, Schmitz, Albert, Zdancewic, Steve, Li, Gushu
Format:	Preprint
Published:	2025
Subjects:	Quantum Physics Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

Functional Meaning for Parallel Streaming
by: Rioux, Nick, et al.
Published: (2025)

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

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

Optimal Program Synthesis via Abstract Interpretation
by: Mell, Stephen, et al.
Published: (2026)

HELIX: Verified compilation of cyber-physical control systems to LLVM IR
by: Zaliva, Vadim, et al.
Published: (2026)

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

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

Synthesizing Trajectory Queries from Examples
by: Mell, Stephen, et al.
Published: (2026)

Opportunistically Parallel Lambda Calculus
by: Mell, Stephen, et al.
Published: (2024)

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

Structural Temporal Logic for Mechanized Program Verification
by: Ioannidis, Eleftherios, et al.
Published: (2024)

Compiling to recurrent neurons
by: Velez-Ginorio, Joey, et al.
Published: (2025)

Compiling to linear neurons
by: Velez-Ginorio, Joey, et al.
Published: (2025)

A Two-Phase Infinite/Finite Low-Level Memory Model
by: Beck, Calvin, et al.
Published: (2024)

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

Condensed Encodings of Projective Clifford Operations in Arbitrary Dimension
by: Winnick, Sam, et al.
Published: (2024)

Automated Synthesis of Fault-Tolerant State Preparation Circuits for Quantum Error Correction Codes
by: Peham, Tom, et al.
Published: (2024)

Performance Limits of Fault-Tolerant Quantum Error Correction Schemes
by: Valentini, Lorenzo, et al.
Published: (2026)

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

Fault Tolerant Quantum Error Mitigation
by: Gonzales, Alvin, et al.
Published: (2023)

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

Fault-Tolerant Quantum Error Correction for Constant-Excitation Stabilizer Codes under Coherent Noise
by: Lai, Ching-Yi, et al.
Published: (2025)

3D Stacked Surface-Code Architecture for Measurement-Free Fault-Tolerant Quantum Error Correction
by: Min, GunSik, et al.
Published: (2026)

Weakly Fault-Tolerant Computation in a Quantum Error-Detecting Code
by: Gerhard, Christopher, et al.
Published: (2024)

PopPy: Opportunistically Exploiting Parallelism in Python Compound AI Applications
by: Mell, Stephen, et al.
Published: (2026)

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

A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions
by: Mell, Stephen, et al.
Published: (2025)

Verified Code Transpilation with LLMs
by: Bhatia, Sahil, et al.
Published: (2024)

Fault-Tolerant Quantum Error Correction: Implementing Hamming-Based Codes with Advanced Syndrome Extraction Techniques
by: Bhadra, Soham, et al.
Published: (2026)

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

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

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

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

QbC: Quantum Correctness by Construction
by: Peduri, Anurudh, et al.
Published: (2023)

SymCode: A Neurosymbolic Approach to Mathematical Reasoning via Verifiable Code Generation
by: Nezhad, Sina Bagheri, et al.
Published: (2025)

GeneCS: Synthesizing Resource-Efficient Code Surgery for Arbitrary Quantum Stabilizer Codes
by: Zhou, Junyu, et al.
Published: (2026)

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

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