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
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
Anirudh Garg
JavaScript, Static Analysis
Kavya Gupta
Static Analysis, Java
Mayank Kumar
--
Vinayak Lal
--
Sai Deepthika N
--
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 |
×
![]()