Tuesday 12 April

• Scheduling of Stream-Based Real-Time Applications for Heterogeneous Systems
  • Bruno Virlet, Xing Zhou, Jean Pierre Giacalone, Bob Kuhn, Maria Jesus Garzaran and David Padua
• Static Bus Schedule-aware Scratchpad Allocation in Multiprocessors
  • Sudipta Chattopadhyay and Abhik Roychoudhury
• Task-Level Analysis for a Language with async-finish Parallelism
  • Elvira Albert, Puri Arenas, Samir Genaim and Damiano Zanardini

• A Low-Cost Wear-Leveling Algorithm for Block-Mapping Solid-State Disks
  • Li-Pin Chang and Li-Chun Huang
• An Approach to Improving the Structure of Error-Handling Code in the Linux Kernel
  • Suman Saha, Julia Lawall and Gilles Muller
• Targeting Complex Embedded Architectures by Combining the Multicore Communications API (MCAPI) with Compile-Time Virtualisation
  • Ian Gray and Neil Audsley

Wednesday 13 April

• Divide and Recycle: Types and Compilation for a Hybrid Synchronous Language
  • Albert Benveniste, Timothy Bourke, Benoît Caillaud and Marc Pouzet
• Static Analysis of Synchronous Programs in Signal for Efficient Design of Multi-Clocked Embedded Systems
  • Abdoulaye Gamatié and Laure Gonnord
• Synchronous Programming of Device Drivers for Global Resource Control in Embedded Operating Systems
  • Nicolas Berthier, Florence Maraninchi and Laurent Mounier

• Scheduling and Optimization of Fault-Tolerant Embedded Systems
  • Petru Eles (speaker), Viacheslav Izosimov, Zebo Peng, Paul Pop
• Model-based Engineering for Dynamically Reconfigurable Massively Parallel System Design
  • Abdoulaye Gamatié (speaker), Sébastien Le Beux, Éric Piel, Rabie Ben Atitallah, Anne Etien, Philippe Marquet, Jean-Luc Dekeyser
• Conservation Cores: Energy-Saving Coprocessors for Nasty Real-World Code
  • Jack Sampson, Ganesh Venkatesh, Nathan Goulding-Hotta, Saturnino Garcia, Manish Arora, Siddhartha Nath, Vikram Bhatt, Steven Swanson, and Michael Bedford Taylor(speaker)

• Dependence-based Multi-level Tracing and Replay for Wireless Sensor Networks Debugging
  • Man Wang, Zhiyuan Li, Feng Li, Xiaobing Feng, Saurabh Bagchi and Yung-Hsiang Lu
• Lowering Overhead in Sampling-based Execution Monitoring and Tracing
  • Johnson Thomas, Deepak Kumar and Sebastian Fischmeister
• Software Debugging and Testing using the Abstract Diagnosis Theory
  • Samaneh Navabpour, Borzoo Bonakdarpour and Sebastian Fischmeister

Thursday 14 April

• Cache Persistence Analysis - A Novel Approach Theory and Practice
  • Christoph Cullmann
• Predictable Task Migration for Locked Caches in Multi-Core Systems
  • Abhik Sarkar, Frank Mueller and Harini Ramaprasad
• Precise and Efficient Parametric Path Analysis
  • Ernst Althaus, Sebastian Altmeyer and Rouven Naujoks

• An Instruction-Scheduling-Aware Data Partitioning Technique for Coarse-Grained Reconfigurable Architectures
  • Choonki Jang, Jungwon Kim, Jaejin Lee, Hee-Seok Kim, Dong-Hoon Yoo, Sujkin Kim, Hong-Seok Kim and Soojung Ryu
• Global Productiveness Propagation : A Code Optimization Technique to Speculatively Prune Useless Narrow Computations
  • Indu Bhagat, Enric Gibert, Jesús Sánchez and Antonio González