News & Events
Recently, Dr. Purandare introduced the Amit Semwal Best Student Award in the Program Analysis (PA) course. The award is in remembrance of Amit, who was one of the students when the PA course was first offered at IIITD, in 2013. He not only showed qualities of academic excellence in the course, but also he was equally helpful towards his peers and showed great enthusiasm towards exploring Program Analysis field as a researcher.
Venkatesh presented his research at the doctoral symposium in NIIT University, Neemrana, Rajasthan, India on 24th Sep 2017. Overall, 17 research scholars from reputed institutions in India such as IIT, IIIT, IISc, and NIT participated in the event.
We are glad to announce that Dhriti Khanna (Ph.D. scholar) has been awarded the prestigious TCS scholarship under TCS Research Scholar Program from July 2016 to June 2020. Dhriti is working with Dr. Rahul Purandare (IIIT Delhi) and Dr. Subodh Sharma (IIT Delhi) since August 2015. Her broad area of research is Program Analysis. Currently, she is working to analyze message passing based programs for providing safety guarantees.
He will be working with the InnerEye team at Microsoft, as a Research Intern. InnerEye is a research project that uses state of the art artificial intelligence to build innovative image analysis tools to help doctors treat diseases such as cancer in a more targeted and effective way. His internship period starts from April 17.
Venkatesh presented his recently accepted work "ANNE: Improving Source Code Search Using Entity Retrieval Approach" at International Conference on Web Search and Data Mining, WSDM 2017. The conference was held in Cambridge, UK. The acceptance rate of the conference is 16%.
Dr. Murali Krishna from IISc Bangalore, visited us for a seminar talk on 4th Jan 2017. He talked about the work he has done with his PhD student, Malvika Samak. Dr. Murali Krishna spoke on "Targeted Client Synthesis for Detecting Concurrency Bugs". Dr. Krishna explained the difference between random synthesis and targeted synthesis for assessing thread deadlocks.
Pages
Links to tools created by the group
Interesting External Links
Education - This is a contributing Drupal Theme
Design by
WeebPal.
