Changeset 3157


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

Added tables with the workshop programmes indetail

Location:
Deliverables/D6.4-6.5
Files:
2 added
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D6.4-6.5/workshops.ltx

    r3141 r3157  
    1717\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.
    1818
    19 HiPEAC 2013 was held in Berlin, with the \cerco{} event a half-day workshop on 2013-01-23: \\
     19HiPEAC 2013 was held in Berlin, with the \cerco{} event a half-day workshop (see Table~\ref{hipeac:timetable}): \\
    2020  \texttt{http://www.hipeac.net/conference/berlin/workshop/CerCo}
     21%%%\input{hipeac.ltx}
    2122
    2223Prof. 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.
     
    2526\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.
    2627
    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: \\
     28ETAPS 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}): \\
    2829  \texttt{http://cerco.cs.unibo.it/innovative\_techniques\_on\_timing\_analysis\_technical\_day}
     30%%%\input{etaps.ltx}
    2931
    3032It 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.
     
    4547In 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.
    4648
     49\input{hipeac.ltx}
     50
     51\input{etaps.ltx}
    4752
    4853
Note: See TracChangeset for help on using the changeset viewer.