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) ----- Fin du message transféré -----