| Parallel randomized state-space search MB Dwyer, S Elbaum, S Person, R Purandare 29th International Conference on Software Engineering (ICSE'07), 3-12, 2007 | 118 | 2007 |
| 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 | 72 | 2007 |
| 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 | 63 | 2021 |
| 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 | 51 | 2021 |
| 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 | 33 | 2017 |
| Monitor optimization via stutter-equivalent loop transformation R Purandare, MB Dwyer, S Elbaum Proceedings of the ACM international conference on Object oriented …, 2010 | 32 | 2010 |
| 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 | 24 | 2018 |
| 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 | 23 | 2013 |
| 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 | 23 | 2010 |
| 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 | 15 | 2020 |
| 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 | 15 | 2016 |
| 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 | 15 | 2015 |
| 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 | 15 | 2012 |
| 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 | 11 | 2012 |
| 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 | 8 | 2022 |
| REVERT: runtime verification for real-time systems S Kochanthara, R Purandare | 7 | 2016 |
| 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 | 7 | 2015 |
| 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 | 7 | 2014 |
| 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 | 6 | 2021 |
| Residual checking of safety properties MB Dwyer, R Purandare Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA …, 2008 | 6 | 2008 |
Matthew DwyerThomson Distinguished Professor, University of VirginiaVerified email at virginia.edu
