Published Work

D Khanna, S Sharma, C Rodríguez and R Purandare, Dynamic Symbolic Verification of MPI Programs, FM 2018

R Jain, S P S Bama, V Vinayakarao and R Purandare, A Search System for Mathematical Expressions on Software Binaries, MSR 2018

V Vinayakarao, A Sarma, R Purandare, S Jain, and S Jain, ANNE: Improving Source Code Search using Entity Retrieval Approach, WSDM 2017.

S Kochanthara, G Nelissen, D Pereira, R Purandare. REVERT: Runtime Verification for Real-Time Systems, RTSS work-in-progress track 2016.
To appear.

R Mehra, V Naik, R Purandare and K Malik. KIRKE: Re-engineering of Web Applications to Mobile Apps, MobiQuitous 2016.
To appear.

S. Kalra, A. Goel, D. Khanna, M. Dhawan, S. Sharma and R. Purandare. "POLLUX: Safely Upgrading Dependent Application Libraries", FSE 2016.
To appear.

A. Dhar, R. Purandare, M. Dhawan and R. Suresh, "Clotho: Saving Programs from Malformed Strings and Incorrect String-Handling", ESEC/FSE 2015.

Venkatesh Vinayakarao, Rahul Purandare, and Aditya V. Nori. 2015. "Structurally Heterogeneous Source Code Examples from Unstructured Knowledge Sources". PEPM '15.

Venkatesh Vinayakarao. 2015. "Spotting familiar code snippet structures for program comprehension". ESEC/FSE 2015.

S. Anwer, A. Aggarwal, R. Purandare, and V. Naik,"Chiromancer: a tool for boosting Android application performance" MOBILESoft 2014.

Links to tools created by the group

Get in touch with us

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