All Stories

  1. A Verified Compiler for a Functional Tensor Language

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

    Amanda Liu

  2. Verified tensor-program optimization via high-level scheduling rewrites

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

    Amanda Liu