Optimizing Java Bytecode using the Soot Framework: Is it Feasible?
Vortex: an optimizing compiler for object-oriented languages