HLPP 2015

8th International Symposium
on High-level Parallel Programming and Applications
Pisa, July 2-3, 2015

Aims and scope of HLPP

As processor and system manufacturers increase the amount of both inter- and intra-chip parallelism it becomes crucial to provide the software industry with high-level, clean and efficient tools for parallel programming. Parallel and distributed programming methodologies are currently 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. 

Since 2001 the  HLPP series of workshops/symposia has been a forum for researchers developing state-of-the-art concepts, tools and applications for high-level parallel programming. The general emphasis is on software quality, programming productivity and high-level performance models. The 8th Symposium on High-Level Parallel Programming and Applications will be held July 2-3 in the historic center of Pisa. 

Topics:

HLPP 2015 invites papers on all topics in high-level parallel programming, its tools and applications including, but not limited to, the following aspects:
  • High-level programming and performance models (BSP, CGM, LogP, MPM, etc.) and tools
  • Declarative parallel programming methodologies
  • Algorithmic skeletons and constructive methods
  • Declarative parallel programming languages and libraries: semantics and implementation
  • Verification of declarative parallel and distributed programs
  • Software synthesis, automatic code generation for parallel programming
  • Model-driven software engineering with parallel programs
  • High-level programming models for heterogeneous/hierarchical platforms
  • High-level parallel methods for large structured and semi-structured datasets
  • Applications of parallel systems using high­-level languages and tools
  • Teaching experience with high­-level tools and methods 

Organization

Local Organization (Workshop Chairs)

  • Marco Danelutto
  • Susanna Pelagatti
  • Massimo Torquati

Program committee

  • Marco Aldinucci, University of Torino, Italy
  • Jost Berthold, Commonwealth Bank, Australia
  • Murray Cole, University of Edinburgh, United Kingdom
  • Marco Danelutto, University of Pisa, Italy
  • Patrizio Dazzi, ISTI/CNR, Pisa, Italy
  • Francisco De Sande, University La Laguna, Spain
  • Kento Emoto, Kyushu Institute of Technology, Japan
  • Joel Falcou, MetaScale / Université Paris-Sud, France
  • Clemens Grelck, University of Amsterdam, Netherlands
  • Gaétan Hains, Huawei Technologies Paris, France
  • Kevin Hammond, University of St. Andrews, United Kingdom
  • Zhenjiang Hu, National Institute of Informatics, Japan
  • Ali Jannesari, German Research School for SimulationScience, (D)
  • Youry Khmelevsky, University of British Columbia (Okanagan) / Okanagan College, Canada
  • Peter Kilpatrick, Queen's University of Belfast, United Kingdom
  • Herbert Kuchen, University of Münster, Germany
  • Kiminori Matsuzaki, Kochi University of Technology, Japan
  • Susanna Pelagatti, University of Pisa, Italy
  • Tiark Rompf, Oracle Labs / Ecole Polytechnique Fédérale de Lausanne, Switzerland
  • Kostis Sagonas, Uppsala University, Sweden
  • Vijay Saraswat, IBM Thomas J. Watson Research Center, USA
  • Sven-Bodo Scholz, Heriot-Watt University, United Kingdom
  • Julien Tesson, Paris Est University
  • Massimo Torquati, Univ. of Pisa, Italy

Important dates:

  • Submission deadline: April 12 extended until April 24 (anywhere on earth)
  • Author notification: May 15 28 June 1st
  • Camera-ready paper due for draft proceedings: June 21 25
  • Early registration deadline: June 21 25
  • Symposium: July 2-3 (Thursday/Friday)
  • Camera-ready paper due for IJPP journal publication: Aug 31

Paper submission

Papers submitted to HLPP2015 must describe original research results and must not have been published or simultaneously submitted anywhere else. Manuscripts must be prepared with the Springer IJSS latex macro package using the single column option (\documentclass[smallextended]{svjour3}) and submitted via the EasyChair Conference Management System as one pdf file.  The strict page limit for initial submission and camera-ready version is 20 pages in the aforementioned format.
Each paper will receive a minimum of three reviews by members of the international technical programme committee. Papers will be selected based on their originality, relevance, technical clarity and quality of presentation. At least one author of each accepted paper must register for the HLPP 2015 symposium and present the paper. After the symposium you have ample time to revise the paper incorporating potential comments and remarks of your colleagues. We expect the the HLPP 2015 special issue of the International Journal of Parallel Programming to appear online-first by the end of the year and the printed edition in mid-2016.

Accepted papers

  • Kiminori Matsuzaki Functional Models of Hadoop MapReduce with Application to Scan
  • Tiziano De Matteis and Gabriele Mencagli Parallel Patterns for Window-based Stateful Operators on Data Streams: an Algorithmic Skeleton Approach
  • Frederic Gava, Victor Allombert and Julien Tesson Multi-ML: Programming Multi-BSP Algorithms in ML
  • Mehdi Goli and Horacio Gonzalez-Velez Autonomic Coordination of Skeleton-based Applications over CPU/GPU Multi-Core Architectures
  • John Darlington, Tony Field and Layal Hakim Tackling Complexity in High Performance Computing Applications
  • Le-Duc Tung and Zhenjiang Hu Towards Systematic Parallelization of Graph Transformations over Pregel
  • Frederic Loulergue, Wadoud Bousdira and Julien Tesson Calculating Parallel Programs in Coq using List Homomorphisms
  • Rafael Sotomayor, Luis Miguel Sanchez, Javier Garcia Blas, Javier Fernandez and Jose Daniel Garcia Automatic CPU/GPU Generation of Multi-versioned OpenCL Kernels for C++ Scientific Applications
  • Steffen Ernsting and Herbert Kuchen Data Parallel Algorithmic Skeletons with Accelerator Support
  • Alvaro Estebanez, Diego R. Llanos and Arturo Gonzalez-Escribano Evaluating the capabilities of the Xeon Phi platform in the context of software-only, thread-level speculation
  • Mathias Bourgoin, Emmmanuel Chailloux and Jean-Luc Lamotte High Level Data Structures for GPGPU Programming in a Statically Typed Language

Workshop program


Thursday
Friday

Proceedings:

Accepted papers will be distributed as informal draft proceedings during the symposium. Accepted papers will be published by Springer in a special issue of the International Journal of Parallel Programming  (IJPP).

Registration

Registration fee is Euro 300 (early, registration) or 375 (later registration, after June 25st). Participants should register by sending the registration fee with a bank transfer to the bank account with IBAN code IT 51 F 01030 14000 000003661522 and BIC code PASCITMMPIS . Please indicate in the bank transfer motivation the name of the registered person and the number (as of the EasyChair) of the paper you'll present (if any). This bank account is in name of the chair Marco Danelutto. If you are not an author, please indicate your affiliation as well.

Venue

HLPP 2015 will be hosted by the Dept. of Computer Science (GPS coords 43.720598, 10.408236 see google maps) of the Univ. of Pisa.

Participants may reserve rooms in any of the Pisa Hotels and B&B. Pisa is a small city and most of the hotels are no more that 15 minutes away (walking) from the Dept. of Computer Science, which is located downtown, in the North-East part of the city, right inside the medieval city walls.

The organizers recommend timely reservation of rooms as the workshop is run in full tourist season.

HLPP steering committee

  • Clemens Grelck (Universiteit van Amsterdam, Netherlands)
  • Gaétan Hains (Université Paris-Est, France)
  • Kiminori Matsuzaki (Kochi University of Technology, Japan)
  • Frédéric Loulergue (Université d'Orléans, France)
  • Quentin Miller (Somerville College Oxford, United Kingdom)
  • Alexander Tiskin (University of Warwick, United Kingdom)