Denis Gopan

According to our database, Denis Gopan authored at least 12 papers between 2004 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2017

Vertx: Automated Validation of Binary Transformations.

Denis Gopan, Peter Ohmann, David Melski

Proceedings of the 2017 Workshop on Forming an Ecosystem Around Software Transformation, 2017

2015

Data-Delineation in Software Binaries and its Application to Buffer-Overrun Discovery.

Denis Gopan, Evan Driscoll, Ducson Nguyen, Dimitri Naydich, Alexey Loginov, David Melski

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2011

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 Cok, Denis Gopan, David Melski, Wenke Lee, Chengyu Song, Thomas Bracewell, David Hyde, Brian Mastropietro

Proceedings of the 7th International Workshop on Software Engineering for Secure Systems, 2011

2010

View-Augmented Abstractions.

Matt Elder, Denis Gopan, Thomas W. Reps

Proceedings of the Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains, 2010

2007

Guided Static Analysis.

Denis Gopan, Thomas W. Reps

Proceedings of the Static Analysis, 14th International Symposium, 2007

Low-Level Library Analysis and Summarization.

Denis Gopan, Thomas W. Reps

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006

Lookahead Widening.

Denis Gopan, Thomas W. Reps

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

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, Greta Yorsh

Proceedings of the Verified Software: Theories, 2005

A Relational Abstraction for Functions.

Bertrand Jeannet, Denis Gopan, Thomas W. Reps

Proceedings of the Static Analysis, 12th International Symposium, 2005

A framework for numeric analysis of array operations.

Denis Gopan, Thomas W. Reps, Shmuel Sagiv

Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

Demand-driven points-to analysis for Java.

Manu Sridharan, Denis Gopan, Lexin Shan, Rastislav Bodík

Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

2004

Numeric Domains with Summarized Dimensions.

Denis Gopan, Frank DiMaio, Nurit Dor, Thomas W. Reps, Shmuel Sagiv

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004