- Ehrhart polynomials - the polytope model - program optimizations - cache memory optimizations - automatic parallelization of programs - feedback-directed optimizations - trace analysis