SCOPES 2010: Program

Monday, June 28, 2010
12:00 - 12:45    Lunch
Finger food
12:45 - 13:00    Welcome and Introduction
Chair: Prof. Ed Deprettere, Leiden University
13:00 - 14:30    Session 1: Code Analysis and Optimization
Chair: TBA
13:00-13:30    Parallel Copy Motion
Florent Bouchez1,  Quentin Colombet2,  Alain Darte3,  Christophe Guillon4,  Fabrice Rastello2
1ENS Lyon, 2INRIA, 3CNRS, 4STMicroelectronics
13:30-14:00    B2P2: Bounds Based Procedure Placement for Instruction TLB Power Reduction in Embedded Systems
Reiley Jeyapaul and Aviral Shrivastava
Compiler and Microarchitecture Laboratory, Arizona State University, Tempe, AZ 85281
14:00-14:30    Interval Analysis of Microcontroller Code using Abstract Interpretation of Hardware and Software
Jörg Brauer,  Thomas Noll,  Bastian Schlich
RWTH Aachen University
14:30 - 15:00    Coffee Break
15:00 - 16:30    Session 2: Design and Analysis Frameworks
Chair: TBA
15:00-15:30    A Compiler-Based Infrastructure for Fault-Tolerant Co-Design
Felipe Restrepo-Calle1,  Antonio Martínez-Álvarez1,  Hipólito Guzmán-Miranda2,  Francisco R. Palomo2,  Miguel A. Aguirre2,  Sergio Cuenca-Asensi1
1University of Alicante, 2University of Sevilla
15:30-16:00    Automatic Identification of Tuning Opportunities for Domain-Specific Compilers Using Decision Trees for Data Mining
Damon Fenacci and Björn Franke
University of Edinburgh
16:00-16:30    Modeling Shared Cache and Bus in Multi-cores for Timing Analysis
Sudipta Chattopadhyay,  Abhik Roychoudhury,  Tulika Mitra
National University of Singapore
16:30 - 17:00    Discussion
17:00    Session end
20:00    Workshop Dinner
Tuesday, June 29, 2010
09:00 - 10:00    Session 3: Domain-specific Languages and Programming Techniques
Chair: TBA
09:00-09:30    A Higher-Order Extension for Imperative Synchronous Languages
Eric Vecchie1,  Jean-Pierre Talpin2,  Sébastien Boisgérault1
1MINES ParisTech, 2INRIA Bretagne-Atlantique
09:30-10:00    Supporting Islands of Coherency for highly-parallel embedded architectures using Compile-Time Virtualisation
Ian Gray and Neil Audsley
University of York
10:00 - 10:30    Coffee Break
10:30 - 11:15    Keynote Talk
___________    System Level MPSoC Design: A Bright Future for Compiler Technology?
Prof. Rainer Leupers, RWTH Aachen
11:15 - 11:30    Discussion
11:30    Closing