Copertina

Compiling a Q# Subset to QASM 3.0 in TypeScript via a JSON Based IR

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Edwards, Marcus
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Programming Languages Quantum Physics
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Enabling the Verification and Formalization of Hybrid Quantum-Classical Computing with OpenQASM 3.0 compatible QASM-TS 2.0
di: Kim, Sean, et al.
Pubblicazione: (2024)

COGNAC: Circuit Optimization via Gradients and Noise-Aware Compilation
di: Voichick, Finn, et al.
Pubblicazione: (2023)

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

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

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

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

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

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

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

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

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

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

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

Efficient Transpilation of OpenQASM 3.0 Dynamic Circuits to CUDA-Q: Performance and Expressiveness Advantages
di: Kulkarni, Vinooth, et al.
Pubblicazione: (2026)

Type-Based Verification of Connectivity Constraints in Lattice Surgery
di: Wakizaka, Ryo, et al.
Pubblicazione: (2024)

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

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

DisQ: A Model of Distributed Quantum Processors (Extended Version)
di: Chang, Le, et al.
Pubblicazione: (2024)

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

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

Redefining Lexicographical Ordering: Optimizing Pauli String Decompositions for Quantum Compiling
di: Huang, Qunsheng, 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)

QASMTrans: An End-to-End QASM Compilation Framework with Pulse Generation for Near-Term Quantum Devices
di: Hoyt, Aaron, et al.
Pubblicazione: (2026)

QASM-Eval: A Dataset to Train and Evaluate LLMs on OpenQASM-3 Beyond Quantum Circuits
di: Fu, Zhenxiao, et al.
Pubblicazione: (2026)

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

RustCompCert: A Verified and Verifying Compiler for a Sequential Subset of Rust
di: Wu, Jinhua, et al.
Pubblicazione: (2026)

Synthesizing JSON Schema Transformers
di: Stanek, Jack, et al.
Pubblicazione: (2024)

QCoder Benchmark: Bridging Language Generation and Quantum Hardware through Simulator-Based Feedback
di: Mikuriya, Taku, et al.
Pubblicazione: (2025)

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

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

Developing a Modular Compiler for a Subset of a C-like Language
di: Dutta, Debasish, et al.
Pubblicazione: (2025)

Flexible Type-Based Resource Estimation in Quantum Circuit Description Languages
di: Colledan, Andrea, et al.
Pubblicazione: (2024)

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

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

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)

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

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

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

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