Rahul Purandare

According to our database, Rahul Purandare authored at least 40 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Improving Cross-Language Code Clone Detection via Code Representation Learning and Graph Neural Networks.

Nikita Mehrotra, Akash Sharma, Anmol Jindal, Rahul Purandare

IEEE Trans. Software Eng., November, 2023

Rapid: Region-Based Pointer Disambiguation.

Khushboo Chitre, Piyus Kedia, Rahul Purandare

Proc. ACM Program. Lang., October, 2023

CGuard: Scalable and Precise Object Bounds Protection for C.

Piyus Kedia, Rahul Purandare, Udit Kumar Agarwal, Rishabh

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Verifying Exception-Handling Code in Concurrent Libraries.

Dhriti Khanna, Subodh Sharma, Rahul Purandare

Proceedings of the 30th Asia-Pacific Software Engineering Conference, 2023

2022

Mining Similar Methods for Test Adaptation.

Devika Sondhi, Mayank Jobanputra, Divya Rani, Salil Purandare, Sakshi Sharma, Rahul Purandare

IEEE Trans. Software Eng., 2022

Including Everyone, Everywhere: Understanding Opportunities and Challenges of Geographic Gender-Inclusion in OSS.

Gede Artha Azriadi Prana, Denae Ford, Ayushi Rastogi, David Lo, Rahul Purandare, Nachiappan Nagappan

IEEE Trans. Software Eng., 2022

Modeling Functional Similarity in Source Code With Graph-Based Siamese Networks.

Nikita Mehrotra, Navdha Agarwal, Piyush Gupta, Saket Anand, David Lo, Rahul Purandare

IEEE Trans. Software Eng., 2022

BiRD: Race Detection in Software Binaries under Relaxed Memory Models.

Ridhi Jain, Rahul Purandare, Subodh Sharma

ACM Trans. Softw. Eng. Methodol., 2022

The road not taken: exploring alias analysis based optimizations missed by the compiler.

Khushboo Chitre, Piyus Kedia, Rahul Purandare

Proc. ACM Program. Lang., 2022

Optimal Finite-State Monitoring of Partial Traces.

Peeyush Kushwaha, Rahul Purandare, Matthew B. Dwyer

Proceedings of the Runtime Verification - 22nd International Conference, 2022

2021

CGuard: Efficient Spatial Safety for C.

Piyus Kedia, Rahul Purandare, Udit Kumar Agarwal, Rishabh

CoRR, 2021

Synthesizing Multi-threaded Tests from Sequential Traces to Detect Communication Deadlocks.

Dhriti Khanna, Rahul Purandare, Subodh Sharma

Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021

Dataset to Study Indirectly Dependent Documentation in GitHub Repositories.

Devika Sondhi, Avyakt Gupta, Salil Purandare, Ankit Rana, Deepanshu Kaushal, Rahul Purandare

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

On Indirectly Dependent Documentation in the Context of Code Evolution: A Study.

Devika Sondhi, Avyakt Gupta, Salil Purandare, Ankit Rana, Deepanshu Kaushal, Rahul Purandare

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

2020

Replacements and Replaceables: Making the Case for Code Variants.

Venkatesh Vinayakarao, Devika Sondhi, Sumit Keswani, Rahul Purandare, Anita Sarma

CoRR, 2020

Optimal Runtime Verification of Finite State Properties over Lossy Event Streams.

Peeyush Kushwaha, Rahul Purandare, Matthew B. Dwyer

CoRR, 2020

Verifying and Testing Concurrent Programs using Constraint Solver based Approaches.

Dhriti Khanna, Rahul Purandare, Subodh Sharma

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020

JCoffee: Using Compiler Feedback to Make Partial Code Snippets Compilable.

Piyush Gupta, Nikita Mehrotra, Rahul Purandare

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020

2019

A report on 1st Software Engineering Research in India Update Meeting (SERI 2019).

Sai Anirudh Karre, Lalit Mohan S., Y. Raghu Reddy, K. V. Raghavan, R. D. Naik, Rahul Purandare, Amey Karkare

