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
Vedant Chavan
JIT Server for Java
Pronajit Dey
Static Analysis for JS
Sania Khokhar
Static Analysis for JS
Mayur Pokharkar
Escape Analysis in GraalVM
Preet Soni
JIT Server, JVM
Ashutosh Sharma
Memory Optimizations in Java
Shreyash Thok
--
Shreerang_Vaidya
SLIM IR, LLVM
Undergraduate Students
Hari S Karthik
--
Harshil Solanki
--
Kardela Balaji
--
Anushka Singhal
--
Mohana Evuri
--
Harith S
--
Alumni
| Sl. No | Name | Graduation year | Topic |
|---|---|---|---|
| Masters Students | |||
| 1 | Bishakha Bera | 2026 | Generalized PTGs |
| 2 | Anamitra Ghorui | 2026 | Multilevel Deduplication Engine |
| 3 | Kush Mangukiya | 2026 | Interprocedural Scalar Replacement |
| 4 | Samarth Tandale | 2026 | Object Flattening for Value Types |
| 5 | Skarma Yangskit | 2026 | VASCO Framework |
| Undergraduate Students | |||
| 1 | Mugdha Bilotia | 2026 | |
| 2 | Vishal Bysani | 2026 | |
| 3 | Anirudh Garg | 2026 | JavaScript, Static Analysis |
| 4 | Arnav Garg | 2026 | |
| 5 | Kavya Gupta | 2026 | Java, Static Analysis |
| 6 | Tanishka Kabra | 2026 | |
| 7 | Mayank Kumar | 2026 | |
| 8 | Vinayak Lal | 2026 | |
| 9 | Awez Mehtab | 2026 | |
| 10 | Sai Deepthika N | 2026 | |
| 11 | Eshaan Pareek | 2026 | |
| Visitors/Interns | |||
| 1 | Gauravsingh Sisodia | 2026 | Modernising TamiFlex for Latest Java Versions |
| 2 | Aneeket Yadav | 2026 | JavaScript, Static Analysis |
| 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 |
×
![]()