All Stories

  1. Efficient Formal Verification of Quantum Error Correcting Programs

    Article • Proceedings of the ACM on Programming Languages, June 2025, ACM (Association for Computing Machinery)

    Mengyu Zhao, Mr Mingsheng Ying, Qifan Huang