ACM SIGSOFT Softw. Eng. Notes, 2019

SEGATE: Unveiling Semantic Inconsistencies between Code and Specification of String Inputs.

Devika Sondhi, Rahul Purandare

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Similarities Across Libraries: Making a Case for Leveraging Test Suites.

Devika Sondhi, Divya Rani, Rahul Purandare

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

2018

METIS: Resource and Context-Aware Monitoring of Finite State Properties.

Garvita Allabadi, Aritra Dhar, Ambreen Bashir, Rahul Purandare

Proceedings of the Runtime Verification - 18th International Conference, 2018

A search system for mathematical expressions on software binaries.

Ridhi Jain, Sai Prathik, Venkatesh Vinayakarao, Rahul Purandare

Proceedings of the 15th International Conference on Mining Software Repositories, 2018

Dynamic Symbolic Verification of MPI Programs.

Dhriti Khanna, Subodh Sharma, César Rodríguez, Rahul Purandare

Proceedings of the Formal Methods - 22nd International Symposium, 2018

2017

ANNE: Improving Source Code Search using Entity Retrieval Approach.

Venkatesh Vinayakarao, Anita Sarma, Rahul Purandare, Shuktika Jain, Saumya Jain

Proceedings of the Tenth ACM International Conference on Web Search and Data Mining, 2017

2016

POLLUX: safely upgrading dependent application libraries.

Sukrit Kalra, Ayush Goel, Dhriti Khanna, Mohan Dhawan, Subodh Sharma, Rahul Purandare

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

REVERT: Runtime Verification for Real-Time Systems.

Sangeeth Kochanthara, Geoffrey Nelissen, David Pereira, Rahul Purandare

Proceedings of the 2016 IEEE Real-Time Systems Symposium, 2016

KIRKE: Re-engineering of Web Applications to Mobile Apps.

Rohit Mehra, Vinayak Naik, Rahul Purandare, Kapish Malik

Proceedings of the 13th International Conference on Mobile and Ubiquitous Systems: Computing, 2016

2015

CLOTHO: saving programs from malformed strings and incorrect string-handling.

Aritra Dhar, Rahul Purandare, Mohan Dhawan, Suresh Rangaswamy

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Structurally Heterogeneous Source Code Examples from Unstructured Knowledge Sources.

Venkatesh Vinayakarao, Rahul Purandare, Aditya V. Nori

Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, 2015

2014

Chiromancer: a tool for boosting Android application performance.

Samit Anwer, Aniya Aggarwal, Rahul Purandare, Vinayak Naik

Proceedings of the 1st International Conference on Mobile Software Engineering and Systems, 2014

2013

Distributed Finite-State Runtime Monitoring with Aggregated Events.

Kevin Falzon, Eric Bodden, Rahul Purandare

Proceedings of the Runtime Verification - 4th International Conference, 2013

Optimizing monitoring of finite state properties through monitor compaction.

Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum

Proceedings of the International Symposium on Software Testing and Analysis, 2013

2012

Extracting conditional component dependence for distributed robotic systems.

Rahul Purandare, Javier Darsie, Sebastian G. Elbaum, Matthew B. Dwyer

Proceedings of the 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2012

2011

Monitoring Finite State Properties: Algorithmic Approaches and Their Relative Strengths.

Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum

Proceedings of the Runtime Verification - Second International Conference, 2011

2010

Runtime Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis?

Matthew B. Dwyer, Rahul Purandare, Suzette Person

Proceedings of the Runtime Verification - First International Conference, 2010

Monitor optimization via stutter-equivalent loop transformation.

Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

2008

Residual Checking of Safety Properties.

Matthew B. Dwyer, Rahul Purandare

Proceedings of the Model Checking Software, 2008

2007

Residual dynamic typestate analysis exploiting static analysis: results to reformulate and reduce the cost of dynamic analysis.

Matthew B. Dwyer, Rahul Purandare

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Parallel Randomized State-Space Search.

Matthew B. Dwyer, Sebastian G. Elbaum, Suzette Person, Rahul Purandare

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007