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.