See this document in CiteSeerX!

Using the SafeTSA Representation to Boost the Performance of an Existing Java Virtual Machine (2002)  (Make Corrections)  (5 citations)
Wolfram Amme, Jeffery von Ronne, Michael Franz



  Home/Search   Context   Related

 
View or download:
ucsb.edu/~ckrintz/...satr0602.pdf.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  ucsb.edu/~ckrintz/papers/ (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: High-performance just-in-time compilers for Java need to invest a considerable e#ort before actual code generation can commence, both to verify each incoming JVM class file, and to translate the them into an internal representation for optimization. To ease this burden, we have designed, safeTSA, an intermediate representation based on a typed SSA form, that drastically simplifies both of these steps, without sacrificing safety or code quality. (Update)

Context of citations to this paper:   More

.... project, we have developed a system consisting of a Java to SafeTSA compiler and a JVM extended to support just in time compilation from SafeTSA to native PowerPC code[2]. Currently we are in the process of adding support for our our code annotation technique into the...

Cited by:   More
Improving Mobile Program Performance through the Use of a Hybrid.. - Krintz (2002)   (Correct)
Making Mobile Code Both Safe and Efficient - Franz, Amme, Beers, Dalton.. (2003)   (Correct)
Code Annotation for Safe and Efficient Dynamic Object Resolution - Hartmann, Amme (2003)   (Correct)

Similar documents (at the sentence level):
13.1%:   Using the SafeTSA Representation to Boost the Performance .. - Amme, von Ronne, Franz (2002)   (Correct)
11.4%:   Efficient Online Optimization by Utilizing Offline.. - von Ronne.. (2002)   (Correct)

Active bibliography (related documents):   More   All
0.1:   Intensional and Extensional Aspects of Java Byte Code - Clausen (1998)   (Correct)
0.1:   Precision in Practice: A Type-Preserving Java Compiler - League, Shao, Trifonov (2003)   (Correct)
0.1:   Project transPROSE: Reconciling Mobile-Code.. - Amme, Housel.. (2001)   (Correct)

Similar documents based on text:   More   All
0.4:   Compile Time Elimination of Null- and Bounds-Checks - Je Ery Von   (Correct)
0.4:   A Type-Safe Mobile-Code Representation Aimed at.. - Amme, Dalton, Franz, ..   (Correct)
0.3:   SafeTSA: A Type Safe and Referentially Secure.. - Amme, Dalton, von.. (2001)   (Correct)

Related documents from co-citation:   More   All
5:   Using annotations to reduce dynamic optimization time - Krintz, Calder - 2000
5:   Safetsa: A type safe and referentially secure mobile-code representation based o.. - Amme, Dalton et al. - 2000
4:   Compositional pointer and escape analysis for java programs - Whaley, Rinard - 1999

BibTeX entry:   (Update)

W. Amme, J. von Ronne, and M. Franz. Using the safetsa representation to boost the performance of an existing java virtual machine. In 10th International Workshop on Compilers for Parallel Computers (CPC), 2003. 14 Hartmann et al. http://citeseer.ist.psu.edu/article/amme02using.html   More

@misc{ amme03using,
  author = "W. Amme and J. von Ronne and M. Franz",
  title = "Using the safetsa representation to boost the performance of an existing
    java virtual machine",
  text = "W. Amme, J. von Ronne, and M. Franz. Using the safetsa representation to
    boost the performance of an existing java virtual machine. In 10th International
    Workshop on Compilers for Parallel Computers (CPC), 2003. 14 Hartmann et
    al.",
  year = "2003",
  url = "citeseer.ist.psu.edu/article/amme02using.html" }
Citations (may not include all citations):
86   The Jalapeno virtual machine (context) - Alpern, Attanasio et al. - 2000
62   The jalapeno dynamic optimizing compiler for java - Burke, Choi et al. - 1999
38   SafeTSA: A type safe and referentially secure mobile-code re.. - Amme, Dalton et al. - 2001
35   overview FLINTML compiler - overview, FLINT et al. - 1997
35   Communications of the ACM (context) - Franz, Kistler - 1997
35   Annotating the Java bytecodes in support of optimization - Hummel, Azevedo et al. - 1997
34   A control-flow normalization algorithm and its complexity - Ammarguellat - 1992
23   Combining Optimizations (context) - Click - 1995
22   Continuous Program Optimization (context) - Kistler - 1999
21   Reverse Compilation Techniques - Cifuentes - 1994
19   A Tree-Based alternative to Java byte-codes - Kistler, Franz - 1999
16   The Swift Java Compiler: Design and Implementation - Scales, Randall et al. - 2000
15   Analysis and Development of Java Grande Benchmarks - Mathew, Coddington et al. - 1999
14   Software---Practice and Experience (context) - Fitzgerald, Knoblock et al. - 2000
11   Functional Java bytecode - League, Trifonov et al. - 2001
6   implementation notes (context) - Nori, Ammann - 1981
3   Architecture Neutral Distribution Format (context) - Distribution, Specification et al. - 1996
3   A typed-safe mobile code representation aimed at supporting .. (context) - Amme, Dalton et al. - 2000
2   Jikes RVM User's Manual (context) - Research - 2002
http://java.sun.com/products/

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