TY  - RPRT
TI  - Traq: Estimating the Quantum Cost of Classical Programs
AU  - Anurudh Peduri
AU  - Jam Kabeer Ali Khan
AU  - Gilles Barthe
AU  - Michael Walter
PY  - 2026
UR  - https://arxiv.org/abs/2509.01508
ID  - 2509.01508
ER  -