Ulrik P. Schultz, Julia L. Lawall, Charles Consel  Home/Search
Context Related
| ucsb.edu/~ckrintz/...cialization.pdf.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: ucsb.edu/~ckrintz/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents an automatic program specializer for Java, named JSpec. JSpec combines interprocedural static analyses with aggressive global optimizations, which allows it to automatically eliminate overheads due to the use of object-oriented abstractions in generic programs. We describe the complete specialization process implemented by JSpec, including a novel use of aspect-oriented programming to represent specialized programs, and characterize the strengths and limitations of both... (Update)
Context of citations to this paper: More
...evaluator. The partial evaluation principles that we describe form the basis of a complete partial evaluator for Java, described elsewhere [23, 24]. We consider class based object oriented languages; partial evaluation for object based object oriented languages is future work....
.... recently been defined in the context of object oriented languages, and is here referred to as object oriented program specialization [4, 5, 6, 7, 8]. As part of this work, we have developed an automatic program specializer for Java, named JSpec, which has been shown to give...
Cited by: More
Binary Refactoring: Improving Code behind the Scenes - Tilevich, al. (2005) (Correct)
Object-Oriented Program Specialization: Aspects Into Aspects - Or .. - Schultz (2001) (Correct)
Partial Evaluation for Class-Based Object-Oriented Languages - Schultz (2000) (Correct)
Similar documents (at the sentence level):
8.0%: Automatic Program Specialization for Java - Schultz, Lawall, Consel (2000) (Correct)
Active bibliography (related documents): More All
2.0: Towards Unifying Inheritance and Automatic Program Specialization - Schultz (Correct)
0.7: OoLaLa: an Object Oriented Analysis and Design of.. - Luján, Freeman, Gurd (2000) (Correct)
0.5: Specialization Patterns - Schultz, Lawall, Consel (2000) (Correct)
Similar documents based on text: More All
0.4: Towards Automatic Specialization of Java Programs - Schultz, Lawall, Consel, Muller (1999) (Correct)
0.3: Partial Evaluation of Pattern Matching in Strings, revisited - Grobauer, Lawall (2000) (Correct)
0.2: Automatic, Template-Based Run-Time Specialization.. - Noël, Hornof, al. (Correct)
Related documents from co-citation: More All
2: An Open Compiler Using Meta-Level Information for Improving the Efficiency of Ob.. - Tourwe, De Meuter - 1998
2: A Survey of Software Refactoring (context) - Mens, Tourw - 2004
2: Optimizing object-oriented languages through architectural transformations - Tourwe, De Meuter - 1999
BibTeX entry: (Update)
U. Schultz and C. Consel. Automatic program specialization for Java. DAIMI Technical Report PB-551, DAIMI, University of Aarhus, December 2000. Submitted for publication. http://citeseer.ist.psu.edu/article/schultz03automatic.html More
@misc{ schultz00automatic,
author = "U. Schultz and C. Consel",
title = "Automatic program specialization for Java",
text = "U. Schultz and C. Consel. Automatic program specialization for Java. DAIMI
Technical Report PB-551, DAIMI, University of Aarhus, December 2000. Submitted
for publication.",
year = "2000",
url = "citeseer.ist.psu.edu/article/schultz03automatic.html" }
Citations (may not include all citations):2157 Design Patterns: Elements of Reusable Object-Oriented Softwa.. (context) - GAMMA, HELM et al. - 1994
756 Aspect-oriented programming - KICZALES, LAMPING et al. - 1997
638 Partial Evaluation and Automatic Program Generation (context) - JONES, GOMARD et al. - 1993
230 An overview of AspectJ - KICZALES, HILSDALE et al. - 2072
224 Partial evaluation in logic programming (context) - LLOYD, AND - 1991
190 Optimization of object-oriented programs using static class .. - DEAN, GROVE et al. - 1995
149 Precise concrete type inference for object-oriented language.. - PLEVYAK, AND - 1994
145 Customization: Optimizing compiler technology for SELF (context) - CHAMBERS, AND - 1989
76 A uniform approach for compiletime and run-time specializati.. - CONSEL, HORNOF et al. - 1996
75 Practical virtual method call resolution for Java - SUNDARESAN, HENDREN et al. - 2000
69 Profile-guided receiver class prediction - GROVE, DEAN et al. - 1995
69 A tour of Schism: a partial evaluation system for higher-ord.. - CONSEL - 1993
62 Selective specialization for object-oriented languages - DEAN, CHAMBERS et al. - 1995
60 Emerald: A generalpurpose programming language - RAJ, TEMPERO et al. - 1991
49 Implementing Jalape no in Java - ALPERN, ATTANASIO et al. - 1999
46 Practical experience with an application extractor for Java - TIP, LAFFRA et al. - 1999
45 Inlining of virtual methods - DETLEFS, AND - 1999
43 Accurate binding-time analysis for imperative languages: Flo.. - HORNOF, AND - 2000
38 Self-applicable partial evaluation (context) - BONDORF - 1990
38 Declarative specialization of objectoriented programs - VOLANSCHI, CONSEL et al. - 1997
37 Procedure cloning - COOPER, HALL et al. - 1992
36 Towards automatic specialization of Java programs - SCHULTZ, LAWALL et al. - 1999
32 Optimizing dynamically-dispatched calls with run-time type f.. (context) - Schultz, OLZLE et al. - 1994
25 templates as partial evaluation (context) - VELDHUIZEN - 1999
24 Harissa: A hybrid approach to Java execution - MULLER, AND - 1999
22 An evaluation of Java for numerical computing - BLOUNT, AND - 1999
20 A study of devirtualization techniques for a Java Just-In-Ti.. (context) - ISHIZAKI, KAWAHITO et al. - 2000
17 An evaluation of automatic object inline allocation techniqu.. - DOLBY, AND - 1998
17 Effective specialization of realistic programs via use sensi.. - HORNOF, NOY et al. - 1997
16 An automatic object inlining optimizations and its evaluatio.. - DOLBY, AND - 1999
15 Partial evaluation of an object-oriented imperative language (context) - MARQUARD, AND - 1992
14 A framework for interprocedural optimization in the presence.. - SREEDHAR, BURKE et al. - 1999
13 Specialization patterns - SCHULTZ, LAWALL et al. - 2000
11 Towards partially evaluating reflection in Java (context) - BRAUX, AND - 2000
9 reflective JIT compiler framework for Java (context) - OGAWA, SHIMURA et al. - 2000
9 Determination of dynamic method dispatches using run-time co.. (context) - FUJINAMI - 1998
8 Sealed calls in Java packages (context) - ZAKS, FELDMAN et al. - 2000
7 Object-oriented software engineering using partial evaluatio.. - SCHULTZ - 2000
7 Partial evaluation for class-based object-oriented languages - SCHULTZ - 2053
6 Precise constraint-based type inference for Java - WANG, AND - 2072
5 The cost of being object-oriented: A preliminary study (context) - BUDIMLI, KENNEDY et al. - 1999
5 Prospects for scientific computing in polymorphic (context) - BUDIMLI, AND - 1999
5 The Java Grande Forum benchmark suite (context) - FORUM - 1999
4 ACM Transactions on Programming Languages and Systems (context) - August, September et al. - 2003
4 Object oriented linear algebra (context) - AN - 1999
3 Efficient incremental checkpointing of Java programs - LAWALL, AND - 2000
3 OOLALA: an object oriented analysis and design of numerical .. (context) - AN, FREEMAN et al. - 2000
2 Supporting objects in run-time bytecode specialization (context) - AFFELDT, MASUHARA et al. - 2002
2 Type inference of SELF (context) - AGESEN, PALSBERG et al. - 1993
2 Sun JDK 1 (context) - MICROSYSTEMS - 2002
2 Sun JDK 1 (context) - MICROSYSTEMS - 1999
2 A portable approach to dynamic optimization in run-time spec.. - MASUHARA, AND - 2002
1 Dynamic partial evaluation (context) - SULLIVAN - 2053
1 JaMake: a Java compiler environment - BUDIMLI, AND - 2001
1 OOLALA: Transformations for implementations of matrix operat.. (context) - AN, GURD et al. - 2001
1 Eliminating virtual calls in C++ programs (context) - AIGNER, AND - 1996
1 Expression templates in Java (context) - VELDHUIZEN - 2000
Documents on the same site (http://www.cs.ucsb.edu/~ckrintz/papers/): More
NWSLite: A Non-Parametric Prediction Utility for.. - Gurun, Krintz, Wolski (Correct)
Efficient Representation and Validation of Proofs - Necula, Lee (1998) (Correct)
A Machine Learning Approach to Automatic Production of.. - Monsifrot, Bodin.. (2002) (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