Using slicing to identify duplication in source code R Komondoor, S Horwitz International Static Analysis Symposium, 40-56, 2001 | 830 | 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 | 232 | 1999 |
Semantics-preserving procedure extraction R Komondoor, S Horwitz Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of …, 2000 | 150 | 2000 |
Effective, automatic procedure extraction R Komondoor, S Horwitz 11th IEEE International Workshop on Program Comprehension, 2003., 33-42, 2003 | 147 | 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 |
Tool demonstration: Finding duplicated code using program dependences R Komondoor, S Horwitz European Symposium on Programming, 383-386, 2001 | 49 | 2001 |
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 | 47 | 2002 |
Automated duplicated-code detection and procedure extraction RV Komondoor UNIVERSITY OF WISCONSIN–MADISON, 2003 | 41 | 2003 |
Null dereference verification via over-approximated weakest pre-conditions analysis R Madhavan, R Komondoor ACM Sigplan Notices 46 (10), 1033-1052, 2011 | 39 | 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 | 12 | 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 | 12 | 2020 |
Testing and analysis of web applications using page models S Athaiya, R Komondoor Proceedings of the 26th ACM SIGSOFT International Symposium on Software …, 2017 | 12 | 2017 |
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 |
A dynamic analysis to support object-sharing code refactorings GM Rama, R Komondoor Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014 | 9 | 2014 |