Uday Khedker

Professor, Department of Computer Science & Engg., IIT Bombay

Current Students

• Ph.D. students: Supriya Bhide,  Anshuman Dhuliya (with Prof. K V Raghavan, IISc Bangalore), Barnali Basak (with Prof. S Biswas), Aditi Raste (registered at Department of Technology, University of Pune), Aushri Jana (registered at Department of Technology, University of Pune), Raseek C (registered at IISc Bangalore with Prof. K V Raghavan).
  
• M.Tech. students: Sridevi, Pavani Karveti.
• B.Tech. students: Hardik Rajpal.
  

Past Students

• Ph.D. (Topic, graduating year, current affiliation).
  
• Komal Pathade. Scalable and precise program analysis, 2021.  (Currently at Synopsys Bangalore).
  
• Swati Rathi Jaiswal. Bidirectionality in flow-sensitive demand-driven analysis, 2019. (Currently at NVIT Nagpur).
  
• Shrawan Kumar (with Prof. Amitabha Sanyal). Scaling up property checking, 2019. (Currently at TCS Research Pune).
  
• Pritam Gharat. Generalized points-to graph: A new Abstraction for memory in presence of pointers, 2018. (Currently at Microsoft Research Bangalore).
  
• Vini Kanvar. Increasing the precision of static analysis of heap, 2018. (Currently at IBM Research Delhi).
  
• Amey Karkare (with Prof. Amitabha Sanyal). Heap Reference Analysis, 2009. (Currently at IIT Kanpur).
  
• Bageshri Sathe. Complexity and Efficiency Issues in Data Flow Analysis, 2008. (Currently at NVIDIA Pune)
  
• Aditya Kanade (with Prof. Amitabha Sanyal). SPOTS: A system for proving optimizing transformations sound, 2007. (Currently at Microsoft Research Bangalore).
• M.Tech. (Graduating year)
  • 2023:Aditya Pradhan, Amogh Parab, Nilesh Kshirsagar, Manjusree M P.
  • 2022: Ayush Sharma, Aviral Singh, Ajinkya Jumbad.
  • 2021: Mehul Jain, Rasesh Tongia, Kaushik Ganorkar.
  • 2020: Akshat Garg, Hemant Thakur, Zubair Khan.
  • 2019: Akshay Gupta, Harsha Maheshwari, Gulnar Khatoon.
  • 2017: Binapani Beria, Sushmita Nikose, Mandar Shinde.
  • 2016: Priyanka Sawant.
  • 2015: Rashmi Rekha Mech.
  • 2014: Avantika Gupta, Alefiya Lightwala, Mahendra Keda Kaklij, Vinit Deodhar.
  • 2013: Rohan Padhye,  Mukta Joglekar, Sumit Dilip Jamgade.
  • 2012: Shetty Netra Suresh, Prachee Yogi, Balkrishna Jeph, Meruva Naga Sreenivas, Prashant Singh Rawat, Badhavat Vinod Kumar (Dual Degree).
    
  • 2011: Mradul Maheshwari, Dhritiman Das, Soumya Prasad Ukil.
    
  • 2010: Sagar Kamble, Shubhangi Agrawal, Swaroop Joshi, Sandhya Rani.
  • 2009: Jaishri Waghmare, Pushpraj Agrawal, Naineet Patel (Dual Degree).
  • 2008: Sameera Deshpande, Faraz Shahbazker.
    
  • 2007: John Kati, Bhaskar Reddy.
    
  • 2006: Amruta Gokhale, Reena Kharat, Sapna Jain.
  • 2005: Mugdha Jain, Sampada Rajadnya, T Rajesh Babu, Sachin Sonawane, Virender Kashyap (Dual Degree).
  • 2004: C Arunkumar, Nitin Jain, Asrar Husain.
  • 2003: Neha Adkar, Abhay Marode.
• B.Tech. (Graduating year)
  • 2023: Devansh Jain, Akshat Gupta.
  • 2019: Bedapudi Vamsi, Turaka Bhavan.
    
  • 2016: Vikas Garg.
  • 2015: Anshul Purohit, Abhishek Gupta, Aamod Kore.
  • 2014: Aditya Bhandari.
  • 2009: Mrutunjay Das.
  • 2008: P. Vishal, Dhananjay Sahasrabuddhe.
    
  • 2006: Vijay Meena, Yashpal Meena.
    

Back to top of the page

Back to the main page