source: Deliverables/D6.4-6.5/report.tex @ 3272

Last change on this file since 3272 was 3199, checked in by Ian Stark, 7 years ago

D6.4/D6.5 executive summary

File size: 6.3 KB
Line 
1\documentclass[11pt, epsf, a4wide]{article}
2
3\usepackage{../style/cerco}
4\usepackage{pdfpages}
5
6\usepackage{amsfonts}
7\usepackage{amsmath}
8\usepackage{amssymb} 
9\usepackage[english]{babel}
10\usepackage{graphicx}
11\usepackage[utf8x]{inputenc}
12\usepackage{listings}
13\usepackage{stmaryrd}
14\usepackage{url}
15\usepackage{bbm}
16
17\title{
18INFORMATION AND COMMUNICATION TECHNOLOGIES\\
19(ICT)\\
20PROGRAMME\\
21\vspace*{1cm}Project FP7-ICT-2009-C-243881 \cerco{}}
22
23\lstdefinelanguage{matita-ocaml}
24  {keywords={ndefinition,ncoercion,nlemma,ntheorem,nremark,ninductive,nrecord,nqed,nlet,let,in,rec,match,return,with,Type,try},
25   morekeywords={[2]nwhd,nnormalize,nelim,ncases,ndestruct},
26   morekeywords={[3]type,of},
27   mathescape=true,
28  }
29
30\lstset{language=matita-ocaml,basicstyle=\small\tt,columns=flexible,breaklines=false,
31        keywordstyle=\color{red}\bfseries,
32        keywordstyle=[2]\color{blue},
33        keywordstyle=[3]\color{blue}\bfseries,
34        commentstyle=\color{green},
35        stringstyle=\color{blue},
36        showspaces=false,showstringspaces=false}
37
38\lstset{extendedchars=false}
39\lstset{inputencoding=utf8x}
40\DeclareUnicodeCharacter{8797}{:=}
41\DeclareUnicodeCharacter{10746}{++}
42\DeclareUnicodeCharacter{9001}{\ensuremath{\langle}}
43\DeclareUnicodeCharacter{9002}{\ensuremath{\rangle}}
44
45\date{}
46\author{}
47
48\begin{document}
49
50\thispagestyle{empty}
51
52\vspace*{-1cm}
53\begin{center}
54\includegraphics[width=0.6\textwidth]{../style/cerco_logo.png}
55\end{center}
56
57\begin{minipage}{\textwidth}
58\maketitle
59\end{minipage}
60
61\vspace*{0.5cm}
62
63\begin{center}
64\begin{LARGE}
65\textbf{Deliverable 6.4\\[3\jot]
66 Organization of an Event Targeted to Potential Industrial Stakeholders} 
67\end{LARGE}
68\end{center}
69
70\vspace*{0.2cm}
71
72\begin{center}
73\begin{LARGE}
74\textbf{Deliverable 6.5\\[3\jot]
75  Organization of an Event Targeted to the Scientific Community}
76\end{LARGE} 
77\end{center}
78
79\vspace*{2cm}
80\begin{center}
81\begin{large}
82Version 1.0
83\end{large}
84\end{center}
85
86\vspace*{0.5cm}
87\begin{center}
88\begin{large}
89Main Authors:\\
90Brian~Campbell, Ilias~Garnier, James~McKinna, Ian~Stark
91\end{large}
92\end{center}
93
94\vspace*{\fill}
95
96\noindent
97Project Acronym: \cerco{}\\
98Project full title: Certified Complexity\\
99Proposal/Contract no.: FP7-ICT-2009-C-243881 \cerco{}\\
100
101\clearpage
102\pagestyle{myheadings}
103\markright{\cerco{}, FP7-ICT-2009-C-243881}
104
105\newpage
106
107\section*{Executive Summary}
108\addcontentsline{toc}{section}{Executive Summary}
109
110CerCo Work Package~6 on \emph{Dissemination and Exploitation} includes two
111deliverables that take the form of event organization.
112\begin{description}
113\item[D6.4: Organization of an Event Targeted to Potential Industrial
114  Stakeholders] ~
115
116  Realised as:
117
118  \emph{CerCo: Certifying Costs in a Certified Compiler}\\
119  Workshop at HiPEAC 2013: 8th International Conference on High-Performance
120  and Embedded Architectures and Compilers \\
121  Wednesday 23 January 2013, Berlin.
122 
123\item[D6.5: Organization of an Event Targeted to the Scientific Community] ~
124
125  Realised as:
126
127  \emph{CerCo/PROARTIS Technical Day on Innovative Techniques on Timing
128  Analysis}\\ 
129  Workshop at ETAPS 2013: European Joint Conferences on Theory and Practice of
130  Software \\
131  Sunday 23 March 2013, Rome, Italy
132\end{description}
133This report describes the completion of these deliverables, their outcome and
134impact on future dissemination.  We note in particular the following.
135
136\begin{itemize}
137\item Interaction with other projects and research groups.  Both events had
138  invited talks from notable researchers, and the workshop targeted to the
139  scientific community at ETAPS was presented jointly with the PROARTIS
140  project.
141
142\item Good fit with the other activities at both the industrially-targeted and
143  scientific events: the CerCo event at HiPEAC was part of a workshop track on
144  compilers which ran throughout the conference; and the CerCo day at ETAPS
145  collaborated with the parallel workshop QAPL (Quantitative Aspects of
146  Programming Languages on Systems) through three joint talks.
147
148\item Additional scientific impact and further directions, including:
149  \begin{itemize}
150  \item Potential of CerCo technology to carry out early-stage timing analysis
151    not reachable with current WCET object-code tools (identified by invited
152    speaker Bj\"orn Lisper).
153  \item Parameterisation of CerCo analyses with respect to different cost
154    algebras  (identified in interaction with QAPL speakers).
155  \item Application of probability distributions over costs to tame cache
156    unpredictability (arose from presentation of Vardanega from PROARTIS).
157  \end{itemize}
158  All of these are discussed in detail in the report.
159
160\item New links to industrial researchers and other European projects:
161  PROARTIS, COST action TACLe, parMERASA, and T-CREST.
162\end{itemize}
163
164
165\newpage
166
167\tableofcontents
168
169\newpage
170
171\section{Task}
172\label{sect.task}
173
174CerCo Work Package~6 specifies the following two deliverables under
175\emph{Dissemination and Exploitation}.
176
177\begin{quotation}
178  \noindent\textbf{D6.4) Organization of an Event Targeted to Potential
179    Industrial Stakeholders}: We will organize a public event opened to
180  industries and other potential stakeholders and we will invite a few
181  potentially interested industries to be identified in D6.2 and during the
182  project development. The event could be affiliated to an international
183  conference relevant to the project and could involve a tutorial on the use
184  of the software developed in CerCo. The deliverable date is only indicative,
185  since we need to identify a suitable conference for affiliation. The event
186  could be co-located and partially overlap with D6.5. [month 34]
187\end{quotation}
188
189\begin{quotation}
190  \noindent \textbf{D6.5) Organization of an Event Targeted to the Scientific
191    Community}: We will organize a public event aimed at presenting the CerCo
192  compiler to the scientific community. The event could be affiliated to an
193  international conference relevant to the project and it could involve a
194  tutorial on the use of the software developed in CerCo. Alternatively, it
195  could consist in a course give in an international summer school on the use
196  and implementation of the CerCo compiler. The deliverable date is only
197  indicative, since we need to identify a suitable conference or summer school
198  for affiliation. The event could be co-located and partially overlap with
199  D6.4. [month 34]
200
201\end{quotation}
202
203%%%\newpage
204
205\input{workshops.ltx}
206
207\end{document}
Note: See TracBrowser for help on using the repository browser.