Rule-based hardware-configurable static analysis for quantum programs

Yi-Ting Chen, Lauren Capelluto, Ryan Shaffer +1

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 a…