Rahul Purandare
Rahul Purandare
Associate Professor of Computer Science and Engineering, IIIT-Delhi
Verified email at iiitd.ac.in - Homepage
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
1132007
Residual dynamic typestate analysis exploiting static analysis: results to reformulate and reduce the cost of dynamic analysis
MB Dwyer, R Purandare
Proceedings of the twenty-second IEEE/ACM international conference on …, 2007
642007
Monitor optimization via stutter-equivalent loop transformation
R Purandare, MB Dwyer, S Elbaum
Proceedings of the ACM international conference on Object oriented …, 2010
272010
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
202017
Runtime verification in context: Can optimizing error detection improve fault diagnosis?
MB Dwyer, R Purandare, S Person
International Conference on Runtime Verification, 36-50, 2010
192010
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
182013
Dynamic symbolic verification of mpi programs
D Khanna, S Sharma, C Rodríguez, R Purandare
International Symposium on Formal Methods, 466-484, 2018
132018
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
112012
Monitoring finite state properties: Algorithmic approaches and their relative strengths
R Purandare, MB Dwyer, S Elbaum
International Conference on Runtime Verification, 381-395, 2011
112011
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
102015
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
92016
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
Residual checking of safety properties
MB Dwyer, R Purandare
International SPIN Workshop on Model Checking of Software, 1-2, 2008
52008
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
42014
Exploiting program and property structure for efficient runtime monitoring
R Purandare
42011
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
arXiv preprint arXiv:2010.00822, 2020
32020
REVERT: runtime verification for real-time systems
S Kochanthara, R Purandare
32016
Similarities Across Libraries: Making a Case for Leveraging Test Suites
D Sondhi, D Rani, R Purandare
2019 12th IEEE Conference on Software Testing, Validation and Verification …, 2019
22019
A search system for mathematical expressions on software binaries
R Jain, S Prathik, V Vinayakarao, R Purandare
2018 IEEE/ACM 15th International Conference on Mining Software Repositories …, 2018
22018
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
12020
The system can't perform the operation now. Try again later.
Articles 1–20