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.

Links to tools created by the group

Get in touch with us

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