News & Events

Paper accepted in WSDM 2017

Paper titled ANNE: Improving Source Code Search using Entity Retrieval Approach gets accepted in WSDM'17. The authors are: Venkatesh Vinayakarao, Anita Sarma, Rahul Purandare, Shuktika Jain and Saumya Jain.

Poster accepted in RTSS 2016

Poster paper titled,"REVERT: Runtime Verification for Real Time Systems" accepted for IEEE Real-Time Systems Symposium (RTSS) conference. This is to be held in Porto, Portugal from November 29 - December 2, 2016. Authors are: Sangeeth K., Geoffrey Nellisen, David Pereira, and Rahul Purandare.

Paper accepted in MobiQuitous 2016

Paper titled, "KIRKE: Re-engineering of Web Applications to Mobile Apps" accepted for 13th Annual International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous 2016) Industry Track. To be held in Hiroshima, Japan from November 28 - December 1, 2016. Authors are: Rohit Mehra, Dr. Vinayak Naik, Dr. Rahul Purandare and Kapish Malik.

Seminar talk by Dr. DiptiKalyan Saha

Dr. Diptikalyan Saha visited IIIT-Delhi on September 9th, 2016. He gave a talk on his recent research work titled "ATHENA: An Ontology-Driven System for Natural Language Querying over Relational Data Stores" which was presented in VLDB 2016. Talk is about ATHENA, an ontology-driven system for natural language querying of complex relational databases. Natural language interfaces to databases enable users easy access to data, without the need to learn a complex query language, such as SQL.

Sangeeth and Yogesh convocated

Yogesh and Sangeeth get M.Tech. degrees.

Seminar talk by Dr. Santosh Nagarkatte

On 10th August 2016, Dr. Santosh Nagarakatte delivered a talk on Lightweight Formal Methods for LLVM Verification. Dr. Nagarakatte, an Assistant Professor at Rutgers University, primarily conducts research in hardware-software interfaces spanning programming languages, compilers, runtimes, and computer architecture.


Links to tools created by the group

Get in touch with us

Education - This is a contributing Drupal Theme
Design by WeebPal.