Published Work

Piyush Gupta, Nikita Mehrotra, and Rahul Purandare. Jcoffee: Using compiler feedback to make partial code snippets compilable. ICSME Tool Tracks 2020.

Devika Sondhi, Rahul Purandare. SEGATE: Unveiling Semantic Inconsistencies between Code and Specification of String Inputs. 34th IEEE/ACM International Conference on Automated Software Engineering (ASE'19). IEEE, San Diego, CA, USA. 200-212.

Devika Sondhi, Divya Rani and Rahul Purandare. 2019. Similarities Across Libraries: Making a Case for Leveraging Test Suites. 12th IEEE Conference on Software Testing, Validation and Verification (ICST'19). IEEE, Xi'an, China. 79-89.

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.

Venkatesh Vinayakarao, Anita Sarma, Rahul Purandare, Shuktika Jain, and Saumya Jain. 2017. ANNE: Improving Source Code Search using Entity Retrieval Approach. In Proceedings of the Tenth ACM International Conference on Web Search and Data Mining (WSDM '17). ACM, New York, NY, USA, 211-220.

Sangeeth Kochanthara, Geoffrey Nelissen, David Pereira and Rahul Purandare. REVERT: Runtime Verification for Real-Time Systems. 2016. IEEE Real-Time Systems Symposium (RTSS'16), Porto. 365-365.

Rohit Mehra, Vinayak Naik, Rahul Purandare, and Kapish Malik. 2016. KIRKE: Re-engineering of Web Applications to Mobile Apps. In Proceedings of the 13th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MOBIQUITOUS 2016). ACM, New York, NY, USA, 135-142.


Links to tools created by the group

Get in touch with us

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