News & Events

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.

Venkatesh successfully defended his comprehensive exam

With the growing volume of information and information needs, technology support to retrieve information has become indispensable. We focus on information retrieval (IR) of a specic type of content, namely, source code. Source code retrieval has attracted the attention of several researchers in the last decade. This research has resulted in several useful applications such as code completion, example search, plagiarism detection, automated feedback for programming assignments, feature location, and bug localization.


Links to tools created by the group

Get in touch with us

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