8:30-9:00 Registration

9:00-10:30 Session 1: Cache and low-level analysis
Session chair: Christine Rochange

• Timing Anomalies Reloaded
  Gernot Gebhard (slides)
• Bounding the Effects of Resource Access Protocols on Cache Behavior
  Enrico Mezzetti, Marco Panunzio and Tullio Vardanega (slides)
• Toward Precise PLRU Cache Analysis
  Daniel Grund and Jan Reineke (slides)
• Integrating Abstract Caches with Symbolic Pipeline Analysis
  Stephan Wilhelm and Christoph Cullmann (slides)

10:30-11:00: Coffee break

11:00-12:30 Session 2: Measurement-based methods and flow analysis
Session chair: Chris Healy

• Realism in Statistical Analysis of Worst Case Execution Times
  David Griffin and Alan Burns (slides)
• Hybrid Measurement-Based WCET Analysis at the Source Level using Object-Level Traces
  Adam Betts, Nicholas Merriam, and Guillem Bernat
• On the Use of Context Information for Precise Measurement-Based Execution Time Estimation
  Stefan Stattelmann and Florian Martin (slides)
• A Code Policy Guaranteeing Fully Automated Path Analysis
  Benedikt Huber and Peter P. Puschner

12:30-13:30: Lunch

13:30-14:20 Invited talk
Session chair: Reinhard Wilhelm

• WCET Computation of Safety-Critical Avionics Programs: Challenges, Achievements, and Perspectives
  Jean Souyris, Airbus

14:20-15:30 Session 3: Parallel systems, model checking
Session chair: Reinhard Wilhelm

• WCET Analysis of a Parallel 3D Multigrid Solver Executed on the MERASA Multi-core
  Christine Rochange, Armelle Bonenfant, Pascal Sainrat, Mike Gerdes, Julian Wolf, Theo Ungerer, Zlatko Petrov, and Frantisek Mikulu (slides)
• Towards WCET Analysis of Multicore Architectures Using UPPAAL
  Andreas Gustavsson, Björn Lisper, Andreas Ermedahl, and Paul Pettersson (slides)
• METAMOC: Modular Execution Time Analysis using Model Checking
  Andreas Engelbredt Dalsgaard, Mads Chr. Olesen, Martin Toft, Rene Rydhof Hansen and Kim G. Larsen (slides)

15:30-16:00: Coffee break

16:00-16:50 Session 4: Benchmarks, memory allocation
Session chair: Niklas Holsti

• Precomputing Memory Locations for Parametric Allocations
  Jörg Herter and Sebastian Altmeyer (slides)
• The Mälardalen WCET Benchmarks: Past, Present And Future
  Jan Gustafsson, Björn Lisper, Adam Betts, and Andreas Ermedahl (slides)

16:50-18:00 Session 5: Open session for announcements, WiP presentations, and similar
Session chair: Niklas Holsti

• A Markovian model for branch prediction delay accounting
  Stéphane Louise
• A Worst-Case Execution Time Perspective on JEDEC-Compliant Memory Systems
  Marco Paolieri, Eduardo Quiñones, Francisco J. Cazorla, and Mateo Valero
• Automated Amortized Resource Analysis for Hume
  Kevin Hammond, Steffen Jost, Christoph Herrmann, and Hans-Wolfgang Loidl
• WCET Challenge announcement
  Reinhard Wilhelm

Réalisation Axome - Création de sites Internet