Follow
Raghavan Komondoor
Title
Cited by
Cited by
Year
Using slicing to identify duplication in source code
R Komondoor, S Horwitz
International Static Analysis Symposium, 40-56, 2001
7612001
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
2291999
Semantics-preserving procedure extraction
R Komondoor, S Horwitz
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of …, 2000
1352000
Effective, automatic procedure extraction
R Komondoor, S Horwitz
11th IEEE International Workshop on Program Comprehension, 2003., 33-42, 2003
1342003
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
512002
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
482002
Tool demonstration: Finding duplicated code using program dependences
R Komondoor, S Horwitz
European Symposium on Programming, 383-386, 2001
452001
Automated duplicated-code detection and procedure extraction
RV Komondoor
UNIVERSITY OF WISCONSIN–MADISON, 2003
422003
Null dereference verification via over-approximated weakest pre-conditions analysis
R Madhavan, R Komondoor
ACM Sigplan Notices 46 (10), 1033-1052, 2011
332011
Dependent types for program understanding
R Komondoor, G Ramalingam, S Chandra, J Field
International Conference on Tools and Algorithms for the Construction and …, 2005
332005
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
232009
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
212009
Recovering data models via guarded dependences
R Komondoor, G Ramalingam
14th Working Conference on Reverse Engineering (WCRE 2007), 110-119, 2007
212007
Eliminating duplication in source code via procedure extraction
R Komondoor, S Horwitz
Dept. of Computer Sciences, Univ. of Wisconsin-Madison, Tech. Rep 1461, 2002
182002
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
172006
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
122002
Testing and analysis of web applications using page models
S Athaiya, R Komondoor
Proceedings of the 26th ACM SIGSOFT International Symposium on Software …, 2017
92017
A dynamic analysis to support object-sharing code refactorings
GM Rama, R Komondoor
Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014
82014
Fitness guided vulnerability detection with greybox fuzzing
RK Medicherla, R Komondoor, A Roychoudhury
Proceedings of the IEEE/ACM 42nd International Conference on Software …, 2020
62020
Two techniques to improve the precision of a demand-driven null-dereference verification approach
A Margoor, R Komondoor
Science of Computer Programming 98, 645-679, 2015
52015
The system can't perform the operation now. Try again later.
Articles 1–20