Denis Gopan

Publication Activity (10 Years)

Years Active: 2004-2017
Publications (10 Years): 1

Top Topics

Exploratory Analysis

Data Distribution

Context Sensitive

Top Venues

Publications

Denis Gopan, Peter Ohmann, David Melski
Vertx: Automated Validation of Binary Transformations. FEAST@CCS (2017)
Denis Gopan, Evan Driscoll, Ducson Nguyen, Dimitri Naydich, Alexey Loginov, David Melski
Data-Delineation in Software Binaries and its Application to Buffer-Overrun Discovery. ICSE (1) (2015)
Michele Co, Jack W. Davidson, Jason D. Hiser, John C. Knight, Anh Nguyen-Tuong, David Cok, Denis Gopan, David Melski, Wenke Lee, Chengyu Song, Thomas Bracewell, David Hyde, Brian Mastropietro
PEASOUP: preventing exploits against software of uncertain provenance (position paper). SESS@ICSE (2011)
Matt Elder, Denis Gopan, Thomas W. Reps
View-Augmented Abstractions. Electron. Notes Theor. Comput. Sci. 267 (1) (2010)
Denis Gopan, Thomas W. Reps
Guided Static Analysis. SAS (2007)
Denis Gopan, Thomas W. Reps
Low-Level Library Analysis and Summarization. CAV (2007)
Denis Gopan, Thomas W. Reps
Lookahead Widening. CAV (2006)
Denis Gopan, Thomas W. Reps, Shmuel Sagiv
A framework for numeric analysis of array operations. POPL (2005)
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)
Bertrand Jeannet, Denis Gopan, Thomas W. Reps
A Relational Abstraction for Functions. SAS (2005)
Manu Sridharan, Denis Gopan, Lexin Shan, Rastislav Bodík
Demand-driven points-to analysis for Java. OOPSLA (2005)
Denis Gopan, Frank DiMaio, Nurit Dor, Thomas W. Reps, Shmuel Sagiv
Numeric Domains with Summarized Dimensions. TACAS (2004)