Cover Image

Automated Auxiliary Qubit Allocation in High-Level Quantum Programming

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Rosa, Evandro C. R., Marchi, Jerusa, Duzzioni, Eduardo I., de Santiago, Rafael
Format:	Preprint
Published:	2024
Subjects:	Quantum Physics Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Quantum Gate Decomposition: A Study of Compilation Time vs. Execution Time Trade-offs
by: Rosa, Evandro C. R., et al.
Published: (2025)

Optimizing Quantum Compilation via High-Level Quantum Instructions
by: Rosa, Evandro C. R., et al.
Published: (2025)

Optimizing Gate Decomposition for High-Level Quantum Programming
by: Rosa, Evandro C. R., et al.
Published: (2024)

Implementing a Quantum Finite Automaton in IBMQ using Custom Control Pulses
by: Lussi, Eduardo Willwock, et al.
Published: (2024)

Full Quantum Stack: Ket Platform
by: Rosa, Evandro, et al.
Published: (2025)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Shadow measurements for feedback-based quantum optimization
by: Bertuzzi, Leticia, et al.
Published: (2025)

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

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

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

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

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

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

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

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

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

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

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

A Time Optimization Framework for the Implementation of Robust and Low-latency Quantum Circuits
by: Lussi, Eduardo Willwock, et al.
Published: (2024)

A Comparison of Quantum Compilers using a DAG-based or phase polynomial-based Intermediate Representation
by: van de Griend, Arianne Meijer -
Published: (2023)

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

PHOENIX: Pauli-Based High-Level Optimization Engine for Instruction Execution on NISQ Devices
by: Yang, Zhaohui, et al.
Published: (2025)

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

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

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