| 2007 |
|---|
| 8 | EE | Denis Gopan,
Thomas W. Reps:
Low-Level Library Analysis and Summarization.
CAV 2007: 68-81 |
| 7 | EE | Denis Gopan,
Thomas W. Reps:
Guided Static Analysis.
SAS 2007: 349-365 |
| 2006 |
|---|
| 6 | EE | Denis Gopan,
Thomas W. Reps:
Lookahead Widening.
CAV 2006: 452-466 |
| 2005 |
|---|
| 5 | EE | Manu Sridharan,
Denis Gopan,
Lexin Shan,
Rastislav Bodík:
Demand-driven points-to analysis for Java.
OOPSLA 2005: 59-76 |
| 4 | EE | Denis Gopan,
Thomas W. Reps,
Shmuel Sagiv:
A framework for numeric analysis of array operations.
POPL 2005: 338-350 |
| 3 | EE | Bertrand Jeannet,
Denis Gopan,
Thomas W. Reps:
A Relational Abstraction for Functions.
SAS 2005: 186-202 |
| 2 | EE | Nurit Dor,
John Field,
Denis Gopan,
Tal Lev-Ami,
Alexey Loginov,
Roman Manevich,
G. Ramalingam,
Thomas W. Reps,
Noam Rinetzky,
Mooly Sagiv,
Reinhard Wilhelm,
Eran Yahav,
Greta Yorsh:
Automatic Verification of Strongly Dynamic Software Systems.
VSTTE 2005: 82-92 |
| 2004 |
|---|
| 1 | EE | Denis Gopan,
Frank DiMaio,
Nurit Dor,
Thomas W. Reps,
Shmuel Sagiv:
Numeric Domains with Summarized Dimensions.
TACAS 2004: 512-529 |
