3 papers
cs.SC2026
StabQ: Quantum Program Analysis via Weighted Stabilizer Representations
Shangzhou Xia, Junjie Luo, Jianjun Zhao
Quantum program analysis remains challenging due to the exponentially large state space of quantum programs and the difficulty of precisely characterizing their execution behavior.…
cs.SE2026
QEMI: A Quantum Software Stacks Testing Framework via Equivalence Modulo Inputs
Junjie Luo, Shangzhou Xia, Fuyuan Zhang +1
As quantum algorithms and hardware continue to evolve, ensuring the correctness of the quantum software stack (QSS) has become increasingly important. However, testing QSSes remain…
cs.PL2024
Dataflow-Based Optimization for Quantum Intermediate Representation Programs
Junjie Luo, Haoyu Zhang, Jianjun Zhao
This paper proposes QDFO, a dataflow-based optimization approach to Microsoft QIR. QDFO consists of two main functions: one is to preprocess the QIR code so that the LLVM optimizer…