News
| Jan 11, 2025 | TensorRight received a Distinguished Paper Award at POPL 2025! |
|---|---|
| Nov 08, 2024 | Our paper titled TensorRight: Automated Verification of Tensor Graph Rewrites has been accepted at POPL 2025! The preprint can be found here. The extended version would be available soon. |
| Jul 27, 2024 | Website goes live! |
| Aug 21, 2023 | Joined the ADAPT Lab! |