Changeset 3157 for Deliverables

Timestamp:

Apr 17, 2013, 6:13:21 PM (7 years ago)

Author:

mckinna

Message:

Added tables with the workshop programmes indetail

Location:

Deliverables/D6.4-6.5

Files:

• etaps.ltx (added)
• hipeac.ltx (added)
• workshops.ltx (modified) (3 diffs)

Deliverables/D6.4-6.5/workshops.ltx

@@ -17 +17 @@
 \paragraph{D6.4} Before receiving the Project extension, we had identified for month 37 (Jan. 2013) the workshop track of the HiPEAC Conference series on High Performance and Embedded Architectures and Compilers as a suitable destination, comprising as it does a wide range of sessions bringing together industrial and academic research. 
 
-HiPEAC 2013 was held in Berlin, with the \cerco{} event a half-day workshop on 2013-01-23: \\
+HiPEAC 2013 was held in Berlin, with the \cerco{} event a half-day workshop (see Table~\ref{hipeac:timetable}): \\
   \texttt{http://www.hipeac.net/conference/berlin/workshop/CerCo}
+%%%\input{hipeac.ltx} 
 
 Prof. Kevin Hammond (St. Andrews University, UK) gave an invited talk on his work on methods for WCET analysis, in particular of Hume programs at the source-level, and their application in the autonomous vehicle guidance and aerospace domains. 
@@ -25 +26 @@
 \paragraph{D6.5} We identified for month 39 (Mar. 2013) a workshop at ETAPS, the pre-eminent European federated conference on programming languages, systems and tools. 
 
-ETAPS 2013 was held in Rome, with the full-day \cerco{} event a ``Technical Day on Innovative Techniques on Timing Analysis'' on 2013-03-23: \\
+ETAPS 2013 was held in Rome, with the full-day \cerco{} event a ``Technical Day on Innovative Techniques on Timing Analysis'' (see Table~\ref{etaps:timetable}): \\
   \texttt{http://cerco.cs.unibo.it/innovative\_techniques\_on\_timing\_analysis\_technical\_day}
+%%%\input{etaps.ltx} 
 
 It ran in parallel with a two-day workshop on Quantitative Aspects of Programming Languages (QAPL 11), sharing three sessions with that meeting. The \cerco{} workshop also included presentations from Tullio Vartanegra, representing the PROARTIS Consortium (FP7-ICT-2009.3.4), and an invited talk from Prof. Bj{\"o}rn Lisper (M{\"a}lardalen University, SE) on Parametric WCET analysis. 
@@ -45 +47 @@
 In the deterministic case studied in \cerco{}, we have taken a given, fixed, cost algebra of natural numbers (obtained from Siemens data-sheet clock timings) under addition, but already Tranquili's work on \emph{dependent labelling} suggests a move to computing costs in algebras of \emph{functions} (in the case of his analysis of loop unrolling, of cost expressions parametrised with respect to valuations of the loop index variables). The wider implications of such a move are yet to be explored. 
 
+\input{hipeac.ltx} 
+
+\input{etaps.ltx}