2018

Ph.D. Thesis, Vinayakarao V., Code variants and their retrieval using knowledge discovery based approaches.

Garvita Allabadi, Aritra Dhar, Ambreen Bashir, Rahul Purandare. 2018. METIS: Resource and Context-Aware Monitoring of Finite State Properties. In international Conference on Runtime Verification (RV'18). Springer, Cham, Limassol, Cyprus. 167-186.

Dhriti Khanna, Subodh Sharma, Cesar Rodríguez, Rahul Purandare. 2018. Dynamic Symbolic Verification of MPI Programs. In International Symposium on Formal Methods (FM'18). Springer, Cham, Oxford, London, UK. 466-484.

Ridhi Jain, Sai Prathik, Venkatesh Vinayakarao, and Rahul Purandare. 2018. A search system for mathematical expressions on software binaries. In Proceedings of the 15th International Conference on Mining Software Repositories (MSR '18). ACM, New York, NY, USA, 487-491.