Aman Nougrahiya 🔗

Mentor: Krishna Nandivada
Research: Compiler Optimizations for Parallel Programs
Email: amannoug [at] domain

S R Swamy Saranam Chongala

Mentor: Madhu Mutyam
Email: srswamy [at] domain

Praseetha M

Mentor: Madhu Mutyam
Email: cs19d008 [at] domain

Kasaraneni Ramya

Mentor: Krishna Nandivada
Email: cs19d003 [at] domain

Vimala S 🔗

Mentor: Kartik Nagar, KC Sivaramakrishnan
Research: Formal Verification, Distributed Systems
Email: cs19d750 [at] domain

Ashwina Kumar

Mentor: Rupesh Nasre
Research: Graph DSL
Email: cs20d016 [at] domain

Divya Rathore

Mentor: Kartik Nagar
Research: Program Verification
Email: cs21d011 [at] domain

Kranti Bhimrao ingale 🔗

Mentor: Madhu Mutyam
Research: Computer Architecture
Email: cs22d003 [at] domain

Mullai Thiagu

Mentor: Sankara J. Subramanian, Rupesh Nasre
Research: 3D Digital Image Correlation
Email:

Yuvraj talukdar 🔗

Mentor: Krishna Nandivada
Research: Optimization/Analysis of Parallel programs
Email: cs23d009 [at] domain

Abdun Nihaal 🔗

Mentor: Chester Rebeiro, Madhu Mutyam
Research: Operating systems security
Email: cs23d008 [at] domain

Omkar Dilip Dhawal

Mentor: Krishna Nandivada
Research: Compilers
Email: cs21d202 [at] domain

Nitish Yadav 🔗

Mentor: Kartik Nagar
Research: Program Verification
Email: cs23d011 [at] domain

Arun Prabhakar

Mentor: Krishna Nandivada
Research: Compiler Design
Email: cs23d012 [at] domain

Prasoon Mishra

Mentor: Krishna Nandivada
Research: Parallel Programming
Email: cs20s028 [at] domain

Adhar Dua

Mentor: Madhu Mutyam
Research: Computer Architecture
Email: cs20s040 [at] domain

Amit Tiwari

Mentor: Krishna Nandivada
Research: High Performance Computing
Email: cs21s023 [at] domain

Bhaskar Banerjee

Mentor: Rupesh Nasre
Research: Graph DSL
Email: cs22s024 [at] domain

Venkata Naga Sai Rohit Kanteti 🔗

Mentor: Krishna Nandivada
Research: Compilers
Email: cs23s019 [at] domain

Sudeep Chowdhary 🔗

Mentor: Krishna Nandivada
Research: Compilers
Email: cs23s002 [at] domain

Robert K Samuel 🔗

Mentor: Rupesh Nasre
Research: HPC, Compilers
Email: cs23s042 [at] domain

Divyanshu Upadhyay 🔗

Mentor: Kartik Nagar
Research: Automated Formal Verification
Email: cs23s031 [at] domain

Jay R Rathi

Mentor: Kartik Nagar
Research: Verification
Email: cs24s001 [at] domain

Mathew Thomas 🔗

Mentor: Rupesh Nasre
Research: High Performance Computing, Compilers
Email: cs22m056 [at] domain

Malladi Tejasvi

Mentor: Rupesh Nasre
Research: StarPlat: Graph Neural Networks' Multi-Backend Parallel Code Generation
Email: cs23m036 [at] domain