Changeset 2029


Ignore:
Timestamp:
Jun 7, 2012, 6:30:13 PM (5 years ago)
Author:
stark
Message:

Mild revision of invitee list; commitment to HiPEAC

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D6.2/supplement.tex

    r2013 r2029  
    6868\bfseries
    6969Supplement to Deliverable 6.2\\[\jot]
    70 CerCo Workshop and Publication Planning
     70{\cerco} Workshop and Publication Planning
    7171\end{LARGE}
    7272\end{center}
     
    101101document is a response to that, with the following two contributions.
    102102\begin{itemize}
    103 \item Plans for the {\cerco} workshop at the HiPEAC~'13 meeting in Berlin /
    104   the ETAPS~2013 conference in Rome (Deliverables 6.4 and~6.5).
     103\item Plans for the {\cerco} workshop at the HiPEAC~'13 meeting in Berlin
     104  (Deliverables 6.4 and~6.5).
    105105\item A list of proposed publications reporting {\cerco} results.
    106106\end{itemize}
     
    110110
    111111\section{{\cerco} Workshop}
    112 
    113 \hrule
    114112
    115113We shall hold a {\cerco} one-day workshop for academic and industrial
     
    123121at ETAPS~2013, the European Joint Conferences on Theory and Practice of
    124122Software.  This too is a forum for a range of academic and industrial
    125 researchers, but it takes place in March 2013 and so would only fall within
    126 the {\cerco} calendar if we obtained an extension to the project.
    127 
    128 \noindent\textbf{OR}
    129 
    130 The organisers of ETAPS~2013 have accepted a {\cerco} workshop proposal.  The
    131 ETAPS conferences run for a week during March 2013, in Rome, with workshops
    132 and tutorials in the adjacent weekends.  {\cerco} will have a full one-day
    133 workshop as part of this programme.
    134 
    135 \hrule
     123researchers, but it takes place in March 2013 and so does not fall within the
     124{\cerco} timetable.
    136125
    137126This {\cerco} workshop has two objectives:
     
    146135workshop will be open to anyone at HiPEAC who wishes to register, we consider
    147136an invitational workshop to be the most direct way to bring together {\cerco}
    148 researchers with potential users of the project results.  A list of invitees
    149 appears below.
     137researchers with potential users of the project results.  A list of possible
     138invitees appears below.
    150139
    151140The workshop, with these objectives, is designed to meet the requirements of
     
    186175interaction between academic and industrial researchers working in the field.
    187176
    188 We have identified the following relevant groups to invite to the {\cerco}
    189 workshop. 
     177We have identified the following relevant groups as some initial invitees to
     178the {\cerco} workshop.
    190179\begin{description}
    191 \item[AbsInt]  AbsInt provide tools for validation of safety-critical
    192   software, including static analysis for worst-case execution time through
    193   abstract interpretation.  They have participated in a previous {\cerco}
    194   event, and their insights into the requirements for precise timing analysis
    195   are extremely relevant to the domain of {\cerco}.
     180\item[AbsInt aIT] \emph{AbsInt} provide tools for validation of
     181  safety-critical software, including static analysis for worst-case execution
     182  time through abstract interpretation.  They have participated in a previous
     183  {\cerco} event, and their insights into the requirements for precise timing
     184  analysis are extremely relevant to the domain of {\cerco}.
    196185\item[Frama-C]  The \emph{Frama-C} platform for static analysis of C source
    197186  code provides the context for the {\cerco} plugin which demonstrates the use
     
    209198  appropriate to the requirements of worst-case rather than average-case
    210199  timing.
    211 \item[Hume/EmBounded]  Prof. Kevin Hammond at the University of St Andrews
    212   leads a research team working on the quantification and certification of
    213   resource use in concurrent real-time embedded software.
     200\item[York RTS] The \emph{Real-Time Systems} research group at the University
     201  of York are active in worst-case execution time analysis and the design of
     202  time-predictable architectures.
     203% \item[Hume/EmBounded]  Prof. Kevin Hammond at the University of St Andrews
     204%   leads a research team working on the quantification and certification of
     205%   resource use in concurrent real-time embedded software.
    214206\item[ARM Verification Project]  Gordon, Fox and Myreen at the University of
    215207  Cambridge have a machine-checked mathematical model of the ARM
     
    221213  {\cerco}, they have relevant experience of extending CompCert-based
    222214  verification to additional code properties.
     215\item[Gliwa Embedded Systems] The software consultancy \emph{Gliwa GmbH}
     216  develop specialist tools for measurement and verification of execution time
     217  in embedded systems.
    223218\item[Artemis]  The European industry association \emph{Advanced Research \&
    224219    Technology for Embedded Intelligence and Systems}.  We already have
     
    233228\end{description}
    234229We propose to invite each of these groups to send participants and, if they
    235 wish, contribute a short talk on their work to the afternoon session.
     230wish, contribute a short talk on their work to the afternoon session.  We
     231shall also invite the {\cerco} project reviewers, who are experts in the area.
     232This is not a closed list --- depending on responses, we are open to inviting
     233further participants as appropriate.
    236234
    237235
     
    306304%  LocalWords:  Frama AbsInt Rapita RapiTime EnCore ArcSim WCET Heiko HiPEAC
    307305%  LocalWords:  Falk EmBounded Myreen CompCertTSO ADSIG ArtistDesign ACSL
     306%  LocalWords:  Gliwa GmbH
Note: See TracChangeset for help on using the changeset viewer.