Concepedia

Raghavan Komondoor

RK

Statistics

Publications

11

Citations

467

H-Index

10

Active since

1999

Affiliations

University of Wisconsin–Madison(Current)

IBM (United States)

Indian Institute of Science Bangalore

Microsoft Research (India)

Raghavan Komondoor is an author at University of Wisconsin–Madison specializing in computer science, computing, and programming languages.

Publications per year

1999–2021

11

Publications

11

Update propagation protocols for replicated databates

Yuri Breitbart, Raghavan Komondoor, Rajeev Rastogi et al. · ACM SIGMOD Record · 1999 · 128 citations

Computing, Computer Science, Computer Systems +15

Semantics-preserving procedure extraction

Raghavan Komondoor, Susan Horwitz · 2000 · 96 citations · Full text

Computing, Computer Science, Compilers +9

Effective, automatic procedure extraction

Raghavan Komondoor, Susan Horwitz · 2004 · 73 citations · Full text

Computing, Computer Science, Algorithms +12

Update propagation protocols for replicated databates

Yuri Breitbart, Raghavan Komondoor, Rajeev Rastogi et al. · 1999 · 52 citations · Full text

Computing, Computer Science, Computer Systems +15

Null dereference verification via over-approximated weakest pre-conditions analysis

Ravichandhran Madhavan, Raghavan Komondoor · 2011 · 26 citations

Computing, Computer Engineering, Computer Science +11

1–5 of 11