|
72
|
SafeTSA: a type safe and referentially secure mobile-code representation based on Static Single Assignment form
– Wolfram Amme
- 2001
|
|
749
|
Efficiently computing static single assignment form and the control dependence graph
– Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck
- 1991
|
|
24
|
Annotating Java Class Files with Virtual Registers for Performance
– Joel Jones, Samuel Kamin
- 1999
|
|
48
|
Using Annotations to Reduce Dynamic Optimization Time
– Chandra Krintz, Brad Calder
- 2001
|
|
6
|
Annotations for Portable Intermediate Languages
– Fermin Reig
- 2001
|
|
3
|
Improving Mobile Program Performance through the Use of a Hybrid Intermediate Representation
– Chandra Krintz
- 2002
|
|
3
|
Compile Time Elimination of Null- and Bounds-Checks
– Jeffery von Ronne, Michael Franz, Niall Dalton, Wolfram Amme
- 2001
|
|
3
|
Efficient Online Optimization by Utilizing Offline Analysis and the SafeTSA Representation
– Jeffery von Ronne, Andreas Hartmann, Wolfram Amme, Michael Franz
- 2002
|
|
210
|
Zadeck. Detecting equality of variables in programs
– Bowen Alpern, Mark N Wegman, F Kenneth
- 1988
|
|
165
|
Global value numbers and redundant computations
– B K Rosen, M N Wegman, F K Zadeck
- 1988
|
|
1016
|
Proof-Carrying Code
– George C. Necula
- 1997
|
|
16
|
The Case for Virtual Register Machines
– David Gregg, Andrew Beatty, Kevin Casey, Brian Davis, Andy Nisbet
- 2004
|
|
29
|
A tree-based alternative to Java byte-codes
– Thomas Kistler, Michael Franz
- 1996
|
|
2
|
A safe and efficient machine-independent code transportation format based on static single assignment form and applied to just-in-time compilation
– J von Ronne
- 2005
|
|
4
|
M.: Quantifying the benefits of ssa-based mobile code
– W Amme, J von Ronne, Franz
- 2005
|
|
3
|
Removal of bounds checks in an annotation aware jvm
– Donald E Yessick, Joel Jones
- 2002
|
|
68
|
Lightweight Bytecode Verification
– Eva Rose
- 1998
|
|
16
|
Indirect threaded code
– Robert B K Dewar
- 1975
|
|
36
|
Stack Caching for Interpreters
– M. Anton Ertl
- 1994
|
