Seguir
Raghavan Komondoor
Título
Citado por
Citado por
Año
Using slicing to identify duplication in source code
R Komondoor, S Horwitz
International Static Analysis Symposium, 40-56, 2001
8032001
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
2341999
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
1442003
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
482001
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
362011
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
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
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
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
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
102017
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
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
62021
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20