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

  2. An Efficient Local Search Algorithm for Large GD Advertising Inventory Allocation with Multilinear Constraints

    Article • August 2024, ACM (Association for Computing Machinery)

    Mengyu Zhao