Tuesday 9.9.2008
| 9:00-9:05 | Welcome | preface | ||
| 9:05-9:30 | David Cachera | Long-Run Cost Analysis by Approximation of Linear Operators over Dioids | abstract | slides |
| 9:30-9:55 | Manuel Montenegro | A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation | abstract | slides |
| 9:55-10:20 | German Puebla | Upper Bounds of Resource Usage for Java Bytecode using COSTA and its Web Interface | abstract | slides |
| 10:20-10:45 | Adrian Prantl | A Declarative Approach to finding Timing Constraints in High-level Program Representations | abstract | slides |
| 10:45-11:15 | BREAK | |||
| 11:15-11:40 | Kevin Hammond | Hume and the EmBounded Project | abstract | slides |
| 11:40-12:05 | Christian Ferdinand | Modern processor architetcures make WCET analysis for Hume challenging | abstract | slides |
| 12:05-12:30 | Armelle Bonenfant | oRange: A Tool For Static Loop Bound Analysis | abstract | slides |
| 12:30-14:00 | LUNCH | |||
| 14:00-14:25 | Steffen Jost | Introduction to Amortised Program Analysis | abstract | slides |
| 14:25-14:50 | Hans-Wolfgang Loidl | Practical Resource Analysis for Hume | abstract | slides |
| 14:50-15:15 | Norman Scaife | Hume Case Study: Embedded Control of an Inverted Pendulum | abstract | slides |
| 15:15-15:40 | Christoph Herrmann | Combining high-level and low-level WCET analysis for Hume programs | abstract | slides |
| 15:40-16:00 | BREAK | |||
| 16:00-16:25 | Brian Campbell | Amortised memory analysis using the depth of data structures | abstract | slides |
| 16:25-16:50 | Robert Atkey | Amortised Resource Analysis with Separation Logic | abstract | slides |
| 16:50-17:15 | Alejandro Tamalet | A perspective on the AHA project | abstract | slides |
| 17:15-17:40 | Luca Roversi | Implicit Computational Complexity | abstract | slides |