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
8302001
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
2321999
Semantics-preserving procedure extraction
R Komondoor, S Horwitz
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of …, 2000
1502000
Effective, automatic procedure extraction
R Komondoor, S Horwitz
11th IEEE International Workshop on Program Comprehension, 2003., 33-42, 2003
1472003
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
Tool demonstration: Finding duplicated code using program dependences
R Komondoor, S Horwitz
European Symposium on Programming, 383-386, 2001
492001
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
472002
Automated duplicated-code detection and procedure extraction
RV Komondoor
UNIVERSITY OF WISCONSIN–MADISON, 2003
412003
Null dereference verification via over-approximated weakest pre-conditions analysis
R Madhavan, R Komondoor
ACM Sigplan Notices 46 (10), 1033-1052, 2011
392011
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
242009
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
222009
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
212002
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
182006
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
122021
Fitness guided vulnerability detection with greybox fuzzing
RK Medicherla, R Komondoor, A Roychoudhury
Proceedings of the IEEE/ACM 42nd International Conference on Software …, 2020
122020
Testing and analysis of web applications using page models
S Athaiya, R Komondoor
Proceedings of the 26th ACM SIGSOFT International Symposium on Software …, 2017
122017
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
A dynamic analysis to support object-sharing code refactorings
GM Rama, R Komondoor
Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014
92014
The system can't perform the operation now. Try again later.
Articles 1–20