Cover Image

Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantum Computers

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Seidel, Raphael, Bock, Sebastian, Zander, René, Petrič, Matic, Steinmann, Niklas, Tcholtchev, Nikolay, Hauswirth, Manfred
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 Backtracking in Qrisp Applied to Sudoku Problems
by: Seidel, Raphael, et al.
Published: (2024)

Block-encodings as programming abstractions: The Eclipse Qrisp BlockEncoding Interface
by: Petrič, Matic, et al.
Published: (2026)

Solving the Product Breakdown Structure Problem with constrained QAOA
by: Zander, René, et al.
Published: (2024)

Eclipse Qrisp QAOA: description and preliminary comparison with Qiskit counterparts
by: Osaba, Eneko, et al.
Published: (2024)

Methods and Tools for Secure Quantum Clouds with a specific Case Study on Homomorphic Encryption
by: Kusumastuti, Aurelia, et al.
Published: (2025)

A parameter study for LLL and BKZ with application to shortest vector problems
by: Köppl, Tobias, et al.
Published: (2025)

Solving Drone Routing Problems with Quantum Computing: A Hybrid Approach Combining Quantum Annealing and Gate-Based Paradigms
by: Osaba, Eneko, et al.
Published: (2025)

Extracting GHZ states from linear cluster states
by: de Jong, Jarn, et al.
Published: (2022)

End-to-end compilable implementation of quantum elliptic curve logarithm in Qrisp
by: Polimeni, Diego, et al.
Published: (2025)

Hiku: Pull-Based Scheduling for Serverless Computing
by: Akbari, Saman, et al.
Published: (2025)

Qutes: A High-Level Quantum Programming Language for Simplified Quantum Computing
by: Faro, Simone, et al.
Published: (2025)

Universal Workers: A Vision for Eliminating Cold Starts in Serverless Computing
by: Akbari, Saman, et al.
Published: (2025)

Two Approaches for Programming Education in the Domain of Graphics: An Experiment
by: Chiodini, Luca, et al.
Published: (2025)

Role of Riemannian geometry in double-bracket quantum imaginary-time evolution
by: Zander, René, et al.
Published: (2025)

Towards Verified Compilation of Floating-point Optimization in Scientific Computing Programs
by: Tekriwal, Mohit, et al.
Published: (2025)

Morello: Compiling Fast Neural Networks with Dynamic Programming and Spatial Compression
by: Kaufman, Samuel J., et al.
Published: (2025)

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

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

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

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

PolyBlocks: A Compiler Infrastructure for AI Chips and Programming Frameworks
by: Bondhugula, Uday, et al.
Published: (2026)

Partial Evaluation, Whole-Program Compilation
by: Fallin, Chris, et al.
Published: (2024)

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops
by: Böck, Markus, et al.
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)

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

Compilation Quotient (CQ): A Metric for the Compilation Hardness of Programming Languages
by: Szabo, Violet, et al.
Published: (2024)

Sampling in Cloud Benchmarking: A Critical Review and Methodological Guidelines
by: Akbari, Saman, et al.
Published: (2025)

Compilation Semantics for a Programming Language with Versions
by: Tanabe, Yudai, et al.
Published: (2023)

Hexcute: A Compiler Framework for Automating Layout Synthesis in GPU Programs
by: Zhang, Xiao, et al.
Published: (2025)

Hercules: A Compiler for Productive Programming of Heterogeneous Systems
by: Arbore, Russel, et al.
Published: (2025)

The Program Hypergraph: Multi-Way Relational Structure for Geometric Algebra, Spatial Compute, and Physics-Aware Compilation
by: Haynes, Houston
Published: (2026)

Bounded Exhaustive Random Program Generation for Testing Solidity Compilers
by: Ma, Haoyang, et al.
Published: (2025)

SECOMP: Formally Secure Compilation of Compartmentalized C Programs
by: Thibault, Jérémy, et al.
Published: (2024)

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

ROSCell: A ROS2-Based Framework for Automated Formation and Orchestration of Multi-Robot Systems
by: Shuai, Jiangtao, et al.
Published: (2026)

Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming
by: Warren, David S., et al.
Published: (2024)

Interaction Tree Semantics for RISC-V: Bridging Compiler and Hardware Verification
by: Kan, Shuanglong, et al.
Published: (2026)

DITRON: Distributed Multi-level Tiling Compiler for Parallel Tensor Programs
by: Zheng, Size, et al.
Published: (2026)

Smooth, Integrated Proofs of Cryptographic Constant Time for Nondeterministic Programs and Compilers
by: Conoly, Owen, et al.
Published: (2025)