{"id":"arxiv/2611.01995","url":"https://arxiv.org/abs/2611.01995","tags":["quant-ph"],"score":0,"title":"Rule-based hardware-configurable static analysis for quantum programs","domain":"quant-ph","source":"arxiv","authors":["Yi-Ting Chen","Lauren Capelluto","Ryan Shaffer","Jeffrey Heckey"],"reviews":0,"subject":"quant-ph","summary":"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…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-11-01","reactions":{}}