[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. [pdf] |
[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] |