Denis Gopan

12 papers A* 3A 2B 2Unranked 5
YearRankTypeTitle / Venue / Authors
2017 — conf
Vertx: Automated Validation of Binary Transformations.
FEAST@CCS
Denis Gopan, Peter Ohmann, David Melski
2015 — conf
Data-Delineation in Software Binaries and its Application to Buffer-Overrun Discovery.
ICSE (1)
Denis Gopan, Evan Driscoll, Ducson Nguyen, Dimitri Naydich, Alexey Loginov, David Melski
2011 — conf
PEASOUP: preventing exploits against software of uncertain provenance (position paper).
SESS@ICSE
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, Brian Mastropietro
2010 — conf
View-Augmented Abstractions.
NSAD@SAS
Matt Elder, Denis Gopan, Thomas W. Reps
2007 B conf
Guided Static Analysis.
SAS
Denis Gopan, Thomas W. Reps
2007 A* conf
Low-Level Library Analysis and Summarization.
CAV
Denis Gopan, Thomas W. Reps
2006 A* conf
Lookahead Widening.
CAV
Denis Gopan, Thomas W. Reps
2005 B conf
A Relational Abstraction for Functions.
SAS
Bertrand Jeannet, Denis Gopan, Thomas W. Reps
2005 A* conf
A framework for numeric analysis of array operations.
POPL
Denis Gopan, Thomas W. Reps, Shmuel Sagiv
2005 — conf
Automatic Verification of Strongly Dynamic Software Systems.
VSTTE
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
2005 A conf
Demand-driven points-to analysis for Java.
OOPSLA
Manu Sridharan, Denis Gopan, Lexin Shan, Rastislav Bodík
2004 A conf
Numeric Domains with Summarized Dimensions.
TACAS
Denis Gopan, Frank DiMaio, Nurit Dor, Thomas W. Reps, Shmuel Sagiv