HLPP 2020
Miguel Areias, Inês Dutra and Ricardo Rocha
July 2020
Preface
This volume contains the proceedings of the 13th edition of HLPP, the
International Symposium on High-Level Parallel Programming and
Applications, initially planned to take place in the Department of
Computer Science, Faculty of Sciences, University of Porto, Portugal,
during July 9--10, 2020. Due to the Coronavirus disease (COVID-19)
outbreak and following the recommendations/guidelines from the World
Health Organization and the European Centre for Disease Prevention and
Control, the event was made fully virtual, with
synchronous/asynchronous online activities, but maintaining the
regular publication and presentation activities.
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. Contributions to HLPP are sought in all topics in
high-level parallel programming, its tools and applications,
including:
- 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
This year, we received 17 paper submissions. Each paper was reviewed
by at least three referees who provided detailed written
evaluations. At the end, 9 papers were selected for publication in
this volume and presentation at the symposium. The set of selected
papers present a variety of contributions and were divided into three
sessions for presentation at the symposium. After the symposium, the
authors of the selected papers will have the opportunity to revise
their papers, taking into account the comments and remarks of the
referees, and submit them to the HLPP 2020 Special Issue to be
published by Springer in the International Journal of Parallel
Programming (IJPP).
We would like to thank our generous sponsors -- the Department of
Computer Science at Faculty of Sciences, University of Porto (FCUP);
the CRACS \& INESCTEC research unit; and Huawei -- and the EasyChair
conference management system for making the life of the Program Chairs
easier. We would also like to thank the staff of the Núcleo de
Tecnologias Educativas at FCUP and the Zoom and Slack platforms for
making the online event possible.
We want also to express our gratitude to the Steering Committee
members, for giving us the opportunity to organize the event, and to
the Program Committee members and external reviewers, as the symposium
would not have been possible without their knowledge, dedicated time
and enthusiastic work. Finally, thanks should go also to the authors
of all submitted papers for their contribution and interest in the
symposium and to the participants for making the event a meeting point
for a fruitful exchange of ideas and feedback on recent
developments. Thank you all for your contribution to HLPP 2020.
July 2020
Miguel Areias, Inês Dutra and Ricardo Rocha
Bibtex
@Proceedings{hlpp20,
editor = {M. Areias, I. Dutra and R. Rocha},
title = {{Proceedings of the 13th International Symposium on High-level
Parallel Programming and Applications (HLPP 2020)}},
month = {July},
year = {2020},
address = {Porto, Portugal},
}
Download Proceedings
PDF file