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 conditionally accepted with shepherding 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.