Diff for /res/PP-compiler.tex between versions 1.11 and 1.12

version 1.11, 2009/06/29 08:07:59 version 1.12, 2009/06/29 08:36:40
Line 302  NN3 & PhD & Resource analysis Line 302  NN3 & PhD & Resource analysis
   
 \subsubsection*{Goals (last 4 years):}  \subsubsection*{Goals (last 4 years):}
 %\emph{Brief description of the   %\emph{Brief description of the 
 %eesearch topics to be addressed during the last 4 years. Make sure to   %research topics to be addressed during the last 4 years. Make sure to 
 %explicitly stress what the significant additions to the scientific   %explicitly stress what the significant additions to the scientific 
 %knowledge are, and why they are important. (20-30 lines)}  %knowledge are, and why they are important. (20-30 lines)}
   
 New programming languages and compilers for RESs  In the last 4 years we will extend the research of the first years into
 Non-functional properties and requirements as first-class language and compiler citizens  some additional directions like
 New compilation techniques enabling a uniform and integrated approach  
 for ensuring functional and non-functional program and system requirements  \begin{itemize}
 Replacing trust by proof  \item New programming languages and compilers for RESs
 Certifying compilation, proof-carrying code, translation validation  \item Non-functional properties and requirements as first-class language and
 Verified compilers, verifying compilation for RESs        compiler citizens
 Making legacy applications fit to and available on RESs  \item New compilation techniques enabling a uniform and integrated approach
 Techniques for adjusting and decompiling legacy applications        for ensuring functional and non-functional program and system requirements
   \item Verified compilers, proof-carrying code, verifying compilation for RESs
   \item Making legacy applications fit to and available on RESs
   \item Techniques for adjusting and decompiling legacy applications
   \end{itemize}
   
   Application of the results of this research reduces the cost of the
   development of reliable and correct embedded systems and makes them
   safer and robust.
   
 \subsubsection*{Collaboration with other PPs:}  \subsubsection*{Collaboration with other PPs:}
 %\emph{List the PPs you are expecting to collaborate with, and describe briefly  %\emph{List the PPs you are expecting to collaborate with, and describe briefly
Line 340  Techniques for adjusting and decompiling Line 348  Techniques for adjusting and decompiling
 %describe briefly the topic and nature  of such a collaboration. (5-10  %describe briefly the topic and nature  of such a collaboration. (5-10
 %lines)}  %lines)}
 \begin{itemize}  \begin{itemize}
 \item Walter Binder, University of Lugano, Switzerland  \item Walter Binder, University of Lugano, Switzerland (resource analysis)
 \item Sabine Glesner, TU Berlin, Berlin, Germany  \item Sabine Glesner, TU Berlin, Berlin, Germany (verified compilation)
 \item Aviral Shrivastava, Arizona State University, Tempe, AZ, USA  \item Aviral Shrivastava, Arizona State University, Tempe, AZ, USA (reliable compilation)
 \item Wolf Zimmermann, Martin-Luther Universit\"at Halle-Wittenberg, Halle, Germany  \item Wolf Zimmermann, Martin-Luther Universit\"at Halle-Wittenberg, Halle, Germany
         (verified compilation)
 \end{itemize}  \end{itemize}
   
 \begin{comment}  \begin{comment}

Removed from v.1.11  
changed lines
  Added in v.1.12


FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>