Junlin Lu

Publications with FICTION

Conference Papers

1. Siwei Tan, Debin Xiang, Liqiang Lu, Junlin Lu, Qiuping Jiang, Mingshuai Chen, Jianwei Yin (2024). MorphQPV: Exploiting Isomorphism in Quantum Programs to Facilitate Confident Verification. In ASPLOS 2024. PDF Cite Code DOI Artifact Evaluated