August 2005 Computer Science Division (EECS) University of California...  Home/Search
Context
Related
| berkeley.edu/techrepo...CSD041353.pdf Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: berkeley.edu/access...CSD041353 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We describe a unified framework for random interpretation that generalizes previous randomized intra-procedural analyses, and also extends naturally to e#cient inter-procedural analyses. There is no such natural extension known for deterministic algorithms. We present a general technique for extending any intra-procedural random interpreter to perform a context-sensitive inter-procedural analysis with only polynomial increase in running time. This technique involves computing random summaries... (Update)
Active bibliography (related documents): More All
1.3: Path-Sensitive Analysis for Linear Arithmetic and - Uninterpreted Functions Sumit (Correct)
0.6: Testing Herbrand Equalities and Beyond - Müller-Olm, Rüthing, Seidl (Correct)
0.4: Interprocedural Analysis (Almost) for Free - Müller-Olm, Seidl, Steffen (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ science-report,
author = "August Computer Science",
title = "Report No. UCB/CSD-4-1353",
url = "citeseer.ist.psu.edu/736311.html" }
Citations (may not include all citations):815 Abstract interpretation: A unified lattice model for static .. (context) - Cousot, Cousot - 1977
156 A unified approach to global program optimization (context) - Kildall - 1973
149 Fast probabilistic algorithms for verification of polynomial.. (context) - Schwartz - 1980
144 Two approaches to interprocedural data flow analysis (context) - Sharir, Pnueli - 1981
129 Precise interprocedural dataflow analysis via graph reachabi.. - Reps, Horwitz et al. - 1995
129 Global value numbers and redundant computations (context) - Rosen, Wegman et al. - 1988
68 ACM Letters on Programming Languages and Systems (context) - Landi, static - 1992
67 ciently computing static single assignment form and the cont.. (context) - Cytron, Ferrante et al. - 1990
45 Precise interprocedural dataflow analysis with applications .. - Sagiv, Reps et al. - 1996
29 Disquisitiones Arithmeticae (context) - Gauss - 1986
19 Software Practice and Experience (context) - Briggs, Cooper et al. - 1997
10 Precise interprocedural analysis through linear algebra (context) - Muller-Olm, Seidl - 2004
10 ne relationships among variables of a program (context) - Karr - 1976
8 the sequential nature of interprocedural program-analysis pr.. - Reps - 1996
7 The complexity of type analysis of object oriented programs - Gil, Itai - 1998
5 Globalvaluenumbering using random interpretation - GulwaniandG, Necula - 2004
4 A polynomial-time algorithm for global value numbering (context) - Gulwani, Necula - 2004
3 ne equalities using random interpretation (context) - Gulwani, Necula - 2003
2 Detecting equalities of variables: Combining e#ciency with p.. (context) - Ruthing, Knoop et al. - 1999
1 Program analysis using random interpretation (context) - Gulwani - 2005
1 Lattice basis reduction algorithms and applications (context) - Cary - 2002
1 Interprocedural herbrand equalities (context) - Muller-Olm, Seidl et al. - 2005
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC