Dhriti receives a travel grant of INR 60,000 from ACM-India/IARCS for her paper "Dynamic Symbolic Verification of MPI Programs" accepted in FM. This will partly cover her travel expenses for Oxford, UK where the conference is organized this year.
Venkatesh's application "Modeling Source Code to Support Retrieval-Based Applications" has been accepted at WSDM Doctoral Consortium 2017. The...
Tool paper "REVERT: A Monitor...
Paper titled ANNE: Improving Source Code Search using Entity Retrieval Approach gets accepted in WSDM'17. The authors are: Venkatesh...
Poster paper titled,"REVERT: Runtime Verification for Real Time Systems" accepted for IEEE Real-Time Systems Symposium (RTSS) conference...
Paper titled, "KIRKE: Re-engineering of Web Applications to Mobile Apps" accepted for 13th Annual International Conference on Mobile and...
Dr. Diptikalyan Saha visited IIIT-Delhi on September 9th, 2016. He gave a talk on his recent research work titled "ATHENA: An Ontology-Driven...
Yogesh and Sangeeth get M.Tech. degrees.
On 10th August 2016, Dr. Santosh Nagarakatte delivered a talk on Lightweight Formal Methods for LLVM Verification. Dr. Nagarakatte, an Assistant...
With the growing volume of information and information needs, technology support to retrieve information has become indispensable. We focus on...
pagadmin@iiitd.ac.in