HLPP 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
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{hlpp2020, 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}, }