Research Students
  • Shalini Kaleeswaran (PhD, Thesis under review)
    Program repair by automated hint generation

    First job: Arista Networks
  • Mohammed Afraz (MTech by Research, 2015)
    P3: An effective technique for partitioned path profiling

    First job: Goldman Sachs
  • Jay Thakkar (MTech by Research, 2013)
    Transducer-based algorithmic verification of retransmission protocols over noisy channels
    First job: Flipkart
  • Pranavadatta Devaki (MTech by Research, 2012)
    Checking data compatibility of programs
    First job: IBM Research, India
MTech Project Students
Pradeep Kumar Kudikala* (2016); Arti Bhat, Priyanka Mondal (2015); Maisagoni Chaithanya (2014); Ankit Dixit, Varun Tulsian, Preeti Vadde (2013); Omesh Pandita (2012); Anirudh Santhiar, Praveen Nayaka* (2011)

External and Visiting Students
Thomas Lemberger (Exchange student, University of Passau, Germany, Fall 2016), Navya R.S. (Summer intern, NIT Surathkal, 2016), Yogesh Kumari (MTech student, IIIT Delhi, 2016, co-supervised with Rahul Purandare), Yogesh Kumari and Udayan Tandon (Visitors, IIIT Delhi, Dec 2015), Sahana V.P. (Summer intern, NIT Surathkal, 2013)

* Co-supervised with Shirish Shevade