HLPP 2020


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.


  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