Talks

Invited talks and seminars.

2026

2025

  • TensorRight: Automated Verification of Tensor Graph Rewrites
    Upstate PL Seminar, Cornell University ,
  • TensorRight: Automated Verification of Tensor Graph Rewrites
    PLDG, Cornell University ,
  • TensorRight: Automated Verification of Tensor Graph Rewrites
    PL Seminar, University of California, San Diego ,
  • TensorRight: Automated Verification of Tensor Graph Rewrites
    UW PLSE Talk, University of Washington ,
  • TensorRight: Automated Verification of Tensor Graph Rewrites
    PurPL Seminar, Purdue University ,