Work

Automatic program specialization for Java

Year: 2003

Type: article

Abstract: The object-oriented style of programming facilitates program adaptation and enhances program genericness, but at the expense of efficiency. We demonstrate experimentally that state-of-the-art Java compilers fail to compensate for the use of object-oriented abstractions in the implementation of generic programs, and that program specialization can eliminate a significant portion of these overheads. We present an automatic program specializer for Java, illustrate its use through detailed case studies, and demonstrate experimentally that it can significantly reduce program execution time. Although automatic program specialization could be seen as being subsumed by existing optimizing compiler technology, we show that specialization and compiler optimization are in fact complementary.

Source: ACM Transactions on Programming Languages and Systems

DOI: 10.1145/778559.778561

Authors: Ulrik P. Schultz, Julia L. Lawall, Charles Consel

Institutions: Aarhus University, University of Copenhagen, Institut national de recherche en sciences et technologies du numérique, Laboratoire Bordelais de Recherche en Informatique

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funder: National Science Foundation

Award: Experimental Software Systems: Linear Naming: Experimental Software for Optimizing Communication Protocols