334 search results - page 20 / 67 » MDL: A Language and Compiler for Dynamic Program Instrumenta... |
122
Voted
PLDI
2003
ACM
15 years 5 months ago
2003
ACM
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...
105
click to vote
PLDI
1995
ACM
15 years 4 months ago
1995
ACM
Dynamic dispatching is a major source of run-time overhead in object-oriented languages, due both to the direct cost of method lookup and to the indirect effect of preventing othe...
111
Voted
ICFP
2002
ACM
16 years 11 days ago
2002
ACM
Even when programming in a statically typed language we every now and then encounter statically untypable values; such values result from interpreting values or from communicating...
117
click to vote
LCPC
2007
Springer
15 years 6 months ago
2007
Springer
Program dynamic optimization, adaptive to runtime behavior changes, has become increasingly important for both performance and energy savings. However, most runtime optimizations o...
136
Voted
CASES
2007
ACM
15 years 2 months ago
2007
ACM
Aggressive compiler optimizations such as software pipelining and loop invariant code motion can significantly improve application performance, but these transformations often re...