|
105
|
Practicing JUDO: Java under dynamic optimizations
– Michae̷l Cierniak, Guei-Yuan Lueh, James M Stichnoth
|
|
347
|
Dynamo: A Transparent Dynamic Optimization System
– Vasanth Bala
- 2000
|
|
1637
|
Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints
– P Cousot, R Cousot
- 1977
|
|
37
|
Calpa: A Tool for Automating Selective Dynamic Compilation
– Markus Mock, Craig Chambers, Susan J. Eggers
- 2000
|
|
148
|
Optimizing ML with Run-Time Code Generation
– Peter Lee, Mark Leone
|
|
83
|
An evaluation of staged run-time optimizations in DyC
– B Grant, M Philipose, M Mock, C Chambers, S J Eggers
- 1999
|
|
88
|
DyC: An Expressive Annotation-Directed Dynamic Compiler for C
– Brian Grant , Markus Mock, Matthai Philipose, Craig Chambers, Susan J. Eggers
|
|
23
|
Performance Characterization of a Hardware Mechanism for Dynamic Optimization
– Brian Fahs, Satarupa Bose, Matthew Crum, Brian Slechta, Francesco Spadini, Tony Tung, Sanjay J. Patel, Steven S. Lumetta
- 2001
|
|
35
|
Composing Dataflow Analyses and Transformations
– Sorin Lerner, David Grove, Craig Chambers
- 2001
|
|
58
|
Automatically Proving the Correctness of Compiler Optimizations
– Sorin Lerner, Todd Millstein, Craig Chambers
- 2003
|
|
77
|
Data flow analysis is model checking of abstract interpretations
– David Schmidt
- 1998
|
|
49
|
Data flow analysis as model checking
– B Steffen
- 1991
|
|
118
|
Effective synchronization removal for Java
– E Ruf
- 2000
|
|
59
|
effective code generation in a just-in-time Java compiler
– Fast
|
|
179
|
A General Approach for Run-Time Specialization and its Application to C
– Charles Consel
- 1996
|
|
175
|
Unification-based Pointer Analysis with Directional Assignments
– Manuvir Das
- 2000
|
|
477
|
Points-to Analysis in Almost Linear Time
– Bjarne Steensgaard
- 1996
|
|
267
|
Control-Flow Analysis of Higher-Order Languages
– Olin Shivers
- 1991
|
|
472
|
Program Analysis and Specialization for the C Programming Language
– Lars Ole Andersen
- 1994
|
