Paper Accepted by ASPLOS 2024

Our paper has been accepted for presentation at ASPLOS 2024.

Our paper titled “MorphQPV: Exploiting Isomorphism in Quantum Programs to Facilitate Confident Verification” by Siwei Tan, Debin Xiang, Liqiang Lu, Junlin Lu (PKU), Qiuping Jiang (NBU), Mingshuai Chen, and Jianwei Yin has been accepted for presentation at ASPLOS 2024 – the ACM International Conference on Architectural Support for Programming Languages and Operating Systems at San Diego, USA. This paper contributes a novel methodology to facilitate assertion-based verification of quantum programs by leveraging the isomorphism property thereof.