# Changeset 3157

Ignore:
Timestamp:
Apr 17, 2013, 6:13:21 PM (6 years ago)
Message:

Added tables with the workshop programmes indetail

Location:
Deliverables/D6.4-6.5
Files:
 r3141 \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. \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. 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}