CORR
2011
Springer
13 years 7 months ago
2011
Springer
In this paper, we present type systems for flow-sensitive pointer analysis, live stack-heap (variables) analysis, and program optimization. The type system for live stack-heap ana...
CC
1999
Springer
14 years 4 months ago
1999
Springer
Abstract. Optimizing compilers typically limit the scope of their analyses and optimizations to individual modules. This has two drawbacks: rst, library code cannot be optimized to...
CC
2003
Springer
14 years 5 months ago
2003
Springer
Cache memories were invented to decouple fast processors from slow memories. However, this decoupling is only partial, and many researchers have attempted to improve cache use by p...
CGO
2008
IEEE
14 years 7 months ago
2008
IEEE
Program optimization for highly-parallel systems has historically been considered an art, with experts doing much of the per