Detection of Distracted Driver using Convolution Neural Network. - Narayana Darapaneni; Jai Arora; MoniShankar Hazra; Naman Vig; Simrandeep Singh Gandhi; Saurabh Gupta; Anwesh Reddy Paduri (CoRR, 2022)

TensorRight: Automated Verification of Tensor Graph Rewrites. - Jai Arora; Sirui Lu; Devansh Jain 001; Tianfan Xu; Farzin Houshmand; Phitchaya Mangpo Phothilimthana; Mohsen Lesani; Praveen Narayanan; Karthik Srinivasa Murthy; Rastislav Bodík; Amit Sabne; Charith Mendis (Proc. ACM Program. Lang., 2025)