| Monday | 09:30 | Invited
Lecture by Pr. W.F. McColl The Real-Time Revolution |
|
| 10:00 | |||
| 10:30 | Coffee Break | ||
| 11:00 | Vasil Vasilev | BSPGRID: Variable Resources Parallel Computation and Multiprogrammed Parallelism | |
| 11:30 | Mostafa Bamha | Pipelining a Skew-insensitive Parallel Join Algorithm | |
| 12:00 | Lunch | ||
| 12:30 | |||
| 13:00 | |||
| 13:30 | |||
| 14:00 | Frederic Gava | Formal Proofs of Functional BSP Programs | |
| 14:30 | Susanna Pelagatti | A Calculus for Dense Array Distributions | |
| 15:00 | Yifeng Chen | Top-Down Design of Bulk-Synchronous Parallel Programs | |
| 15:30 | Coffee Break | ||
| 16:00 | F. de Sande | llc: A parallel skeletal language | |
| 16:30 | Marco Aldinucci | Eskimo : Experimenting Skeletons on the Shared Address Model | |
| 17:00 | Kevin Hammond | Automatic Skeletons in Template Haskell | |
| 17:30 | Holger Bischof | DatTel: A Data-parallel C++ Template Library | |
| Tuesday | 09:30 | Ami Marowka | Extending OpenMP for Task Parallelism |
| 10:00 | Clemens Grelck | SAC - From High-Level Programming with Arrays to Efficient Parallel Execution | |
| 10:30 | Coffee Break | ||
| 11:00 | Emmanuel Chailloux | A Portable Implementation for Objective Caml Flight | |
| 11:30 | Konrad Hinsen | High Level Parallel Software Development with Python and BSP | |
| 12:00 | Xie Yong | Aligned Multithreaded Computations and Performance Guarantees | |
| 12:30 | Lunch | ||
| 13:00 | |||
| 13:30 | |||