Programmer feedback and dynamic analysis to enable optimization in Java applications: the D.U.P.O. framework

It is inherently difficult for static analyses to make precise decisions about dynamic features of modern object-oriented languages. This makes it more difficult to apply optimizations aggressively. This thesis introduces the D.U.P.O. framework to facilitate the use of dynamic analyses to enable performance optimizations. Since dynamic analyses cannot guarantee complete code coverage, a two part strategy is employed: unit tests are used as a de facto specification, and the programmer provides final verification. The interaction can be kept at a minimum by using the rich information provided by a dynamic analysis. Object inlining is discussed as an example instance of the framework.National Science FoundationComputer ScienceMastersUniversity of New Mexico. Dept. of Computer ScienceStefanovic, DarkoDiwan, AmerBridges, Patrick G