Faculty
Uday Khedker
Programming Languages, Compilers, Program Analysis
Manas Thakur
Program Analysis, Compilers, Programming Languages
Staff
PhD Students
Aditya Anand
Java, JVM, Static + Dynamic Analysis
Supriya Bhide
C/C++, LLVM, Static Analysis, SSA
Meetesh Mehta
JavaScript, JIT, Static Analysis
Jayasri PA
--
Masters Students
Bishakha Bera
Generalized PTGs
Vedant Chavan
--
Anamitra Ghorui
SLIM IR, Whole-Program Analysis
Sania Khokhar
--
Kush Mangukiya
Scalar Replacement in Java
Preet Soni
JIT Server, JVM
Samarth Tandale
Garbage Collection in Java
Skarma Yangskit
VASCO Framework
Undergraduate Students
Mugdha Bilotia
--
Vishal Bysani
--
Anirudh Garg
JavaScript, Static Analysis
Arnav Garg
--
Kavya Gupta
Static Analysis, Java
Tanishka Kabra
--
Mayank Kumar
--
Vinayak Lal
--
Awez Mehtab
--
Sai Deepthika N
--
Eshaan Pareek
--
Aneeket Yadav
JavaScript, Static Analysis
Alumni
| Sl. No | Name | Graduation year | Topic |
|---|---|---|---|
| Masters Students | |||
| 1 | Anadi Mitra | 2025 | Polyglot Program Analysis and Optimization |
| 2 | Rohit Singh Yadav | 2025 | Java Garbage Collection |
| 3 | Priyanshi Gupta | 2025 | Pointer Analysis using Coalescing Algorithm |
| 4 | Rashmi Kokare | 2025 | VASCO Framework |
| 5 | Lorenzo Prosch | 2025 | Code Refactoring to Enable Value Types in Java |
| Undergraduate Students | |||
| 1 | Gargi Bakshi | 2025 | Static Analysis, Heap Reference Analysis |
| 2 | Palle Bhavana | 2025 | Static Analysis, Heap Reference Analysis |
| 3 | Ameya Deshmukh | 2025 | Java, Static Analysis |
| 4 | Chaitanya Garg | 2025 | Static Analysis, SLIM |
| 5 | Om Godage | 2025 | SLIM for Analysis and Optimizations |
| 6 | Suven Jagtiani | 2025 | Java, Static Analysis, Stack Allocation |
| 7 | Arpana Prajapati | 2025 | CoS-SSA for Recursive Programs |
| 8 | Sathwika Reddy | 2025 | CoS-SSA for Recursive Programs |
| 9 | Aman Sharma | 2025 | SSA, SLIM IR |
| Visitors/Interns | |||
| 1 | Ruchika Shirsath | 2025 | MOSS, C++ |
| 2 | Bhavya Hirani | 2025 | Java, Static Analysis, Value Types |
| Sl. No | Name | Graduation year | Topic |
|---|---|---|---|
| Masters Students | |||
| 1 | Sridevi Harish | 2024 | VASCO Framework |
| 2 | Pavani Karveti | 2024 | Generalized PTGs |
| Undergraduate Students | |||
| 1 | Hardik Rajpal | 2024 | CoSSA, LLVM |
| 2 | Poorna Teja | 2024 | Handling Reflection in Java, Tamiflex |
| 3 | Vatsal Goyal | 2024 | Scalar Replacement for Java |
| Visitors/Interns | |||
| 1 | Arjun H Kumar | 2024 | Value Types, Java, Static Analysis |
| 2 | Akshat Oke | 2024 | Compiler Optimizations and LLVM |
×
![]()