@misc{indiciae4bb1ce9ae1b8, title = {Rule-based hardware-configurable static analysis for quantum programs}, author = {Yi-Ting Chen and Lauren Capelluto and Ryan Shaffer and Jeffrey Heckey}, year = {2026}, doi = {10.1109/qce65121.2025.00087}, url = {https://arxiv.org/abs/2611.01995}, note = {Source identifier: 2611.01995} }