TY - RPRT TI - Rule-based hardware-configurable static analysis for quantum programs AU - Yi-Ting Chen AU - Lauren Capelluto AU - Ryan Shaffer AU - Jeffrey Heckey PY - 2026 DO - 10.1109/qce65121.2025.00087 UR - https://arxiv.org/abs/2611.01995 ID - 2611.01995 ER -