Sangeeth and Yogesh convocated

12 December 2016

27 November 2016

Venkatesh's application "Modeling Source Code to Support Retrieval-Based Applications" has been accepted at WSDM Doctoral Consortium 2017. The...

24 October 2016

Tool paper "REVERT: A Monitor...

20 October 2016

Paper titled ANNE: Improving Source Code Search using Entity Retrieval Approach gets accepted in WSDM'17. The authors are: Venkatesh...

20 September 2016

Poster paper titled,"REVERT: Runtime Verification for Real Time Systems" accepted for IEEE Real-Time Systems Symposium (RTSS) conference...

20 September 2016

Paper titled, "KIRKE: Re-engineering of Web Applications to Mobile Apps" accepted for 13th Annual International Conference on Mobile and...

9 September 2016

Dr. Diptikalyan Saha visited IIIT-Delhi on September 9th, 2016. He gave a talk on his recent research work titled "ATHENA: An Ontology-Driven...

27 August 2016

Yogesh and Sangeeth get M.Tech. degrees.

10 August 2016

On 10th August 2016, Dr. Santosh Nagarakatte delivered a talk on Lightweight Formal Methods for LLVM Verification. Dr. Nagarakatte, an Assistant...

9 June 2016

With the growing volume of information and information needs, technology support to retrieve information has become indispensable. We focus on...

Lastest News