Rule-based hardware-configurable static analysis for quantum programs

Abstract

The rapid evolution of quantum hardware necessitates an adaptable static analysis framework for validating quantum programs. In this work, we introduce SHARP, a rule-based static analysis framework designed for OpenQASM that decouples hardware-specific constraints from the validation engine. By employing a rule-based approach, SHARP allows quantum computing services to validate programs against evolving instruction set architectures (ISAs) without having to modify the core analysis engine. SHARP achieves this by ingesting ISA descriptions as standalone data, making the validation engine resilient to hardware updates. Furthermore, the framework employs an analysis-driven validation mechanism that enables multi-stage validation, simplifying rule construction and enhancing extensibility. We demonstrate how SHARP supports hardware-specific validation tasks and discuss its impact on quantum software development, including language decoupling, program-level constraint validation, and feature access control. Our findings suggest that SHARP provides a path toward a scalable and maintainable programming interface for quantum computing.

References in corpus (17)

• Supplementary information for "Quantum supremacy using a programmable superconducting processor"
• Universal Quantum Computation with ideal Clifford gates and noisy ancillas
• Demonstration of the trapped-ion quantum-CCD computer architecture
• Experimental Comparison of Two Quantum Computing Architectures
• Benchmarking an 11-qubit quantum computer
• Quantum computing with neutral atoms
• A Game of Surface Codes: Large-Scale Quantum Computing with Lattice Surgery
• A compact ion-trap quantum computing demonstrator
• Rapid high-fidelity multiplexed readout of superconducting qubits
• OpenQASM 3: A broader and deeper quantum assembly language
• Q#: Enabling scalable quantum computing and development with a high-level domain-specific language
• Qiskit Pulse: Programming Quantum Computers Through the Cloud with Pulses
• A quantum-classical cloud platform optimized for variational hybrid algorithms
• Pulse based Variational Quantum Optimal Control for hybrid quantum computing
• Analyzing Quantum Programs with LintQ: A Static Analysis Framework for Qiskit
• Comparison of Cloud-Based Ion Trap and Superconducting Quantum Computer Architectures
• Optimization via Quantum Preconditioning