Fakultät für Informatik und Mathematik
MIP-1301

MIP-1301

Paper Description

BibTeX entry

@incollection{MIP-1301,
author={A. Simbuerger, S. Apel, A. Groesslinger, C. Lengauer},
title={{The Potential of Polyhedral Optimization}},
institution={{Fakult{\"a}t f{\"u}r Informatik und Mathematik, Universit{\"a}t Passau}},
year={2013},
number={MIP-1301}
}

Abstract

Present-day automatic optimization relies on powerful static (i.e., compile-time) analysis and transformation methods. One popular platform for automatic optimization is the polyhedron model. Yet, after several decades of development, there remains a lack of empirical evidence of the model’s benefits for real-world software systems. We report on an empirical study in which we analyzed a set of popular software systems, distributed across various application domains. We found that polyhedral optimization at compile time often lacks the information necessary to exploit the potential for optimization of a program’s execution. However, when conducted also at run time, polyhedral optimization shows greater relevance for real-world applications. On average, the share of the run time amenable to polyhedral optimization is increased by a factor of nearly 3.

Paper itself

MIP-1301.pdf