source: Deliverables/D6.4-6.5/workshops.ltx @ 3135

Last change on this file since 3135 was 3135, checked in by campbell, 9 years ago

Discussion with Kevin at HiPEAC workshop.

File size: 4.9 KB
4The Consortium identified two potentially fruitful destinations at which to hold dissemination events, taking into account suitable candidates, and the opportunity to hold workshops during, or shortly after the Project lifetime, given our requested extension to end month 39, Mar. 2013.
6Beyond each Conference call for participation, invitations to the two meetings were sent out to the following researchers and research groups, all world leaders in cost/timing analysis for programing langauges, compilers and embedded systems:
7prof. Kevin Hammond (St Andrew's University, UK),
8dr. Björn Franke (Edinburgh University, UK),
9prof. Peter Sewell (Cambridge  University, UK),
10prof. dr. Heiko Falk (Ulm University, DE),
11prof. dr. Martin Hofmann, dr. Steffen Jost (LMU Munich, DE),
12dr. Christian Ferdinand (CEO, AbsInt GmbH, DE),
13prof. Germ{\'a}n Puebla, COSTA team (TU Madrid, E),
14prof. Bjorn Lisper (Mälardalen University, SE). 
17\paragraph{D6.4} Before receiving the 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.
19The half-day workshop was held on 2013-01-23 in Berlin: \\
20  \texttt{http://}
22Prof. 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\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.
27The full-day workshop was held on 2013-03-23 in Rome: \\
28  \texttt{}\\
29as a ``Technical Day on Innovative Techniques on Timing Analysis''\\
30  \texttt{\_techniques\_on\_timing\_analysis\_technical\_day}
32It 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.
34\paragraph{Scientific Outcomes} 
36The HiPEAC workshop was one of 24 such meetings in a highly parallel programme organised over the 3 days of the main conference, while the ETAPS workshop was one of 20 workshops organised over 4 days, the two weekends which book-ended the main conference, and was thus the better attended, and scientifically more fruitful, meeting.
38Nonetheless, a fruitful discussion emerged at HiPEAC concerning
39source-level cost reasoning.  Kevin Hammond's group use amortized
40analysis techniques to connect local costs about embedded programs in
41the Hume language to global costs, technology which it may be possible
42to transfer to the CerCo setting.  A key difference in our approaches
43is that their Hume implementation used the high predictability of
44their virtual machine implementation to obtain the local cost
45information, whereas CerCo produces such information for a complex
46native-code compiler.
48At the ETAPS workshop Bj{\"o}rn Lisper drew attention to the many points of common interest and related techniques between the work on CerCo and his own on Parametric WCET analysis. In addition to his own technical talk, he took the opportunity to advertise, and solicit interest in, the recently formed COST Action IC1202 Timing Analysis and Cost-Level Estimation (TACLe), of which he is Chair. This offers very promising potential for future collaborations and the wider communication of results from CerCo.
50A common theme emerged from the shared sessions with QAPL, and in particular the invited talk there from prof. Alessandra di Pierro on \emph{probabilistic} timing analysis: the parametrisation of a given timing analysis with respect to different cost \emph{algebras}. In the case of probabilistic analyses, costs are taken with respect to given probability distributions, with \emph{expected} costs being computed. prof. Vartanegra's talk emphasised a radical approach to such analyses, by making assumptions about the processor/cache architecture to yield an essentially deterministic analysis.
52In 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 implications of such a move are yet to be explored.
Note: See TracBrowser for help on using the repository browser.