Copertina

Scalable Memory Recycling for Large Quantum Programs

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Reichental, Israel, Alon, Ravid, Preminger, Lior, Vax, Matan, Naveh, Amir
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Quantum Physics Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Efficient Quantum Control via Automatic Control Skips
di: Emanuel, Peleg, et al.
Pubblicazione: (2025)

Quantum Programming Without the Quantum Physics
di: Inoue, Jun
Pubblicazione: (2024)

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

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

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

Quantum Simulation Programming via Typing
di: Li, Liyi, et al.
Pubblicazione: (2025)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Design and synthesis of scalable quantum programs
di: Goldfriend, Tomer, et al.
Pubblicazione: (2024)

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

The Quantum Abstract Machine
di: Li, Liyi, et al.
Pubblicazione: (2024)

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

Model-Driven Engineering for Quantum Programming: A Case Study on Ground State Energy Calculation
di: Polat, Furkan, et al.
Pubblicazione: (2024)

QuCtrl-BELL: A Compiler-Driven Sub-Microsecond Feedback Control Stack for Scalable Trapped-Ion Quantum Experiments
di: She, Junpeng, et al.
Pubblicazione: (2026)

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

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

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

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

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

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

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

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