Ole Agesen, Urs Hölzle  Home/Search
Context Related
| ucsb.edu/TRs/Docs/TRCS9504.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: ucsb.edu/TRs/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Two promising optimization techniques for object-oriented languages are type feedback (dynamic) and concrete type inference (static). We directly compare the two techniques, evaluating their effectiveness on a suite of 23 SELF programs while keeping other factors constant. Our results show that both systems inline >95% of all sends and deliver similar overall performance with one exception: SELF's automatic coercion of machine integers to arbitrary-precision integers upon overflow confounds... (Update)
Context of citations to this paper: More
...i oe ; e oe ; a oe 1 for APP x . 4 The Haynes Parser While sophisticated schemes exist for detailed type inferencing (e.g. [1, 2, 6, 15]) we have found that, for generating ratios of I m to Am to Em , a simple brute force approach suffices. The Haynes parser [8] first...
Cited by: More
Empirical Observations of Class-level Encapsulation and.. - Menzies, Haynes (1996) (Correct)
Similar documents (at the sentence level):
65.9%: Dynamic vs. Static Optimization Techniques for.. - Hölzle, Agesen (Correct)
Active bibliography (related documents): More All
1.1: Adaptive Optimization For Self: Reconciling High Performance With .. - Hölzle (1994) (Correct)
0.4: Message Dispatch on Modern Computer Architectures - Driesen, Hölzle, Vitek (1994) (Correct)
0.3: Optimizing Dynamically-Typed Object-Oriented Languages.. - Hölzle, Chambers, Ungar (1991) (Correct)
Similar documents based on text: More All
0.8: Reconciling Responsiveness with Performance in Pure.. - Hölzle, Ungar (Correct)
0.1: An Efficient Meta-lock for Implementing Ubiquitous.. - Agesen, Detlefs.. (1999) (Correct)
0.1: GC Points in a Threaded Environment - Agesen (1998) (Correct)
BibTeX entry: (Update)
O. Agesen and U. Holzle. Type Feedback vs Concrete Type Inference: A Comparison of Optimisation Techniques for OO Languages. In OOPSLA '95, pages 91--107, 1995. http://citeseer.ist.psu.edu/agesen95type.html More
@inproceedings{ agesen95type,
author = "Ole Agesen and Urs H\"olzle",
title = "Type Feedback vs. Concrete Type Inference: A Comparison of Optimization Techniques for Object-Oriented Languages",
booktitle = "Conference on Object-Oriented",
pages = "91-107",
year = "1995",
url = "citeseer.ist.psu.edu/agesen95type.html" }
Citations (may not include all citations):190 Optimization of object-oriented programs using static class .. - Dean, Grove et al. - 1994
151 Object-Oriented Type Inference - Palsberg, Schwartzbach - 1991
149 Precise Concrete Type Inference for Object-Oriented Language.. - Plevyak, Chien - 1994
121 Efficient Implementation of the Smalltalk-80 System - Deutsch, Schiffman - 1984
80 Optimizing Dynamically-Dispatched Calls with Run-Time Type F.. (context) - Hlzle, Ungar - 1994
67 Iterative Type Analysis and Extended Message Splitting: Opti.. - Chambers, Ungar - 1990
66 Quantifying Behavioral Differences Between C and C++ Program.. - Calder, Grunwald et al. - 1994
49 The Cartesian Product Algorithm: Simple and Precise Type Inf.. - Agesen
48 Type Inference of SELF: Analysis of Objects with Dynamic and.. - Agesen, Palsberg et al. - 1993
45 a DynamicallyTyped Object-Oriented Language Based on Prototy.. (context) - Chambers, Ungar et al. - 1989
44 Obtaining sequential efficiency for concurrent object-orient.. - Plevyak, Zhang et al. - 1995
38 Constraint-Based Type Inference and Parametric Polymorphism - Agesen - 1994
37 Making Type Inference Practical (context) - Oxhj, Palsberg et al. - 1991
36 TS: An optimizing compiler for Smalltalk (context) - Johnson, Graver et al. - 1988
36 Optimizing Dynamically-Typed Object-Oriented Languages with .. - Hlzle, Chambers et al. - 1991
30 Inferring Types in Smalltalk (context) - Suzuki - 1981
29 Compile-time Analysis of Object-Oriented Programs (context) - Vitek, Horspool et al. - 1992
25 Static Type Determination and Aliasing for C - Pande, Ryder - 1994
24 Compilation and Delayed Evaluation in APL (context) - Guibas, Wyatt - 1978
19 A Third-Generation SELF Implementation: Reconciling Responsi.. (context) - Hlzle, Ungar - 1994
16 Sifting Out the Gold: Delivering Compact Applications from a.. - Agesen, Ungar - 1994
12 Measurement and Application of Dynamic Receiver Class Distri.. - Garrett, Dean et al. - 1994
7 Design and Construction of Flexible and Efficient Interactiv.. (context) - Mitchell - 1970
6 Smalltalk-80: Bits of History and Words of Advice (context) - Krasner - 1983
6 Adaptive Optimization in SELF: Reconciling High Performance .. - Hlzle - 1994
5 Efficient cloning to eliminate dynamic dispatch in object-or.. (context) - Plevyak, Chien - 1994
4 The Dynamic Incremental Compiler of APL (context) - Johnston - 1979
3 A dynamic incremental compiler for an interpretative languag.. (context) - Van Dyke - 1977
2 Precise Concrete Type Inference and its Use in Program Optim.. (context) - Plevyak, Chien - 1994
Documents on the same site (http://www.cs.ucsb.edu/TRs/): More
Compile/Run-time Support for Threaded MPI Execution on.. - Tang, Shen, Yang (1999) (Correct)
The Utility of Exploiting Idle Memory for Data-Intensive.. - Acharya, Setia (1998) (Correct)
Simple Algorithms for Multimessage Multicasting With Forwarding - Gonzalez (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