| Parallel randomized state-space search MB Dwyer, S Elbaum, S Person, R Purandare 29th International Conference on Software Engineering (ICSE'07), 3-12, 2007 | 113 | 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 twenty-second IEEE/ACM international conference on …, 2007 | 63 | 2007 |
| Monitor optimization via stutter-equivalent loop transformation R Purandare, MB Dwyer, S Elbaum Proceedings of the ACM international conference on Object oriented …, 2010 | 27 | 2010 |
| 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 | 23 | 2017 |
| 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 | 21 | 2010 |
| 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 | 18 | 2013 |
| Dynamic symbolic verification of mpi programs D Khanna, S Sharma, C Rodríguez, R Purandare International Symposium on Formal Methods, 466-484, 2018 | 16 | 2018 |
| 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 | 14 | 2012 |
| 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 | 12 | 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 | 12 | 2015 |
| Monitoring finite state properties: Algorithmic approaches and their relative strengths R Purandare, MB Dwyer, S Elbaum International Conference on Runtime Verification, 381-395, 2011 | 11 | 2011 |
| 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 |
| 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, 2021 | 6 | 2021 |
| 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, 2021 | 6 | 2021 |
| 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 | 5 | 2014 |
| Residual checking of safety properties MB Dwyer, R Purandare International SPIN Workshop on Model Checking of Software, 1-2, 2008 | 5 | 2008 |
| REVERT: runtime verification for real-time systems S Kochanthara, R Purandare | 4 | 2016 |
| Exploiting program and property structure for efficient runtime monitoring RA Purandare The University of Nebraska-Lincoln, 2011 | 4 | 2011 |
| 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 | 2 | 2020 |
| 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 | 2 | 2019 |
Matthew DwyerUniversity of VirginiaVerified email at virginia.edu
