| |
|
| PP leader: \emph{Jens Knoop and Andreas Krall (beide E185.1)} |
PP leader: \emph{Jens Knoop and Andreas Krall (beide E185.1)} |
| |
|
| Associated researchers: \emph{Anton Ertl (E185.1), Bernhard Gramlich (E185.2)} |
Associated researchers: \emph{Anton Ertl (E185.1), Bernhard Gramlich (E185.2),}\\ |
| |
\phantom{Associated researchers: } \ \ \ \ \emph{Franz Puntigam (E185.1)} |
| |
|
| |
|
| \subsubsection*{Motivation:} |
\subsubsection*{Motivation:} |
| %\emph{Informal description of the purpose of the PP (3-5 lines)} |
%\emph{Informal description of the purpose of the PP (3-5 lines)} |
| \emph{partially redundant assignment elimination} \cite{KRS-pldi94}, |
\emph{partially redundant assignment elimination} \cite{KRS-pldi94}, |
| which are now part of state-of-the-art compilers. Regarding the |
which are now part of state-of-the-art compilers. Regarding the |
| present PP, particularly important are the achievements on |
present PP, particularly important are the achievements on |
| resource-aware program analyes and optimizations including the |
resource-aware program analyses and optimizations including the |
| code-size sensitive \emph{Sparse Code Motion} \cite{RKS-popl00}, and its |
code-size sensitive \emph{Sparse Code Motion} \cite{RKS-popl00}, and its |
| counterpart for \emph{Speculative Code Motion} \cite{scholz04}. |
counterpart for \emph{Speculative Code Motion} \cite{scholz04}. |
| Recent research in the frame of the FWF project CoSTA and the EU FP7 |
Recent research in the frame of the FWF project CoSTA and the EU FP7 |
