Rahul Purandare

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 31

Top Topics

Constraint Solver

Android Application

Top Venues

IEEE Trans. Software Eng.

Proc. ACM Program. Lang.

Publications

Khushboo Chitre, Piyus Kedia, Rahul Purandare
Rapid: Region-Based Pointer Disambiguation. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Nikita Mehrotra, Akash Sharma, Anmol Jindal, Rahul Purandare
Improving Cross-Language Code Clone Detection via Code Representation Learning and Graph Neural Networks. IEEE Trans. Software Eng. 49 (11) (2023)
Dhriti Khanna, Subodh Sharma, Rahul Purandare
Verifying Exception-Handling Code in Concurrent Libraries. APSEC (2023)
Piyus Kedia, Rahul Purandare, Udit Kumar Agarwal, Rishabh
CGuard: Scalable and Precise Object Bounds Protection for C. ISSTA (2023)
Peeyush Kushwaha, Rahul Purandare, Matthew B. Dwyer
Optimal Finite-State Monitoring of Partial Traces. RV (2022)
Nikita Mehrotra, Navdha Agarwal, Piyush Gupta, Saket Anand, David Lo, Rahul Purandare
Modeling Functional Similarity in Source Code With Graph-Based Siamese Networks. IEEE Trans. Software Eng. 48 (10) (2022)
Gede Artha Azriadi Prana, Denae Ford, Ayushi Rastogi, David Lo, Rahul Purandare, Nachiappan Nagappan
Including Everyone, Everywhere: Understanding Opportunities and Challenges of Geographic Gender-Inclusion in OSS. IEEE Trans. Software Eng. 48 (9) (2022)
Ridhi Jain, Rahul Purandare, Subodh Sharma
BiRD: Race Detection in Software Binaries under Relaxed Memory Models. ACM Trans. Softw. Eng. Methodol. 31 (4) (2022)
Devika Sondhi, Mayank Jobanputra, Divya Rani, Salil Purandare, Sakshi Sharma, Rahul Purandare
Mining Similar Methods for Test Adaptation. IEEE Trans. Software Eng. 48 (7) (2022)
Khushboo Chitre, Piyus Kedia, Rahul Purandare
The road not taken: exploring alias analysis based optimizations missed by the compiler. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Piyus Kedia, Rahul Purandare, Udit Kumar Agarwal, Rishabh
CGuard: Efficient Spatial Safety for C. CoRR (2021)
Devika Sondhi, Avyakt Gupta, Salil Purandare, Ankit Rana, Deepanshu Kaushal, Rahul Purandare
On Indirectly Dependent Documentation in the Context of Code Evolution: A Study. ICSE (2021)
Devika Sondhi, Avyakt Gupta, Salil Purandare, Ankit Rana, Deepanshu Kaushal, Rahul Purandare
Dataset to Study Indirectly Dependent Documentation in GitHub Repositories. ICSE (Companion Volume) (2021)
Dhriti Khanna, Rahul Purandare, Subodh Sharma
Synthesizing Multi-threaded Tests from Sequential Traces to Detect Communication Deadlocks. ICST (2021)
Gede Artha Azriadi Prana, Denae Ford, Ayushi Rastogi, David Lo, Rahul Purandare, Nachiappan Nagappan
Including Everyone, Everywhere: Understanding Opportunities and Challenges of Geographic Gender-Inclusion in OSS. CoRR (2020)
Nikita Mehrotra, Navdha Agarwal, Piyush Gupta, Saket Anand, David Lo, Rahul Purandare
Modeling Functional Similarity in Source Code with Graph-Based Siamese Networks. CoRR (2020)
Peeyush Kushwaha, Rahul Purandare, Matthew B. Dwyer
Optimal Runtime Verification of Finite State Properties over Lossy Event Streams. CoRR (2020)
Venkatesh Vinayakarao, Devika Sondhi, Sumit Keswani, Rahul Purandare, Anita Sarma
Replacements and Replaceables: Making the Case for Code Variants. CoRR (2020)
Piyush Gupta, Nikita Mehrotra, Rahul Purandare
JCoffee: Using Compiler Feedback to Make Partial Code Snippets Compilable. ICSME (2020)
Piyush Gupta, Nikita Mehrotra, Rahul Purandare
JCoffee: Using Compiler Feedback to Make Partial Code Snippets Compilable. CoRR (2020)
Dhriti Khanna, Rahul Purandare, Subodh Sharma
Verifying and Testing Concurrent Programs using Constraint Solver based Approaches. ICSME (2020)
Sai Anirudh Karre, Lalit Mohan S., Y. Raghu Reddy, K. V. Raghavan, R. D. Naik, Rahul Purandare, Amey Karkare
A report on 1st Software Engineering Research in India Update Meeting (SERI 2019). ACM SIGSOFT Softw. Eng. Notes 44 (3) (2019)
Devika Sondhi, Divya Rani, Rahul Purandare
Similarities Across Libraries: Making a Case for Leveraging Test Suites. ICST (2019)
Devika Sondhi, Rahul Purandare
SEGATE: Unveiling Semantic Inconsistencies between Code and Specification of String Inputs. ASE (2019)
Garvita Allabadi, Aritra Dhar, Ambreen Bashir, Rahul Purandare
METIS: Resource and Context-Aware Monitoring of Finite State Properties. RV (2018)
Dhriti Khanna, Subodh Sharma, César Rodríguez, Rahul Purandare
Dynamic Symbolic Verification of MPI Programs. FM (2018)
Ridhi Jain, Sai Prathik, Venkatesh Vinayakarao, Rahul Purandare
A search system for mathematical expressions on software binaries. MSR (2018)
Venkatesh Vinayakarao, Anita Sarma, Rahul Purandare, Shuktika Jain, Saumya Jain
ANNE: Improving Source Code Search using Entity Retrieval Approach. WSDM (2017)
Sukrit Kalra, Ayush Goel, Dhriti Khanna, Mohan Dhawan, Subodh Sharma, Rahul Purandare
POLLUX: safely upgrading dependent application libraries. SIGSOFT FSE (2016)
Rohit Mehra, Vinayak Naik, Rahul Purandare, Kapish Malik
KIRKE: Re-engineering of Web Applications to Mobile Apps. MobiQuitous (2016)
Sangeeth Kochanthara, Geoffrey Nelissen, David Pereira, Rahul Purandare
REVERT: Runtime Verification for Real-Time Systems. RTSS (2016)
Aritra Dhar, Rahul Purandare, Mohan Dhawan, Suresh Rangaswamy
CLOTHO: saving programs from malformed strings and incorrect string-handling. ESEC/SIGSOFT FSE (2015)
Venkatesh Vinayakarao, Rahul Purandare, Aditya V. Nori
Structurally Heterogeneous Source Code Examples from Unstructured Knowledge Sources. PEPM (2015)
Samit Anwer, Aniya Aggarwal, Rahul Purandare, Vinayak Naik
Chiromancer: a tool for boosting Android application performance. MOBILESoft (2014)
Kevin Falzon, Eric Bodden, Rahul Purandare
Distributed Finite-State Runtime Monitoring with Aggregated Events. RV (2013)
Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum
Optimizing monitoring of finite state properties through monitor compaction. ISSTA (2013)
Rahul Purandare, Javier Darsie, Sebastian G. Elbaum, Matthew B. Dwyer
Extracting conditional component dependence for distributed robotic systems. IROS (2012)
Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum
Monitoring Finite State Properties: Algorithmic Approaches and Their Relative Strengths. RV (2011)
Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum
Monitor optimization via stutter-equivalent loop transformation. OOPSLA (2010)
Matthew B. Dwyer, Rahul Purandare, Suzette Person
Runtime Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis? RV (2010)
Matthew B. Dwyer, Rahul Purandare
Residual Checking of Safety Properties. SPIN (2008)
Matthew B. Dwyer, Sebastian G. Elbaum, Suzette Person, Rahul Purandare
Parallel Randomized State-Space Search. ICSE (2007)
Matthew B. Dwyer, Rahul Purandare
Residual dynamic typestate analysis exploiting static analysis: results to reformulate and reduce the cost of dynamic analysis. ASE (2007)