Frederic Vivien, Martin C. Rinard  Home/Search
Context Related
| mit.edu/~rinard/paper/pldi01.full.ps mit.edu/~rinard/paper/pldi01.ps graal.enslyon.fr/...ICPS200102.ps.gz Cached: PS.gz PS 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.
Image Update HelpPS.gz PS PDF From: mit.edu/~rinard/paper/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a new pointer and escape analysis. Instead of analyzing the whole program, the algorithm incrementally analyzes only those parts of the program that may deliver useful results. An analysis policy monitors the analysis results to direct the incremental investment of analysis resources to those parts of the program that offer the highest expected optimization return. (Update)
Cited by: More
An in-Card Bytecode Optimization for Objects Management In.. - Fournerie (Correct)
Connectivity-Based Garbage Collection - Hirzel (2004) (Correct)
Data Structure Analysis: A Fast and Scalable Context-Sensitive .. - Lattner, Adve (2003) (Correct)
Similar documents (at the sentence level):
76.7%: Incrementalized Pointer and Escape Analysis - Fr Ed Eric (2001) (Correct)
Active bibliography (related documents): More All
0.3: Detecting Errors with Configurable Whole-program Dataflow.. - Guyer, Berger, Lin (2002) (Correct)
0.2: Incremental Analysis For Flow- And Context-Sensitive Data-Flow.. - Yur (1999) (Correct)
0.2: Compiler Analysis of Sparse and Irregular Computations - Lin (2000) (Correct)
Similar documents based on text: More All
0.6: Interprocedural Compatibility Analysis for Static.. - Gheorghioiu.. (2003) (Correct)
0.6: Compositional Pointer and Escape Analysis for Java Programs - Whaley, Rinard (1999) (Correct)
0.4: Workshop "Compilation et Parallélisation Automatique" - Mongenet, Rajopadhye.. (1999) (Correct)
Related documents from co-citation: More All
7: Solving shape-analysis problems in languages with destructive updating - Sagiv, Reps et al. - 1996
7: Escape Analysis for Java - Choi, Gupta et al. - 1999
6: Pointer analysis: haven't we solved this problem yet - Hind - 2001
BibTeX entry: (Update)
F. Vivien and M. Rinard. Incrementalized pointer and escape analysis. In Conference on Programming Language Design and Implementation, pages 35--46, 2001. http://citeseer.ist.psu.edu/article/vivien01incrementalized.html More
@inproceedings{ vivien01incrementalized,
author = "Fr\'e{}d\'e{}ric Vivien and Martin C. Rinard",
title = "Incrementalized Pointer and Escape Analysis",
booktitle = "{SIGPLAN} Conference on Programming Language Design and Implementation",
pages = "35-46",
year = "2001",
url = "citeseer.ist.psu.edu/article/vivien01incrementalized.html" }
Citations (may not include all citations):353 The SPLASH-2 programs: Characterization and methodological c.. - Woo, Ohara et al. - 1995
167 Garbage collection in an uncooperative environment (context) - Boehm, Weiser - 1988
154 Escape analysis for Java - Choi, Gupta et al. - 1999
119 Compositional pointer and escape analysis for Java programs - Whaley, Rinard - 1999
103 The Real-Time Specification for Java - Bollella - 2000
67 Escape analysis for object oriented languages (context) - Blanchet - 1999
63 Removing unnecessary synchronization in Java - Bogda, Hoelzle - 1999
59 Demand interprocedural dataflow analysis - Reps, Horowitz et al. - 1995
49 The cartesian product algorithm: Simple and precise type inf.. - Agesen - 1995
23 A practical framework for demand-driven interprocedural data.. - Duesterwald, Gupta et al. - 1997
20 Effective synchronization removal for Java (context) - Ruf - 2000
18 Data-flow analysis of program fragments - Rountev, Ryder et al. - 1999
6 Demand-driven interprocedural array property analysis (context) - Lin, Padua - 1999
5 Optimizing the use of high performance libraries (context) - Guyer, Lin - 2000
5 Simultaneous demand-driven data-flow and call graph analysis - Agrawal - 1999
5 Incremental algorithms and empirical comparison for flow- an.. - Yur, Ryder et al. - 1999
3 Design-directed compilation (context) - Rugina, Rinard - 2001
3 Points-to and side-effect analyses for programs built with p.. - Rountev, Ryder - 2001
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cag.lcs.mit.edu/~rinard/paper/): More
Hierarchical Concurrency in Jade - Scales, Rinard, Lam, Anderson (Correct)
Commutativity Analysis: A Technique for Automatically.. - Rinard, Diniz (1996) (Correct)
Commutativity Analysis: A New Analysis Framework for.. - Rinard, Diniz (1996) (Correct)
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