Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
HLPP 2010 Call for participation
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2010-08-28 (10:35)
From: Frederic Loulergue <frederic.loulergue@u...>
Subject: HLPP 2010 Call for participation

Fourth International Workshop on
High-level Parallel Programming and Applications (HLPP 2010) 
Baltimore, Maryland, September 25, 2010 
Affiliated to ICFP 2010
Sponsored by ACM SIGPLAN

Aims and Scope

As processor and system manufacturers adjust their roadmaps towards  
increasing levels of both inter and intra-chip parallelism, so the  
urgency of reorienting the mainstream software industry towards these  
architectures grows.

At present, popular parallel and distributed programming methodologies  
are dominated by low-level techniques such as send/receive message  
passing, or equivalently unstructured shared memory mechanisms.

Higher-level, structured approaches offer many possible advantages and  
have a key role to play in the scalable exploitation of ubiquitous  

This workshop provides a forum for discussion and research about such  
high-level approaches to parallel programming.

Workshop Program

08:00-08:45: Continental Breakfast
09:00-10:00: Invited Talk
Zhenjiang Hu (National Institute of Informatics)
Calculational Parallel Programming
10:00-10:30: Break
10:30-12:00: Session "Skeletal Parallelism"
Johan Enmyren and Christoph Kessler
SkePU: A Multi-Backend Skeleton Programming Library for Multi-GPU Systems
Kiminori Matsuzaki and Kento Emoto
Lessons from Implementing the BiCGStab Method with SkeTo Library
Oleg Lobachev and Rita Loogen 
Estimating Parallel Performance, A Skeleton-Based Approach
12:00-12:30: Session "Verification of High-Level Parallel Programs"
Frédéric Gava and Jean Fortin
BSP-Why: an intermediate language for deductive verification of BSP programs
12:30-02:00: Lunch
02:00-03:00: Invited Talk
Phil Trinder (Heriot-Watt University) 
SymGrid-Par: A Standard Skeleton-Based Framework for Computational  
Algebra Systems
03:00-03:30: Break
03:30-04:30: Session "Bulk Synchronous Parallelism"
Md. Mostofa Ali Patwary, Rob H. Bisseling and Fredrik Manne 
Parallel Greedy Graph Matching using an Edge Partitioning Approach
Joel Falcou, Khaled Hammidouche and Daniel Etiemble
Hybrid Bulk Synchronous Parallelism Library for Clustered SMP Architectures
04:30-05:00: Break

Programme Committee

Anne Benoit (ENS Lyon, France)
Murray Cole (University of Edinburgh, UK)
Alexandros Gerbessiotis (New Jersey Institute of Technology, USA)
Christoph Kessler (Linköpings Universitet, Sweden)
Herbert Kuchen (University of Muenster, Germany)
Rita Loogen (University of Marburg, Germany)
Frédéric Loulergue (University of Orléans, France), chair
Kiminori Matsuzaki (Kochi University of Technology, Japan)
Samuel Midkiff (Purdue University, USA)
Susanna Pelagatti (University of Pisa, Italy)
Sukyoung Ryu (Korea Advanced Institute of Science and Technology, Korea)
Kazunori Ueda (Waseda University, Japan)