Denis Gopan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
7
Active years
2004–2017
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | CCS | Vertx: Automated Validation of Binary Transformations. | Denis Gopan, Peter Ohmann, David Melski |
| 2015 | ICSE | Data-Delineation in Software Binaries and its Application to Buffer-Overrun Discovery. | Denis Gopan, Evan Driscoll, Ducson Nguyen, Dimitri Naydich, Alexey Loginov, David Melski |
| 2011 | ICSE | 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, Brian Mastropietro |
| 2007 | CAV | Low-Level Library Analysis and Summarization. | Denis Gopan, Thomas W. Reps |
| 2007 | SAS | Guided Static Analysis. | Denis Gopan, Thomas W. Reps |
| 2006 | CAV | Lookahead Widening. | Denis Gopan, Thomas W. Reps |
| 2005 | OOPSLA | Demand-driven points-to analysis for Java. | Manu Sridharan, Denis Gopan, Lexin Shan, Rastislav Bodk |
| 2005 | POPL | A framework for numeric analysis of array operations. | Denis Gopan, Thomas W. Reps, Shmuel Sagiv |
| 2005 | SAS | A Relational Abstraction for Functions. | Bertrand Jeannet, Denis Gopan, Thomas W. Reps |
| 2004 | TACAS | Numeric Domains with Summarized Dimensions. | Denis Gopan, Frank DiMaio, Nurit Dor, Thomas W. Reps, Shmuel Sagiv |