| 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 | 62 | 2007 |
| Monitor optimization via stutter-equivalent loop transformation R Purandare, MB Dwyer, S Elbaum Proceedings of the ACM international conference on Object oriented …, 2010 | 26 | 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 | 19 | 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 | 19 | 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 | 12 | 2018 |
| Monitoring finite state properties: Algorithmic approaches and their relative strengths R Purandare, MB Dwyer, S Elbaum International Conference on Runtime Verification, 381-395, 2011 | 10 | 2011 |
| 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 | 9 | 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 | 8 | 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 | 8 | 2015 |
| 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 | 4 | 2014 |
| Exploiting program and property structure for efficient runtime monitoring R Purandare | 4 | 2011 |
| Residual checking of safety properties MB Dwyer, R Purandare International SPIN Workshop on Model Checking of Software, 1-2, 2008 | 4 | 2008 |
| REVERT: runtime verification for real-time systems S Kochanthara, R Purandare | 3 | 2016 |
| 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 | 2 | 2018 |
| 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 | 1 | 2020 |
| 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 | 1 | 2020 |
| METIS: Resource and Context-Aware Monitoring of Finite State Properties G Allabadi, A Dhar, A Bashir, R Purandare International Conference on Runtime Verification, 167-186, 2018 | 1 | 2018 |
Matthew DwyerUniversity of VirginiaVerified email at virginia.edu
