Paul R. Carini, Harini Srinivasan  Home/Search
Context Related
| newpaltz.edu/~hind/papers/ft...20267.ps ibm.com/people/h/hind/20267.ps 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: newpaltz.edu/~hind/papers/ (more) From: ibm.com/people/h/hind/ (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Static determination of run-time types is a key analysis step for compile-time optimizations of objectoriented languages with dynamic dispatch of functions. Type information is fundamental for determining the virtual functions that can be invoked and enables a number of interprocedural analyses and transformations. For example, knowledge of the types of objects at virtual function call sites opens opportunities for inlining, which in turn facilitates a number of intraprocedural compiler... (Update)
Context of citations to this paper: More
.... result, a number of optimization techniques have been proposed that attempt to reduce the overhead of virtual function calls [DEMM96, PR94, CHS95, Dea96, LSG00] However, due to a lack of runtime information (i.e. the actual object type) and the need to be conservative during...
...to detect more invariant types. To our knowledge, the most complete type analysis algorithm is due to Carini, Hind and Srinivassan [3], who proposed a flow sensitive interprocedural type analysis, which also handles aliasing. Nevertheless, their approach of the flow...
Cited by: More
A Study of Exception Handling and Its Dynamic.. - Ogasawara, Komatsu.. (2001) (Correct)
SSA-based Flow-Sensitive Type Analysis: Combining Constant .. - Lenart, Sadler, Gupta (1998) (Correct)
Compiler Techniques for Efficiently Implementing Virtual.. - Sadler, Gupta, al. (2000) (Correct)
Active bibliography (related documents): More All
0.9: Static Type Determination and Aliasing for C++ - Pande, Ryder (1995) (Correct)
0.3: Static Type Determination for C++ - Pande, Ryder (1994) (Correct)
0.3: Compiler Representations for Heterogeneous Processing - Weaver (1995) (Correct)
Similar documents based on text: More All
0.3: Speculative Alias Analysis for Executable Code - Fernández, Espasa (Correct)
0.2: Interprocedural Pointer Alias Analysis - Burke, Carini, Choi (1997) (Correct)
0.2: Flow-Sensitive Interprocedural Constant Propagation - Carini, Hind (1995) (Correct)
Related documents from co-citation: More All
3: Static type determination for C - Pande, Ryder - 1994
3: Vortex: An optimizing compiler for object-oriented languages - Dean, DeFouw et al. - 1996
3: The Java Language Specification - Gosling, Joy et al. - 1997
BibTeX entry: (Update)
P. Carini, M. Hind, and H. Srinivasan. Flow-sensitive type analysis for C++. Technical report, IBM T.J. Watson Research Center, 1995. http://citeseer.ist.psu.edu/article/carini95flowsensitive.html More
@inproceedings{ carini95flowsensitive,
author = "Paul R. Carini and Michael Hind",
title = "Flow-Sensitive Interprocedural Constant Propagation",
booktitle = "{SIGPLAN} Conference on Programming Language Design and Implementation",
pages = "23-31",
year = "1995",
url = "citeseer.ist.psu.edu/article/carini95flowsensitive.html" }
Citations (may not include all citations):228 Points-to analysis in almost linear time - Steensgaard - 1996
176 Ellis and Bjarne Stroustrup (context) - Margaret - 1990
175 A safe approximate algorithm for interprocedural pointer ali.. - Landi, Ryder - 1992
145 Customization: Optimizing compiler technology for SELF (context) - Chambers, Ungar - 1989
132 Detecting conflicts between structure accesses (context) - Larus, Hilfinger - 1988
107 Object-Oriented Type Systems (context) - Palsberg, Schwartzbach - 1994
97 Pointer-induced aliasing: A problem classification (context) - Landi, Ryder - 1991
85 Reducing indirect function call overhead in C++ programs - Calder, Grunwald - 1994
80 Optimizing dynamically-dispatched calls with run-time type f.. (context) - Holzle, Chambers et al. - 1994
66 Quantifying behavioral differences between C and C++ program.. - Calder, Grunwald et al. - 1995
62 Selective specialization for object-oriented languages - Dean, Chambers et al. - 1995
53 Automatic construction of sparse data flow evaluation graphs (context) - Choi, Cytron et al. - 1991
51 Simple and effective link-time optimization of modula-3 prog.. - Fernandez - 1995
36 Optimizing dynamically-typed object-oriented languages with .. - Holzle, Chambers et al. - 1991
36 Efficient flow-sensitive interprocedural computation of poin.. (context) - Choi, Burke et al. - 1993
31 Static type determination for C - Pande, Ryder - 1994
25 Static type determination and aliasing for C - Pande, Ryder - 1995
25 Static type determination and aliasing for C - Pande, Ryder - 1995
13 Interprocedural pointer alias analysis - Burke, Carini et al. - 1995
3 Interprocedural alias and type analysis for pointers (context) - Parameswaran - 1992
3 Analyzing statically-typed object-oriented programs for mode.. (context) - Diwan, Eliot et al. - 1995
3 Precise object-oriented type inference and its use in progra.. (context) - Plevyak, Chien - 1994
2 An Improved Type-Inference Algorithm To Expose Parallelism I.. (context) - Kumar, Agrawal et al. - 1995
1 The undecidability of type analysis (context) - Ramalingam - 1995
1 Rapid type inference for C++ programs (context) - Bacon - 1995
1 Kuhn and David W (context) - Bradley - 1995
Documents on the same site (http://www.mcs.newpaltz.edu/~hind/papers/): More
The Jalapeño Dynamic Optimizing Compiler for Java - Burke, Choi, Fink.. (1999) (Correct)
Assessing the Effects of Flow-Sensitivity on Pointer Alias.. - Hind, Pioli (1998) (Correct)
An Empirical Comparison of Interprocedural Pointer Alias Analyses - Hind, Pioli (1997) (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