09:00 -- 09:15 Opening
09:15 -- 09:45
A Review of Data Placement Optimisation
for Data-Parallel Component Composition
Olav Beckmann, Paul H.J. Kelly (Imperial College London, UK)
09:45 -- 10:15
Skeleton Implementation Based on Generic Data Distributions
Thomas Nitsche (TU Berlin, D)
10:15 -- 10:45 Coffee
10:45 -- 11:15
Algebraic Rules for Reasoning About BSP Programs
Alan Stewart, Maurice Clint (Uni Belfast, UK),
Joaquim Gabarro (Uni Barcelona, E)
11:15 -- 11:45
The META Transformation Tool for Skeleton-Based Languages
Marco Aldinucci (Uni Pisa, I)
11:45 -- 12:15
Generic Composition
Yifeng Chen (Oxford Uni, UK)
12:15 -- 13:30 Lunch
13:30 -- 14:15
Invited Talk:
Parallelizing Irregular and Pointer-Based Computations Automatically:
Perspectives from Logic and Constraint Programming
Manuel Hermenegildo (TU Madrid, E)
14:15 -- 14:45
BSP Constraint Programming
Olivier Ballereau, Gaetan Hains, Arnand Lallouet (Uni Orleans, F)
14:45 -- 15:15
A Lambda Evaluator on Linear Chemical Abstract Machine
Shinya Sato and Toru Sugimoto (Uni Tokyo, J)
15:15 -- 15:45 Coffee
15:45 -- 16:15
Development and Verification of Parallel Algorithms
in the Data Field Model
Bjorn Lisper and Jonas Holmerin (Royal Institute of Technology, SE)
16:15 -- 16:45
Replicated Workers in Eden
Ulrike Klusik (Uni Marburg, D),
Ricardo Pena and Fernando Rubio (Uni Madrid, E)
16:45 -- 17:15
Functional Bulk Synchronous Parallel Programming
Using the BSMLlib Library
Gaetan Hains and Frederic Loulergue (Uni Orleans, F)
17:15 -- 17:30 Closing discussion