Conference Information
HLPP 2020: International Symposium on High-level Parallel Programming and Applications
Submission Date:
2020-05-04 Extended
Notification Date:
Conference Date:
Porto, Portugal
CORE: c   Viewed: 4842   Tracked: 2   Attend: 0

Conference Location
Call For Papers
Aims and Scope

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 Porto, Portugal.

Bem vindos ao Porto!


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 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
Last updated by Dou Sun in 2020-04-08
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
WATCVWorkshop on Applications and Technologies of Computer Vision2020-06-252020-07-102020-07-24
baa2RTASIEEE Real-Time and Embedded Technology and Applications Symposium2019-10-232019-12-112020-04-21
cbb3ISPAInternational Symposium on Parallel and Distributed Processing with Applications2020-07-222020-08-222020-10-15
IMPIEEE Conference on Information and Multimedia Processing2020-07-192020-09-212020-12-12
ISAIMTInternational Symposium on Advanced and Intelligent Manufacturing Technology2017-12-20 2017-12-30
BIOSIGNALSInternational Conference on Bio-inspired Systems and Signal Processing2020-09-142020-11-122021-02-11
ICMEAEInternational Conference on Mechatronics, Electronics and Automation Engineering2020-12-102021-01-012021-04-16
b4BMEIInternational Conference on BioMedical Engineering and Informatics2018-05-102018-06-102018-10-13
ICEI'International Conference on Engineering Industry2013-10-022013-11-012013-12-03
AICONEAI International Conference on Artificial Intelligence for Communications and Networks2019-11-202020-01-202020-05-23