News & Events

Best Paper Award

The paper METIS: Resource and Context Aware Monitoring of Finite State Properties has been chosen as the Best Paper in the conference Runtime Verification, 2018. Congratulations to the team: Garvita, Aritra, Ambreen, and Dr. Purandare.

Paper accepted in RV 2018

Congratulations to Garvita Allabadi, Aritra Dhar, Ambreen Bashir, and Dr. Purandare for their paper titled "METIS: Resource- and Context-Aware Monitoring of Finite State Properties" getting accepted in Runtime Verification 2018. The 18th International Conference on Runtime Verification will take place in Limassol, Cyprus on 10-13 November, 2018

Venkatesh got his PhD. degree

Congratulations to Dr. Venkatesh Vinayakarao for his doctoral degree. All the best for the future!

Venkatesh's Thesis Defense

We are proud to announce that Venkatesh successfully defended his thesis work on 14th August, 2018. He did his Ph.D. work in about 4 years and published at good venues. Many congratulations Venkatesh and to Dr. Purandare!

Dhriti presented her work at FM 2018

Dhriti presented her paper titled "Dynamic Symbolic Verification of MPI Programs" co-authored by Subodh Sharma, Cesar Rodriguez, and Rahul Purandare at the 22nd International Symposium on Formal Methods (FM' 18) held in Oxford, UK from 14th to 17th July. She received a travel support from ACM India, and FLoC.

Ridhi Presented her work at MSR 2018

Ridhi presented her paper titled "A Search System for Mathematical Expressions on Software Binaries" co-authored by Sai Prathik, Venkatesh Vinayakarao, and Rahul Purandare at the 15th International Conference on Mining Software Repositories (MSR' 18) held in Gothenburg, Sweden on 28th and 29th May. Ridhi received a travel support from Microsoft Research and Chalmers University of Technology, Göteborg.


Links to tools created by the group

Get in touch with us

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