Rahul Purandare

49 papers A* 4A 11B 7C 3Journal 18Unranked 5
YearRankTypeTitle / Venue / Authors
2026 B conf
HORIZON: Estimating Alias Analysis Precision Bounds and Their Impact on Performance.
CC
Khushboo Chitre, Piyus Kedia, Rahul Purandare
2025 J jnl
Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models.
CoRR
Ridhi Jain, Rahul Purandare
2025 J jnl
Streamlining Security Vulnerability Triage with Large Language Models.
CoRR
Mohammad Jalili Torkamani, Joey NG, Nikita Mehrotra, Mahinthan Chandramohan, Padmanabhan Krishnan, Rahul Purandare
2024 J jnl
ASSERTIFY: Utilizing Large Language Models to Generate Assertions for Production Code.
CoRR
Mohammad Jalili Torkamani, Abhinav Sharma, Nikita Mehrotra, Rahul Purandare
2024 J jnl
Scoping Software Engineering for AI: The TSE Perspective.
IEEE Trans. Software Eng.
Sebastián Uchitel, Marsha Chechik, Massimiliano Di Penta, Bram Adams, Nazareno Aguirre, Gabriele Bavota, Domenico Bianculli, Kelly Blincoe, Ana Cavalcanti, Yvonne Dittrich, Filomena Ferrucci, Rashina Hoda, Liguo Huang, David Lo, Michael R. Lyu, Lei Ma, Jonathan I. Maletic, Leonardo Mariani, Collin McMillan, Tim Menzies, Martin Monperrus, Ana Moreno, Nachiappan Nagappan, Liliana Pasquale, Patrizio Pelliccione, Michael Pradel, Rahul Purandare, Sukyoung Ryu, Mehrdad Sabetzadeh, Alexander Serebrenik, Jun Sun, Chakkrit Kla Tantithamthavorn, Christoph Treude, Manuel Wimmer, Yingfei Xiong, Tao Yue, Andy Zaidman, Tao Zhang, Hao Zhong
2023 — ed.
16th Innovations in Software Engineering Conference, ISEC2023, Allahabad, India, February 23-25, 2023
ISEC
Sonali Agarwal, Abhik Roychoudhury, Rahul Purandare, Saurabh Tiwari, Lov Kumar
2023 A conf
CGuard: Scalable and Precise Object Bounds Protection for C.
ISSTA
Piyus Kedia, Rahul Purandare, Udit Kumar Agarwal, Rishabh
2023 J jnl
Improving Cross-Language Code Clone Detection via Code Representation Learning and Graph Neural Networks.
IEEE Trans. Software Eng.
Nikita Mehrotra, Akash Sharma, Anmol Jindal, Rahul Purandare
2023 J jnl
Rapid: Region-Based Pointer Disambiguation.
Proc. ACM Program. Lang.
Khushboo Chitre, Piyus Kedia, Rahul Purandare
2023 C conf
Verifying Exception-Handling Code in Concurrent Libraries.
APSEC
Dhriti Khanna, Subodh Sharma, Rahul Purandare
2022 J jnl
BiRD: Race Detection in Software Binaries under Relaxed Memory Models.
ACM Trans. Softw. Eng. Methodol.
Ridhi Jain, Rahul Purandare, Subodh Sharma
2022 J jnl
Including Everyone, Everywhere: Understanding Opportunities and Challenges of Geographic Gender-Inclusion in OSS.
IEEE Trans. Software Eng.
Gede Artha Azriadi Prana, Denae Ford, Ayushi Rastogi, David Lo, Rahul Purandare, Nachiappan Nagappan
2022 J jnl
Mining Similar Methods for Test Adaptation.
IEEE Trans. Software Eng.
Devika Sondhi, Mayank Jobanputra, Divya Rani, Salil Purandare, Sakshi Sharma, Rahul Purandare
2022 J jnl
Modeling Functional Similarity in Source Code With Graph-Based Siamese Networks.
IEEE Trans. Software Eng.
Nikita Mehrotra, Navdha Agarwal, Piyush Gupta, Saket Anand, David Lo, Rahul Purandare
2022 B conf
Optimal Finite-State Monitoring of Partial Traces.
RV
Peeyush Kushwaha, Rahul Purandare, Matthew B. Dwyer
2022 J jnl
The road not taken: exploring alias analysis based optimizations missed by the compiler.
Proc. ACM Program. Lang.
Khushboo Chitre, Piyus Kedia, Rahul Purandare
2021 J jnl
CGuard: Efficient Spatial Safety for C.
CoRR
Piyus Kedia, Rahul Purandare, Udit Kumar Agarwal, Rishabh
2021 — conf
Dataset to Study Indirectly Dependent Documentation in GitHub Repositories.
ICSE (Companion Volume)
Devika Sondhi, Avyakt Gupta, Salil Purandare, Ankit Rana, Deepanshu Kaushal, Rahul Purandare
2021 A* conf
On Indirectly Dependent Documentation in the Context of Code Evolution: A Study.
ICSE
Devika Sondhi, Avyakt Gupta, Salil Purandare, Ankit Rana, Deepanshu Kaushal, Rahul Purandare
2021 A conf
Synthesizing Multi-threaded Tests from Sequential Traces to Detect Communication Deadlocks.
ICST
Dhriti Khanna, Rahul Purandare, Subodh Sharma
2020 J jnl
Including Everyone, Everywhere: Understanding Opportunities and Challenges of Geographic Gender-Inclusion in OSS.
CoRR
Gede Artha Azriadi Prana, Denae Ford, Ayushi Rastogi, David Lo, Rahul Purandare, Nachiappan Nagappan
2020 A conf
JCoffee: Using Compiler Feedback to Make Partial Code Snippets Compilable.
ICSME
Piyush Gupta, Nikita Mehrotra, Rahul Purandare
2020 J jnl
JCoffee: Using Compiler Feedback to Make Partial Code Snippets Compilable.
CoRR
Piyush Gupta, Nikita Mehrotra, Rahul Purandare
2020 J jnl
Modeling Functional Similarity in Source Code with Graph-Based Siamese Networks.
CoRR
Nikita Mehrotra, Navdha Agarwal, Piyush Gupta, Saket Anand, David Lo, Rahul Purandare
2020 J jnl
Optimal Runtime Verification of Finite State Properties over Lossy Event Streams.
CoRR
Peeyush Kushwaha, Rahul Purandare, Matthew B. Dwyer
2020 J jnl
Replacements and Replaceables: Making the Case for Code Variants.
CoRR
Venkatesh Vinayakarao, Devika Sondhi, Sumit Keswani, Rahul Purandare, Anita Sarma
2020 A conf
Verifying and Testing Concurrent Programs using Constraint Solver based Approaches.
ICSME
Dhriti Khanna, Rahul Purandare, Subodh Sharma
2019 J jnl
A report on 1st Software Engineering Research in India Update Meeting (SERI 2019).
ACM SIGSOFT Softw. Eng. Notes
Sai Anirudh Karre, Lalit Mohan S., Y. Raghu Reddy, K. V. Raghavan, Ravindra Naik, Rahul Purandare, Amey Karkare
2019 A* conf
SEGATE: Unveiling Semantic Inconsistencies between Code and Specification of String Inputs.
ASE
Devika Sondhi, Rahul Purandare
2019 A conf
Similarities Across Libraries: Making a Case for Leveraging Test Suites.
ICST
Devika Sondhi, Divya Rani, Rahul Purandare
2018 A conf
A search system for mathematical expressions on software binaries.
MSR
Ridhi Jain, Sai Prathik, Venkatesh Vinayakarao, Rahul Purandare
2018 B conf
Dynamic Symbolic Verification of MPI Programs.
FM
Dhriti Khanna, Subodh Sharma, César Rodríguez, Rahul Purandare
2018 B conf
METIS: Resource and Context-Aware Monitoring of Finite State Properties.
RV
Garvita Allabadi, Aritra Dhar, Ambreen Bashir, Rahul Purandare
2017 A conf
ANNE: Improving Source Code Search using Entity Retrieval Approach.
WSDM
Venkatesh Vinayakarao, Anita Sarma, Rahul Purandare, Shuktika Jain, Saumya Jain
2016 C conf
KIRKE: Re-engineering of Web Applications to Mobile Apps.
MobiQuitous
Rohit Mehra, Vinayak Naik, Rahul Purandare, Kapish Malik
2016 — conf
POLLUX: safely upgrading dependent application libraries.
SIGSOFT FSE
Sukrit Kalra, Ayush Goel, Dhriti Khanna, Mohan Dhawan, Subodh Sharma, Rahul Purandare
2016 A conf
REVERT: Runtime Verification for Real-Time Systems.
RTSS
Sangeeth Kochanthara, Geoffrey Nelissen, David Pereira, Rahul Purandare
2015 — conf
CLOTHO: saving programs from malformed strings and incorrect string-handling.
ESEC/SIGSOFT FSE
Aritra Dhar, Rahul Purandare, Mohan Dhawan, Suresh Rangaswamy
2015 C conf
Structurally Heterogeneous Source Code Examples from Unstructured Knowledge Sources.
PEPM
Venkatesh Vinayakarao, Rahul Purandare, Aditya V. Nori
2014 — conf
Chiromancer: a tool for boosting Android application performance.
MOBILESoft
Samit Anwer, Aniya Aggarwal, Rahul Purandare, Vinayak Naik
2013 B conf
Distributed Finite-State Runtime Monitoring with Aggregated Events.
RV
Kevin Falzon, Eric Bodden, Rahul Purandare
2013 A conf
Optimizing monitoring of finite state properties through monitor compaction.
ISSTA
Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum
2012 A conf
Extracting conditional component dependence for distributed robotic systems.
IROS
Rahul Purandare, Javier Darsie, Sebastian G. Elbaum, Matthew B. Dwyer
2011 B conf
Monitoring Finite State Properties: Algorithmic Approaches and Their Relative Strengths.
RV
Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum
2010 A conf
Monitor optimization via stutter-equivalent loop transformation.
OOPSLA
Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum
2010 B conf
Runtime Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis?
RV
Matthew B. Dwyer, Rahul Purandare, Suzette Person
2008 — conf
Residual Checking of Safety Properties.
SPIN
Matthew B. Dwyer, Rahul Purandare
2007 A* conf
Parallel Randomized State-Space Search.
ICSE
Matthew B. Dwyer, Sebastian G. Elbaum, Suzette Person, Rahul Purandare
2007 A* conf
Residual dynamic typestate analysis exploiting static analysis: results to reformulate and reduce the cost of dynamic analysis.
ASE
Matthew B. Dwyer, Rahul Purandare