Follow
Rahul Purandare
Title
Cited by
Cited by
Year
Parallel randomized state-space search
MB Dwyer, S Elbaum, S Person, R Purandare
29th International Conference on Software Engineering (ICSE'07), 3-12, 2007
1192007
Residual dynamic typestate analysis exploiting static analysis: results to reformulate and reduce the cost of dynamic analysis
MB Dwyer, R Purandare
Proceedings of the 22nd IEEE/ACM International Conference on Automated …, 2007
702007
Including everyone, everywhere: Understanding opportunities and challenges of geographic gender-inclusion in oss
GAA Prana, D Ford, A Rastogi, D Lo, R Purandare, N Nagappan
IEEE Transactions on Software Engineering 48 (9), 3394-3409, 2021
442021
Modeling functional similarity in source code with graph-based siamese networks
N Mehrotra, N Agarwal, P Gupta, S Anand, D Lo, R Purandare
IEEE Transactions on Software Engineering 48 (10), 3771-3789, 2021
432021
Anne: Improving source code search using entity retrieval approach
V Vinayakarao, A Sarma, R Purandare, S Jain, S Jain
Proceedings of the Tenth ACM International Conference on Web Search and Data …, 2017
332017
Monitor optimization via stutter-equivalent loop transformation
R Purandare, MB Dwyer, S Elbaum
Proceedings of the ACM international conference on Object oriented …, 2010
302010
Dynamic symbolic verification of MPI programs
D Khanna, S Sharma, C Rodríguez, R Purandare
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the …, 2018
242018
Optimizing monitoring of finite state properties through monitor compaction
R Purandare, MB Dwyer, S Elbaum
Proceedings of the 2013 International Symposium on Software Testing and …, 2013
222013
Runtime verification in context: Can optimizing error detection improve fault diagnosis?
MB Dwyer, R Purandare, S Person
Runtime Verification: First International Conference, RV 2010, St. Julians …, 2010
222010
CLOTHO: Saving Programs from Malformed Strings and Incorrect String-handling
A Dhar, R Purandare, M Dhawan, S Rangaswamy
Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015
152015
Extracting conditional component dependence for distributed robotic systems
R Purandare, J Darsie, S Elbaum, MB Dwyer
2012 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2012
152012
POLLUX: safely upgrading dependent application libraries
S Kalra, A Goel, D Khanna, M Dhawan, S Sharma, R Purandare
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
142016
Jcoffee: Using compiler feedback to make partial code snippets compilable
P Gupta, N Mehrotra, R Purandare
2020 IEEE International Conference on Software Maintenance and Evolution …, 2020
112020
Monitoring finite state properties: Algorithmic approaches and their relative strengths
R Purandare, MB Dwyer, S Elbaum
Runtime Verification: Second International Conference, RV 2011, San …, 2012
112012
Structurally heterogeneous source code examples from unstructured knowledge sources
V Vinayakarao, R Purandare, AV Nori
Proceedings of the 2015 Workshop on Partial Evaluation and Program …, 2015
72015
Chiromancer: A tool for boosting android application performance
S Anwer, A Aggarwal, R Purandare, V Naik
Proceedings of the 1st International Conference on Mobile Software …, 2014
72014
The road not taken: exploring alias analysis based optimizations missed by the compiler
K Chitre, P Kedia, R Purandare
Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 786-810, 2022
62022
REVERT: runtime verification for real-time systems
S Kochanthara, R Purandare
62016
Residual checking of safety properties
MB Dwyer, R Purandare
Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA …, 2008
62008
Mining similar methods for test adaptation
D Sondhi, M Jobanputra, D Rani, S Purandare, S Sharma, R Purandare
IEEE Transactions on Software Engineering 48 (7), 2262-2276, 2021
52021
The system can't perform the operation now. Try again later.
Articles 1–20