Changeset 3135 for Deliverables
- Timestamp:
- Apr 12, 2013, 6:34:23 PM (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D6.4-6.5/workshops.ltx
r3133 r3135 36 36 The 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. 37 37 38 In particular, Bj{\"o}rn Lisper at the ETAPS workshop 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. 38 Nonetheless, a fruitful discussion emerged at HiPEAC concerning 39 source-level cost reasoning. Kevin Hammond's group use amortized 40 analysis techniques to connect local costs about embedded programs in 41 the Hume language to global costs, technology which it may be possible 42 to transfer to the CerCo setting. A key difference in our approaches 43 is that their Hume implementation used the high predictability of 44 their virtual machine implementation to obtain the local cost 45 information, whereas CerCo produces such information for a complex 46 native-code compiler. 47 48 At 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. 39 49 40 50 A 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.
Note: See TracChangeset
for help on using the changeset viewer.