Search the dblp DataBase

Publications of Author

1. Denis Gopan, Thomas W. Reps
   Lookahead Widening. [Citation Graph (0, 0)][DBLP]
   CAV, 2006, pp:452-466 [Conf]
   
2. Manu Sridharan, Denis Gopan, Lexin Shan, Rastislav Bodík
   Demand-driven points-to analysis for Java. [Citation Graph (0, 0)][DBLP]
   OOPSLA, 2005, pp:59-76 [Conf]
   
3. Denis Gopan, Thomas W. Reps, Shmuel Sagiv
   A framework for numeric analysis of array operations. [Citation Graph (0, 0)][DBLP]
   POPL, 2005, pp:338-350 [Conf]
   
4. Bertrand Jeannet, Denis Gopan, Thomas W. Reps
   A Relational Abstraction for Functions. [Citation Graph (0, 0)][DBLP]
   SAS, 2005, pp:186-202 [Conf]
   
5. Denis Gopan, Frank DiMaio, Nurit Dor, Thomas W. Reps, Shmuel Sagiv
   Numeric Domains with Summarized Dimensions. [Citation Graph (0, 0)][DBLP]
   TACAS, 2004, pp:512-529 [Conf]
   
6. Denis Gopan, Thomas W. Reps
   Low-Level Library Analysis and Summarization. [Citation Graph (0, 0)][DBLP]
   CAV, 2007, pp:68-81 [Conf]
   
7. Denis Gopan, Thomas W. Reps
   Guided Static Analysis. [Citation Graph (0, 0)][DBLP]
   SAS, 2007, pp:349-365 [Conf]
   
8. 
   Automatic Verification of Strongly Dynamic Software Systems. [Citation Graph (, )][DBLP]