All Stories

  1. A formal model of Checked C1

    Article • Journal of Computer Security, October 2023, IOS Press

    Liyi Li

  2. A Verified Optimizer for Quantum Circuits

    Article • ACM Transactions on Programming Languages and Systems, July 2023, ACM (Association for Computing Machinery)

    Liyi Li, Kesha Hietala

  3. Quantum Oracle Language: OQASM

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

    Liyi Li