CFP: International Symposium on High-level Parallel Programming and Applications (HLPP 2020) @Porto, Portugal

0 views
Skip to first unread message

Carlos Ferreira

unread,
Apr 1, 2020, 12:20:13 PM4/1/20
to parallel-haskell
HLPP 2020

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

Porto, Portugal, 9-10 July, 2020


The city of Porto is famous for its Port wine and beautiful scenery, architecture
and cultural events.

Portugal has again been awarded the best European Tourist Destination by the
World Travel Awards, the Oscars equivalent in the field of tourism.


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
Miguel Areias
Ricardo Rocha

Important dates:
----------------

Submission deadline: 6th, April (anywhere on earth)
Author notification: 4th, June
Camera-ready for draft proceedings: 1st, July
Early registration deadline: 10th, June

Symposium: 9th-10th, July (Thursday/Friday)
IJPP (HLPP special issue) submission deadline: 1st, October
IJPP (HLPP special issue) camera-ready for journal publication: 01st, December

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 you have ample time to revise the paper
incorporating potential comments and remarks of your colleagues. We
expect the 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).

Venue
-----

HLPP 2020 will be hosted by the Dept. of Computer Science (GPS coords
41.152545, -8.640758) of the Faculty of Sciences of the University of
Porto (FCUP).

Participants may reserve rooms in several of the nearby Hotels. As the
symposium will be held in the tourist season, the organizers recommend
a timely reservation of rooms.

Reply all
Reply to author
Forward
0 new messages