News & Events
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 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.
Dhriti's research abstract has been accepted to be presented in FM Doctorial Symposium. This symposium will be held in Oxford, UK on 14th July, 2018.
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.
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 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!
Pages
Links to tools created by the group
Interesting External Links
Education - This is a contributing Drupal Theme
Design by
WeebPal.
