Changeset 3135


Ignore:
Timestamp:
Apr 12, 2013, 6:34:23 PM (4 years ago)
Author:
campbell
Message:

Discussion with Kevin at HiPEAC workshop.

File:
1 edited

Legend:

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

    r3133 r3135  
    3636The 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.
    3737
    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.
     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.
     47
     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.
    3949
    4050A 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.