Published Work

Devika Sondhi, Rahul Purandare. SEGATE: Unveiling Semantic Inconsistencies between Code and Specification of String Inputs. ASE 2019. To appear.

 

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.

Sukrit Kalra, Ayush Goel, Dhriti Khanna, Mohan Dhawan, Subodh Sharma, and Rahul Purandare. 2016. POLLUX: safely upgrading dependent application libraries. In Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE 2016). ACM, New York, NY, USA, 290-300.

Pages

Links to tools created by the group

Get in touch with us

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