CALL FOR PAPERS

HLPP 2020

The 13th International Symposium on
High-level Parallel Programming and Applications

Porto, Portugal, 9-10 July, 2020
https://hlpp2020.dcc.fc.up.pt/
hlpp2020@dcc.fc.up.pt

----------------------
     *** NEW ***         
Covid‑19 (Coronavirus)
----------------------

We are monitoring the ongoing outbreak, and following recommendations
and 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.

Moreover, we have also extended the submission deadline to May, 4th
(AoE).

The assessment of the outbreak's impact in HLPP2020 will be done at
June, 15th. By that time, we will make an announcement, on HLPP2020's
webpage, about its new format (schedulement, registration values,
etc).

Stay safe!

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

------------------
Local Organization
------------------

Inês Dutra, University of Porto, Portugal
Miguel Areias, University of Porto, Portugal
Ricardo Rocha, University of Porto, Portugal

-----------------
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
Gaetan 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

----------------
Important dates
----------------

Submission deadline: May, 4th (AoE)
Author notification: June, 4th
Camera-ready for draft proceedings: July, 1st
Early registration deadline: June, 10th
Symposium: July, 9th-10th (Thursday/Friday)
IJPP (HLPP special issue) submission deadline: October, 1st
IJPP (HLPP special issue) camera-ready for journal publication:
December, 1st

----------------
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.

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.

-----------
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).