Buchumschlag

DisQ: A Model of Distributed Quantum Processors (Extended Version)

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Chang, Le, Yavvari, Saitej, Cleaveland, Rance, Basu, Samik, Tao, Runzhou, Li, Liyi
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Quantum Physics Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

The Quantum Abstract Machine
von: Li, Liyi, et al.
Veröffentlicht: (2024)

Qafny: A Quantum-Program Verifier
von: Li, Liyi, et al.
Veröffentlicht: (2022)

Validating Quantum State Preparation Programs (Extended Version)
von: Li, Liyi, et al.
Veröffentlicht: (2025)

Qunity: A Unified Language for Quantum and Classical Computing (Extended Version)
von: Voichick, Finn, et al.
Veröffentlicht: (2022)

Local Optimization of Quantum Circuits (Extended Version)
von: Arora, Jatin, et al.
Veröffentlicht: (2025)

A Verified Compiler for Quantum Simulation
von: Li, Liyi, et al.
Veröffentlicht: (2025)

Quantum Simulation Programming via Typing
von: Li, Liyi, et al.
Veröffentlicht: (2025)

Qmod: Expressive High-Level Quantum Modeling
von: Vax, Matan, et al.
Veröffentlicht: (2025)

Borrowing Dirty Qubits in Quantum Programs
von: Su, Bonan, et al.
Veröffentlicht: (2025)

Compiling a Q# Subset to QASM 3.0 in TypeScript via a JSON Based IR
von: Edwards, Marcus
Veröffentlicht: (2025)

Quantum Programming Without the Quantum Physics
von: Inoue, Jun
Veröffentlicht: (2024)

The Quantum Effect: A Recipe for QuantumPi
von: Carette, Jacques, et al.
Veröffentlicht: (2023)

Efficient Formal Verification of Quantum Error Correcting Programs
von: Huang, Qifan, et al.
Veröffentlicht: (2025)

A Compilation Framework for Quantum Simulation of Non-unitary Dynamics
von: Huang, Qifan, et al.
Veröffentlicht: (2026)

Algorithmic Analysis of Termination Problems for Nondeterministic Quantum Programs
von: Fu, Jianling, et al.
Veröffentlicht: (2024)

Verifying Fault-Tolerance of Quantum Error Correction Codes
von: Chen, Kean, et al.
Veröffentlicht: (2025)

PhasePoly: An Optimization Framework forPhase Polynomials in Quantum Circuits
von: Chen, Zihan, et al.
Veröffentlicht: (2025)

Analyzing Decoders for Quantum Error Correction
von: Molavi, Abtin, et al.
Veröffentlicht: (2026)

Reversible Lifetime Semantics for Quantum Programs
von: Faro, Simone, et al.
Veröffentlicht: (2026)

Qudit Quantum Programming with Projective Cliffords
von: Paykin, Jennifer, et al.
Veröffentlicht: (2024)

Optimizing Quantum Circuits, Fast and Slow
von: Xu, Amanda, et al.
Veröffentlicht: (2024)

Hadamard-Pi: Equational Quantum Programming
von: Fang, Wang, et al.
Veröffentlicht: (2025)

Expressing and Analyzing Quantum Algorithms with Qualtran
von: Harrigan, Matthew P., et al.
Veröffentlicht: (2024)

HUGR: A Quantum-Classical Intermediate Representation
von: Koch, Mark, et al.
Veröffentlicht: (2025)

Symbolic Execution for Quantum Error Correction Programs
von: Fang, Wang, et al.
Veröffentlicht: (2023)

Scalable Memory Recycling for Large Quantum Programs
von: Reichental, Israel, et al.
Veröffentlicht: (2025)

Dependency-Aware Compilation for Surface Code Quantum Architectures
von: Molavi, Abtin, et al.
Veröffentlicht: (2023)

Compositional Quantum Control Flow with Efficient Compilation in Qunity
von: Mints, Mikhail, et al.
Veröffentlicht: (2025)

Scalable Equivalence Checking and Verification of Shallow Quantum Circuits
von: Yu, Nengkun, et al.
Veröffentlicht: (2025)

Qwerty: A Basis-Oriented Quantum Programming Language
von: Adams, Austin J., et al.
Veröffentlicht: (2024)

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

Weaver: A Retargetable Compiler Framework for FPQA Quantum Architectures
von: Kırmemiş, Oğuzcan, et al.
Veröffentlicht: (2024)

VyZX: Formal Verification of a Graphical Quantum Language
von: Lehmann, Adrian, et al.
Veröffentlicht: (2023)

Automated Auxiliary Qubit Allocation in High-Level Quantum Programming
von: Rosa, Evandro C. R., et al.
Veröffentlicht: (2024)

Linear and non-linear relational analyses for Quantum Program Optimization
von: Amy, Matthew, et al.
Veröffentlicht: (2024)

Cobble: Compiling Block Encodings for Quantum Computational Linear Algebra
von: Yuan, Charles
Veröffentlicht: (2025)

Unitary Expressions: A Necessary Abstraction for Extensible Quantum Programming Languages and Systems
von: Younis, Ed
Veröffentlicht: (2025)

ASDF: A Compiler for Qwerty, a Basis-Oriented Quantum Programming Language
von: Adams, Austin J., et al.
Veröffentlicht: (2025)

A Formal Semantics of C with OpenMP Parallelism (Extended Version)
von: Du, Ke, et al.
Veröffentlicht: (2026)

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