Index: /Deliverables/D6.4-6.5/workshops.ltx
===================================================================
--- /Deliverables/D6.4-6.5/workshops.ltx (revision 3134)
+++ /Deliverables/D6.4-6.5/workshops.ltx (revision 3135)
@@ -36,5 +36,15 @@
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.
-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.
+Nonetheless, a fruitful discussion emerged at HiPEAC concerning
+source-level cost reasoning. Kevin Hammond's group use amortized
+analysis techniques to connect local costs about embedded programs in
+the Hume language to global costs, technology which it may be possible
+to transfer to the CerCo setting. A key difference in our approaches
+is that their Hume implementation used the high predictability of
+their virtual machine implementation to obtain the local cost
+information, whereas CerCo produces such information for a complex
+native-code compiler.
+
+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.
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.