All Stories

  1. A Mechanized Algebra of Verified Data Structures for Optimizing Sparse Tensor Programs

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

    Amanda Liu

  2. 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

  3. 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