Jai Arora -

Registered user since Wed 13 Nov 2024

Name:Jai Arora

Country:United States

Affiliation:University of Illinois at Urbana-Champaign

Personal website: https://jaiarora0011.github.io/

GitHub: https://github.com/jaiarora0011

Research interests:Compilers, Formal Methods

Contributions

2025

POPL

Author of TensorRight: Automated Verification of Tensor Graph Rewrites within the POPL-track