| Using slicing to identify duplication in source code R Komondoor, S Horwitz International Static Analysis Symposium, 40-56, 2001 | 843 | 2001 |
| Update propagation protocols for replicated databates Y Breitbart, R Komondoor, R Rastogi, S Seshadri, A Silberschatz Proceedings of the 1999 ACM SIGMOD international Conference on Management of …, 1999 | 233 | 1999 |
| Semantics-preserving procedure extraction R Komondoor, S Horwitz Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of …, 2000 | 151 | 2000 |
| Effective, automatic procedure extraction R Komondoor, S Horwitz 11th IEEE International Workshop on Program Comprehension, 2003., 33-42, 2003 | 148 | 2003 |
| Timestamp-based system and method for serializing lazy updates in a distributed database YJ Breitbart, RV Komondoor, R Rastogi, S Seshadri, A Silberschatz US Patent 6,502,095, 2002 | 51 | 2002 |
| System and method for serializing lazy updates in a distributed database without requiring timestamps YJ Breitbart, RV Komondoor, R Rastogi, S Seshadri, A Silberschatz US Patent 6,381,609, 2002 | 48 | 2002 |
| Tool demonstration: Finding duplicated code using program dependences R Komondoor, S Horwitz European Symposium on Programming, 383-386, 2001 | 47 | 2001 |
| Automated duplicated-code detection and procedure extraction RV Komondoor UNIVERSITY OF WISCONSIN–MADISON, 2003 | 42 | 2003 |
| Null dereference verification via over-approximated weakest pre-conditions analysis R Madhavan, R Komondoor ACM Sigplan Notices 46 (10), 1033-1052, 2011 | 40 | 2011 |
| Dependent types for program understanding R Komondoor, G Ramalingam, S Chandra, J Field International Conference on Tools and Algorithms for the Construction and …, 2005 | 33 | 2005 |
| System and method for a logical-model based application understanding and transformation S Chandra, JH Field, R Komondoor, G Ramalingam, S Sinha US Patent 7,509,298, 2009 | 24 | 2009 |
| System and method for a logical-model based application understanding and transformation S Chandra, JH Field, R Komondoor, G Ramalingam, S Sinha US Patent 7,509,298, 2009 | 22 | 2009 |
| Recovering data models via guarded dependences R Komondoor, G Ramalingam 14th Working Conference on Reverse Engineering (WCRE 2007), 110-119, 2007 | 21 | 2007 |
| Eliminating duplication in source code via procedure extraction R Komondoor, S Horwitz Dept. of Computer Sciences, Univ. of Wisconsin-Madison, Tech. Rep 1461, 2002 | 21 | 2002 |
| Semantics-based reverse engineering of object-oriented data models G Ramalingam, R Komondoor, J Field, S Sinha Proceedings of the 28th international conference on Software engineering …, 2006 | 18 | 2006 |
| GenSys: a scalable fixed-point engine for maximal controller synthesis over infinite state spaces S Samuel, D D'Souza, R Komondoor Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021 | 15 | 2021 |
| Fitness guided vulnerability detection with greybox fuzzing RK Medicherla, R Komondoor, A Roychoudhury Proceedings of the IEEE/ACM 42nd International Conference on Software …, 2020 | 13 | 2020 |
| System and method for serializing updates to ancestor sites in a distributed database YJ Breitbart, RV Komondoor, R Rastogi, S Seshadri, A Silberschatz US Patent 6,499,037, 2002 | 12 | 2002 |
| Testing and analysis of web applications using page models S Athaiya, R Komondoor Proceedings of the 26th ACM SIGSOFT International Symposium on Software …, 2017 | 10 | 2017 |
| Refinement in object-sensitivity points-to analysis via slicing GM Rama, R Komondoor, H Sharma Proceedings of the ACM on Programming Languages 2 (OOPSLA), 142, 2018 | 8 | 2018 |
Rajeev RastogiAmazonVerified email at amazon.com
