News

Jul 14, 2025 Our paper titled TAIDL: Tensor Accelerator ISA Definition Language with Auto-generation of Scalable Test Oracles has been accepted at MICRO 2025! :tada:
Feb 20, 2025 Our paper titled SPLAT: A Framework for Optimised GPU Code-Generation for SParse reguLar ATtention, led by fellow PhD student Ahan Gupta, has been accepted at OOPSLA 2025! :tada:
Jan 11, 2025 TensorRight has received a Distinguished Paper Award at POPL 2025! :sparkles:
Nov 08, 2024 Our paper titled TensorRight: Automated Verification of Tensor Graph Rewrites, led by fellow PhD student Jai Arora, has been accepted at POPL 2025! :tada: