Changeset 3157 for Deliverables
- Timestamp:
- Apr 17, 2013, 6:13:21 PM (7 years ago)
- Location:
- Deliverables/D6.4-6.5
- Files:
-
- 2 added
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D6.4-6.5/workshops.ltx
r3141 r3157 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. 18 18 19 HiPEAC 2013 was held in Berlin, with the \cerco{} event a half-day workshop on 2013-01-23: \\19 HiPEAC 2013 was held in Berlin, with the \cerco{} event a half-day workshop (see Table~\ref{hipeac:timetable}): \\ 20 20 \texttt{http://www.hipeac.net/conference/berlin/workshop/CerCo} 21 %%%\input{hipeac.ltx} 21 22 22 23 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. 26 27 27 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: \\28 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}): \\ 28 29 \texttt{http://cerco.cs.unibo.it/innovative\_techniques\_on\_timing\_analysis\_technical\_day} 30 %%%\input{etaps.ltx} 29 31 30 32 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. 46 48 49 \input{hipeac.ltx} 50 51 \input{etaps.ltx} 47 52 48 53
Note: See TracChangeset
for help on using the changeset viewer.