Concepedia

Doug Kimelman

DK

13

Publications

1K

Citations

11

H-Index

1991

Active since

Affiliations

IBM (United States)(Current)

IBM Research - Thomas J. Watson Research Center

University of California, Berkeley

Doug Kimelman is an author at IBM (United States) specializing in computer science, engineering, and program analysis.

Top concepts

EngineeringComputer ScienceSoftware DesignProgram AnalysisSoftware EngineeringData ScienceSoftware AnalysisDesignSystem SoftwareAutomated Reasoning

Publications per year

1991–2014

13

Publications

13

Jungloid mining

David Mandelin, Lin Xu, Rastislav Bodík et al. · ACM SIGPLAN Notices · 2005 · 388 citations

Engineering, Software Engineering, Source Code Analysis +16

Jungloid mining

David Mandelin, Lin Xu, Rastislav Bodík et al. · 2005 · 260 citations

Engineering, Software Engineering, Source Code Analysis +16

Visualizing the behavior of object-oriented systems

Wim De Pauw, Richard F. Helm, Doug Kimelman et al. · 1993 · 166 citations

Engineering, Object-oriented Modeling, Object-oriented Systems +17

Programming with angelic nondeterminism

Rastislav Bodík, Satish Chandra, Joel Galenson et al. · 2010 · 55 citations

Programming Language Theory, Declarative Programming, Engineering +14

The RP3 program visualization environment

Doug Kimelman, T. Ngo · IBM Journal of Research and Development · 1991 · 38 citations

Engineering, Data Visualization, Computer Architecture +19

Rows per page

1–5 of 13