Numeric Domains with Summarized Dimensions. - Denis Gopan; Frank DiMaio; Nurit Dor; Thomas W. Reps; Shmuel Sagiv (TACAS, 2004)

Demand-driven points-to analysis for Java. - Manu Sridharan; Denis Gopan; Lexin Shan; Rastislav Bodík (OOPSLA, 2005)

A framework for numeric analysis of array operations. - Denis Gopan; Thomas W. Reps; Shmuel Sagiv (POPL, 2005)

A Relational Abstraction for Functions. - Bertrand Jeannet; Denis Gopan; Thomas W. Reps (SAS, 2005)

Automatic Verification of Strongly Dynamic Software Systems. - 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; et al. (VSTTE, 2005)

Lookahead Widening. - Denis Gopan; Thomas W. Reps (CAV, 2006)

Low-Level Library Analysis and Summarization. - Denis Gopan; Thomas W. Reps (CAV, 2007)

Guided Static Analysis. - Denis Gopan; Thomas W. Reps (SAS, 2007)

View-Augmented Abstractions. - Matt Elder; Denis Gopan; Thomas W. Reps (NSAD@SAS, 2010)

PEASOUP: preventing exploits against software of uncertain provenance (position paper). - Michele Co; Jack W. Davidson; Jason D. Hiser; John C. Knight; Anh Nguyen-Tuong; David R. Cok; Denis Gopan; David Melski; Wenke Lee; Chengyu Song; Thomas Bracewell; David Hyde 002; et al. (SESS@ICSE, 2011)

Data-Delineation in Software Binaries and its Application to Buffer-Overrun Discovery. - Denis Gopan; Evan Driscoll; Ducson Nguyen; Dimitri Naydich; Alexey Loginov; David Melski (ICSE (1), 2015)

Vertx: Automated Validation of Binary Transformations. - Denis Gopan; Peter Ohmann; David Melski (FEAST@CCS, 2017)