2010-08-28

[Caml-list] 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 
http://www.icfpconference.org/icfp2010
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
parallelism.

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)


_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

No comments: