HLPP 2020

News

HLPP2020 will be held fully online

We are monitoring the Coronavirus disease (COVID-19) outbreak and following the recommendations/guidelines from the World Health Organization (WHO) and the European Centre for Disease Prevention and Control (ECDC).

The safety of all conference participants is our main priority. In this perspective, regardless of the outbreak outcomes in July, we will make HLPP2020 an online (synchronous and/or asynchronous) event and we will maintain the regular publication activities, i.e., accepted papers will be selected for IJPP.

Attendance will be free for all (authors and non-authors of accepted papers), but it is required that participants register in advance by filling a form until June 19, 2020. Prior to the event, information regarding the access and schedule of the live sessions will be sent to all registrants via email.

The number of participants is limited, thus the registration process closes once the limit is reached. For any further information, please send a message to HLPP2020.

Stay safe!

Aims and Scope

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 13th Symposium on High-Level Parallel Programming and Applications will be held in Porto, Portugal.

Topics

HLPP 2020 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
Formal models of timing and real-time verification for parallel systems

Important Dates

Submission deadline: ~~April 6~~ May 4 (AoE)
Author notification: ~~June 4~~ June 12
Camera-ready for draft proceedings: July 1
Registration deadline: ~~June 10~~ June 19
Symposium: July 9-10 (Thursday/Friday)
IJPP (HLPP special issue) submission deadline: ~~October 30~~ November 13
IJPP (HLPP special issue) camera-ready for journal publication: ~~December 1~~ December 15

Organization

Local Organization (Program Chairs)

Inês Dutra, University of Porto

ines@dcc.fc.up.pt

Miguel Areias, University of Porto

miguel-areias@dcc.fc.up.pt

Ricardo Rocha, University of Porto

ricroc@dcc.fc.up.pt

Publicity Chair

Carlos Ferreira, Polytechnic Institute of Porto

cgf@isep.ipp.pt

Program Committee

Agostino Dovier, University of Udine, Italy
Aleksandar Prokopec, Ecole Polytechnique Fédérale de Lausanne, Switzerland
Ana Lucia Varbanescu, University of Amsterdam, Netherlands
Christoph Kessler, Linköping University, Sweden
Clemens Grelck, University of Amsterdam, Netherlands
Dalvan Griebler, PUCRS/SETREM, Brasil
Frank Pfenning, Carnegie Mellon University, USA
Frederic Loulergue, Northern Arizona University, USA
Frédéric Dabrowski, LIFO - Université d'Orléans, France
Gaétan Hains, Huawei Paris Research Center, France
Herbert Kuchen, University of Münster, Germany
Joel Falcou, Univeristé Paris Sud, France
Kiminori Matsuzaki, Kochi University of Technology, Japan
Kostis Sagonas, Uppsala University, Sweden
Marco Aldinucci, University of Torino, Italy
Massimo Torquati, University of Pisa, Italy
Michel Steuwer, University of Glasgow, UK
Murray Cole, The University of Edinburgh, UK
Peter Kilpatrick, Queen's University Belfast, UK

Paper Submission

Papers submitted to HLPP 2020 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 program 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 2020 symposium and present the paper.

After the symposium the authors of the accepted papers will have ample time to revise their papers and to incorporate the potential comments and remarks of their colleagues. We expect the HLPP 2020 special issue of the International Journal of Parallel Programming (IJPP) to appear online-first by the end of the year and the printed edition in mid-2021.

Accepted Papers

A Divide-and-conquer Parallel Skeleton for Unbalanced and Deep Problems.
Millán A. Martínez, Basilio B. Fraguela and José C. Cabaleiro.
Bounds Checking on GPU.
Troels Henriksen.
Fortress Abstractions in X10 Framework.
Anshu S. Anand, Kartik Sayani and R. K. Shyamasundar.
High-Level Parallel Ant Colony Optimization with Algorithmic Skeletons.
Breno Augusto de Melo Menezes, Nina Herrmann, Herbert Kuchen and Fernando Buarque de Lima Neto.
Integrating Node-Level Parallelism Abstractions into the PGAS Model.
Pascal Jungblut and Karl Fürlinger.
On Single-Valuedness in Textually Aligned SPMD Programs.
Frédéric Dabrowski.
OpenACC unified programming environment for GPU and FPGA multi-hybrid acceleration.
Ryuta Tsunashima, Ryohei Kobayashi, Norihisa Fujita, Taisuke Boku, Seyong Lee, Jeffrey Vetter, Hitoshi Murai, Masahiro Nakao and Mitsuhisa Sato.
Restoration of Legacy Parallelism in C and C++ Applications.
Vladimir Janjic, Christopher Brown and Adam Barwell.
SkePU 3: Portable High-Level Programming of Heterogeneous Systems and HPC Clusters.
August Ernstsson, Johan Ahlqvist, Stavroula Zouzoula and Christoph Kessler.

Symposium Program

Time in UTC	Thursday - July 9, 2020
10:00-10:10	Opening

10:10-10:30	Sponsored Talk (Huawei)
	MindSpore - Open-Source All Scenario AI Computing Framework
	Speaker: Chong Li	Slack Channel: #huawei-talk

10:30-12:00	Session 1 (Chair: Gaétan Hains)
	Bounds Checking on GPU
	Speaker: Troels Henriksen	Slack Channel: #s1-p1
	SkePU 3: Portable High-Level Programming of Heterogeneous Systems and HPC Clusters
	Speaker: August Ernstsson	Slack Channel: #s1-p2
	Integrating Node-Level Parallelism Abstractions into the PGAS Model
	Speaker: Pascal Jungblut	Slack Channel: #s1-p3

14:00-15:30	Session 2 (Chair: Christoph Kessler)
	On Single-Valuedness in Textually Aligned SPMD Programs
	Speaker: Frédéric Dabrowski	Slack Channel: #s2-p1
	A Divide-and-conquer Parallel Skeleton for Unbalanced and Deep Problems
	Speaker: Millán Martı́nez	Slack Channel: #s2-p2
	High-Level Parallel Ant Colony Optimization with Algorithmic Skeletons
	Speaker: Breno Menezes	Slack Channel: #s2-p3
Time in UTC	Friday - July 10, 2020
10:30-12:00	Session 3 (Chair: Dalvan Griebler)
	OpenACC unified programming environment for GPU and FPGA multi-hybrid acceleration
	Speaker: Ryuta Tsunashima	Slack Channel: #s3-p1
	Restoration of Legacy Parallelism in C and C++ Applications
	Speaker: Christopher Brown	Slack Channel: #s3-p2
	Fortress Abstractions in X10 Framework
	Speaker: Anshu Anand	Slack Channel: #s3-p3

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 (Closed)

At least one author of each accepted paper must register for the HLPP 2020 symposium and present the paper. Attendance is free for all (authors and non-authors), but it is required that participants register in advance by filling a form until June 19, 2020.

Prior to the event, information regarding the access and schedule of the live sessions will be sent to all registrants via email. The number of participants is limited, thus the registration process closes once the limit is reached.

For any further information, please send a message to HLPP2020.

Register Here

Steering Committee

Alexander Tiskin (University of Warwick, United Kingdom)
Clemens Grelck (Universiteit van Amsterdam, Netherlands)
Frederic Loulergue (Northern Arizona University, USA)
Gaétan Hains (Huawei Technologies Paris, France)
Kiminori Matsuzaki (Kochi University of Technology, Japan)
Quentin Miller (Somerville College Oxford, United Kingdom)