Concepedia

Denis Gopan

DG

Statistics

Publications

6

Citations

449

H-Index

6

Active since

2005

Affiliations

University of Wisconsin–Madison(Current)

Tel Aviv University

University of California, Berkeley

Denis Gopan is an author at University of Wisconsin–Madison specializing in computer science, software analysis, and engineering.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal MethodsParallel ProgrammingSystem SoftwareSoftware TestingFormal VerificationComputer Engineering

Publications per year

2005–2015

6

Publications

6

Demand-driven points-to analysis for Java

Manu Sridharan, Denis Gopan, Lexin Shan et al. · 2005 · 194 citations

Refinement Approach, Engineering, Compiler Technology +23

A framework for numeric analysis of array operations

Denis Gopan, Thomas Reps, Mooly Sagiv · 2005 · 155 citations

Engineering, Analysis Of Algorithm, Computational Complexity +20

A framework for numeric analysis of array operations

Denis Gopan, Thomas Reps, Mooly Sagiv · ACM SIGPLAN Notices · 2005 · 43 citations

Engineering, Analysis Of Algorithm, Computational Complexity +20

Demand-driven points-to analysis for Java

Manu Sridharan, Denis Gopan, Lexin Shan et al. · ACM SIGPLAN Notices · 2005 · 35 citations

Refinement Approach, Engineering, Compiler Technology +23

Data-delineation in software binaries and its application to buffer-overrun discovery

Denis Gopan, Evan Driscoll, Ducson Nguyen et al. · International Conference on Software Engineering · 2015 · 12 citations

Stripped Binary, Engineering, Computer Architecture +20

1–5 of 6