CORR
2011
Springer
12 years 11 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
13 years 9 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
13 years 10 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
13 years 11 months ago
2008
IEEE
Program optimization for highly-parallel systems has historically been considered an art, with experts doing much of the per