3 papers
cs.SE2026
Testing and Verification of Quantum Compilers through Assurance Contracts and Evidence
Furqan Nasir, Muhammad Arif Shah, Iftikhar Alam
Quantum compiler assurance requires a semantic relation that matches the intended use and observations that can expose violations at the delivered interface. This critical integrat…
cs.SE2026
Fault-Class-Matched Test Oracles for Output-Invisible Quantum Transpiler Regressions
Furqan Nasir, Arif Shah, Iftikhar Alam
Test oracles for quantum transpilers typically judge correctness by comparing compiled output against a reference: a statevector, a sampled distribution, or a unitary compared modu…
quant-ph2026
What Output-Equivalence Oracles Miss: An Empirical Study of Equivalence-Invisible Bug Fixes in Quantum Transpilers
Furqan Nasir, Arif Shah, Iftikhar Alam
Quantum compilers face the test oracle problem, judged by an output-equivalence oracle: the compiled circuit must compute the same unitary as the original, modulo global phase and…