Searching for authors named "Denis Gopan" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Low-level library analysis and summarization
- …Low-Level Library Analysis and Summarization ⋆ Denis Gopan 1 and Thomas Reps 1,2 1 University…
- Cited by 7 (3 self) – Add To MetaCart
-
Guided static analysis
- …Guided Static Analysis ⋆ Denis Gopan 1 and Thomas Reps 1,2 1 University of Wisconsin 2 Gramma…
- Cited by 2 (1 self) – Add To MetaCart
-
Lookahead Widening
- …Lookahead Widening ⋆ Denis Gopan 1 and Thomas Reps 1,2 1 University of Wisconsin. 2 Gramma…
- Add To MetaCart
-
A Framework for Numeric Analysis of Array Operations
- …A Framework for Numeric Analysis of Array Operations ∗ ABSTRACT Denis Gopan † University…
- Cited by 23 (4 self) – Add To MetaCart
-
Numeric Analysis of Array Operations
- …Abstract Numeric Analysis of Array Operations Denis Gopan † Thomas Reps † Mooly Sagiv ‡ † Comp…
- Add To MetaCart
-
Numeric Domains with Summarized Dimensions
- …Numeric Domains with Summarized Dimensions Denis Gopan 1 , Frank DiMaio 1 , Nurit Dor 2…
- Cited by 24 (8 self) – Add To MetaCart
Showing 1 through 6.
