--- res/PP-compiler.tex	2009/06/09 09:59:25	1.1
+++ res/PP-compiler.tex	2009/06/22 14:23:22	1.2
@@ -28,9 +28,9 @@ s@ecs.tuwien.ac.at
 \begin{document}
 \maketitle
 
-PP leader: \emph{Jens Knoop}
+PP leader: \emph{Jens Knoop and Andreas Krall}
 
-Associated researchers: \emph{Andreas Krall}
+Associated researchers: \emph{}
 
 
 
@@ -45,11 +45,24 @@ concurrency and reliability.
 \subsubsection*{State of the art and related work:} 
 %\emph{Briefly describe the scientific state of the art (20-30 lines)}
 
-Compiler Verification \cite{Hoare,1328444,1314860}
+%Compilation Techniques for Reliability
+
+Because of the exponential increase of the number of transistors and
+the continuing decrease of the feature sizes of current processors
+soft errors mainly caused by energetic particles are becoming an
+important design issue for robust embedded systems. Blome et
+al.~\cite{Blome+06} observed that a majority of faults that affect the
+architectural state of a processor come from the register file. Lee
+and Shrivastava and proposed different solutions to cope with this
+problem. The first assigns variables depending on their lifetime to
+either the ECC protected or the unprotected part of a register file to
+balance energy consumption and reliability \cite{LeeShrivastava09a}.
+The second spills registers to ECC protected memory if the register
+contents are not used for a long period \cite{LeeShrivastava09c}.
 
-Reliability \cite{LeeShrivastava09}
+%ADL and Instruction Set Simulators \cite{MishraDutt08}
 
-ADL \cite{MishraDutt08}
+Compiler Verification \cite{Hoare,1328444,1314860}
 
 WCET \cite{}
 
@@ -102,21 +115,22 @@ Techniques for reducing or eliminating t
 
 
 
-(1) WCET NN!
-
-(2) Specification and efficient simulation of reliable processors (partial redundancy,
+(1) Specification and efficient simulation of reliable processors (partial redundancy,
 ECC, lockstep etc) and compiler optimizations to exploit/balance reliabiliy features.
-Connection with CESAR NN2
+Connection with CESAR NN1
 
-(3) translation verification, specification of semantics of IRs solving
+(2) translation verification, specification of semantics of IRs solving
 subproblems. NN1 + NN2
 
+(3) WCET NN3
+
 
 \begin{tabular}{llll}
 \hline
-{\bf Pos} & {\bf Type} & {\bf Description}        & {\bf Duration} \\
-NN1 & PostDoc & WCET                              & 4 years \\
-NN2 & PostDoc & reliable compilation / simulation & 4 years \\
+{\bf Pos} & {\bf Type} & {\bf Description}    & {\bf Duration} \\
+NN1 & PhD & reliable compilation / simulation & 4 years \\
+NN2 & PhD & compiler verificationi            & 4 years \\
+NN3 & PhD & WCET                              & 4 years \\
 \hline
 \end{tabular}
 
@@ -161,7 +175,9 @@ Techniques for adjusting and decompiling
 %describe briefly the topic and nature  of such a collaboration. (5-10
 %lines)}
 
-To be done.
+Aviral Shrivastava, Arizona State University, Tempe, AZ, USA
+
+Wolf Zimmermann, Universit\"at Halle, Halle, Germany
 
 \begin{comment}
 %Bitte hier die Bibtex-Entries  einfuellen, z.B.,