Project Home Project Partners Publications Deliverables Bibliography Events Resources Interactive Analysis Internal Pages

EU FP6 Embounded Project, Workshop

Port Ellen, Islay

25–26 July 2007

Present

Armelle Bonenfant (formerly St Andrews, SEAS project; now at Toulouse, TRACES project)
Edwin Brady (St Andrews, GPES project)
Roy Dyckhoff (St Andrews, EmBounded)
Christian Ferdinand (AbsInt, EmBounded)
Kevin Hammond (St Andrews, EmBounded)
Christoph Herrmann (St Andrews, SEAS project)
Martin Hoffmann (Ludwig Maximillian University, EmBounded)
Steffen Jost (St Andrews, EmBounded)
Hans-Wolfgang Loidl (Ludwig Maximillians University, EmBounded)
Greg Michaelson (Heriot-Watt, EmBounded)
Robert Pointon (Heriot-Watt, EmBounded)
Robert Rothenberg (St Andrews, EmBounded)
Norman Scaife (LASMEA, EmBounded)

Apolopgies

Jocelyn Serot (LASMEA, EmBounded)
Andy Wallace (Heriot-Watt, EmBounded)

Agenda/Minutes

Technical Presentations
- Steffen Jost, Status of the Amortised Cost Analysis
- Hans-Wolfgang Loidl, A System Level Cost Model for Hume
- Edwin Brady, A Dependently Typed Stack Machine (*)
- Christian Ferdinand, WCET Analysis
- Christoph Herrmann, Improvement Plans for WCET Analysis by Tool Combination
- Norman Scaife, Embounded project: LASMEA progress
- Robert Pointon & Greg Michaelson, Recent work on the HUME compiler
- Robert Rothenberg, Lemmas about Hume Operational Semantics (*)
Project Status and Duscussion of Review Document
- Leader: Kevin Hammond
EmBounded Review Meeting Planning
- Leader: Kevin Hammond
EmBounded2 and Other Project Proposals
- Leader: Kevin Hammond

(*) These presentations were given later at St Andrews.

[Back to top of this page]

This page was last modified on Wednesday 16 January 2008 17:09:26. This site is maintained by Robert Rothenberg (r r at cs dot st - andrews dot ac dot uk).