Denis Gopan

Graduate Student
Computer Sciences Department
University of Wisconsin-Madison
1210 West Dayton Street, Room #6358
Madison, Wisconsin 53706-1685

Contact info:
E-mail: gopan at cs dot wisc dot edu
Office phone: (608) 265-9458
Personal page

Job-search materials:
Curriculum vitae: [ps; pdf]
Research statement: [ps; pdf]

Research interests


Find me: [DBLP] [Google Scolar] [Windows Live: Academic]

Conference Papers

[GRb07] Guided Static Analysis.
Gopan, D. and Reps, T.,
To appear in Proc. of 14th International Static Analysis Symposium (SAS), Kongens Lyngby, Denmark, August 22-24, 2007.
[GRa07] Low-level library analysis and summarization.
Gopan, D. and Reps, T.,
To appear in Proc. of 19th Conference on Computer-Aided Verification (CAV), Berlin, Germany, July 3-7, 2007.
[GR06] Lookahead widening.
Gopan, D. and Reps, T.,
In Proc. of 18th Conference on Computer-Aided Verification (CAV), Seattle, WA, August 17-20, 2006.
[abstract; pdf]
[SGSB05] Demand-Driven Points-To Analysis for Java.
Sridharan, M., Gopan, D., Shan, L., and Bodik, R.,
In Proc. of 20th Conference on Object-Oriented Programs, Systems, Languages, and Applications (OOPSLA). San Diego, CA, October 16-20, 2005.
[JGR05] A relational abstraction for functions.
Jeannet, B., Gopan, D., and Reps, T.,
In Proc. 12th International Static Analysis Symposium (SAS), September 7-9, 2005.
[abstract; ps; pdf]
[GRS05] A framework for numeric analysis of array operations.
Gopan, D., Reps, T., and Sagiv, M.,
In Proc. of 32nd Symposium on Principles of Programming Languages (POPL), Long Beach, CA, January 12-14, 2005, 338-350.
[abstract; ps; pdf]
[GDD+04] Numeric domains with summarized dimensions.
Gopan, D., DiMaio, F., Dor, N., Reps, T., and Sagiv, M.,
In Proc. of 10th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), Barcelona, Spain, March 29 - April 2, 2004, 512-529.
[abstract; ps; pdf]