News & Events

Travel grant approved from ACM-India/IARCS

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.

Paper Acceptance at FM 2018

The paper titled "Dynamic Symbolic Verification of MPI Programs" authored by Dhriti Khanna (IIIT-Delhi), Subodh Sharma (IIT-Delhi), César Rodríguez (Université Paris), and Rahul Purandare (IIIT-Delhi) is accepted for presentation at the 22nd International Symposium on Formal Methods and for publication in the conference proceedings. This year, the conference will be held in Oxford, UK. Congratulations to all the authors!!

Ridhi receives a travel grant from FormaliSE

Ridhi Jain has received a travel grant from FormaliSE to attend FormaliSE 2018 and present her research in the conference to be held this June in Gothenburg, Sweden. She will also attend MSR 2018, this May, to present her paper accepted at MSR 2018, for which she recently received a travel grant from Microsoft Research. Congratulations Ridhi!

Microsoft Research India supports Ridhi's travel to present her paper at MSR 2018

Ridhi receives a travel grant from Microsoft Research India to present a paper, co-authored by her, titled: "A Search System for Mathematical Expressions on Software Binaries" accepted at the Mining Software Repositories (MSR 2018) in Gothenburg, Sweden in May 2018.

Devika receives Prime Minister's fellowship

Devika Sondhi has been awarded the prestigious PM Fellowship. The industrial partner with her fellowship is Microsoft Research. Congratulations to Devika and Dr. Rahul Purandare!

The PM Fellowship is aimed at encouraging young, talented, enthusiastic and result-oriented scholars to take up industry-relevant research. Under this scheme, the full-time PhD scholars get double the money that they would otherwise get for doing research.

Acceptance in MSR 2018

The paper titled "A Search System for Mathematical Expressions on Software Binaries" has been accepted for publication in the proceedings of The 15th International Conference on Mining Software Repositories to be held at Gothenburg, Sweden. Congratulations to the authors - Ridhi Jain, Sai Prathik Saba Bama, Venkatesh Vinayakarao and Rahul Purandare. MSR received a total of 154 submissions (113 full and 41 short); out of the 113 full paper submissions, MSR accepted 37 papers, and out of the 41 short paper submissions, they accepted 11.


Links to tools created by the group

Get in touch with us

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