All Stories

  1. CF-GKAT: Efficient Validation of Control-Flow Transformations

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

    Cheng Zhang, Nico Naus

  2. A Dependently Typed Language with Dynamic Equality

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

    Cheng Zhang

  3. On incorrectness logic and Kleene algebra with top and tests

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

    Cheng Zhang