Cover Image

COGNAC: Circuit Optimization via Gradients and Noise-Aware Compilation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Voichick, Finn, Lampropoulos, Leonidas, Rand, Robert
Format:	Preprint
Published:	2023
Subjects:	Quantum Physics Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Qunity: A Unified Language for Quantum and Classical Computing (Extended Version)
by: Voichick, Finn, et al.
Published: (2022)

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

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

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

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

Pantograph: A Fluid and Typed Structure Editor
by: Prinz, Jacob, et al.
Published: (2024)

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

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

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

Compiling a Q# Subset to QASM 3.0 in TypeScript via a JSON Based IR
by: Edwards, Marcus
Published: (2025)

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

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

Cobble: Compiling Block Encodings for Quantum Computational Linear Algebra
by: Yuan, Charles
Published: (2025)

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

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

Unleashing Optimizations in Dynamic Circuits through Branch Expansion
by: Chen, Yanbin
Published: (2025)

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

Redefining Lexicographical Ordering: Optimizing Pauli String Decompositions for Quantum Compiling
by: Huang, Qunsheng, et al.
Published: (2024)

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

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

Modular Compilation for Quantum Chiplet Architectures
by: Jeng, Mingyoung Jessica, et al.
Published: (2025)

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

Linear-Time T-Gate Optimization via Random Abstraction
by: Albarghouthi, Aws
Published: (2026)

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

Genesis: A Compiler Framework for Hamiltonian Simulation on Hybrid CV-DV Quantum Computers
by: Chen, Zihan, et al.
Published: (2025)

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

Object Graph Programming
by: Thimmaiah, Aditya, et al.
Published: (2024)

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

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

Quantum Circuits Are Just a Phase
by: Heunen, Chris, et al.
Published: (2025)

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

Programmable Property-Based Testing
by: Keles, Alperen, et al.
Published: (2026)

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

Noise-Aware Circuit Compilations for a Continuously Parameterized Two-Qubit Gateset
by: Yale, Christopher G., et al.
Published: (2024)

The Search for Constrained Random Generators
by: Goldstein, Harrison, et al.
Published: (2025)

Towards Application-Aware Quantum Circuit Compilation
by: Quetschlich, Nils, et al.
Published: (2024)

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

Formalizing Stack Safety as a Security Property
by: Anderson, Sean Noble, et al.
Published: (2021)

Quantum Circuit Pruning: Improving Fidelity via Compilation-Aware Circuit Approximation
by: Escofet, Pau, et al.
Published: (2026)