Source-to-Source Architecture for User-Defined Optimizations

摘要

The performance of object-oriented applications often suffers from the inefficient use of high-level abstractions provided by underlying libraries. Since these library abstractions are user-defined and not part of the programming language itself only limited information on their high-level semantics can be leveraged through program analysis by the compiler and thus most often not appropriate high-level optimizations are performed. In this paper we outline an approach based on source-to-source transformation to allow users to define optimizations which are not performed by the compiler they use.