Overview
Driven by current trends in microprocessor design, the number of processor cores and hardware threads available on modern supercomputers grows rapidly from generation to generation while the amount of memory per core will be decreasing. To keep pace, applications need to harness much higher degrees of parallelism while ensuring efficient use of the underlying computing resources, which can be highly concurrent many-core systems or heterogeneous accelerator architectures (or a combination of both). Additionally, applications must adhere to additional constraints, in particular with respect to power consumption (both peak and average power) and resilience.

Writing codes that run correctly and efficiently on such complex systems is extraordinarily challenging. At the same time, applications themselves are becoming more complex as well, which can be seen in emerging scale-bridging applications, the integration of fault-tolerance and uncertainty quantification, or advances in algorithms. Combined, these trends place higher and higher demands on the application development process and thus require adequate tool support for debugging and performance analysis. The PROPER workshop will serve as a forum to present novel work on scalable methods and tools for high-performance computing. The workshop covers parallel program development and analysis, debugging, correctness checking, and performance measurement and evaluation. Further topics include the integration of tools with compilers and the overall development environment, as well as success stories reporting application performance, scalability, reliability, power and energy optimization, or productivity improvements that have been achieved using tools.
The workshop is supported by the Virtual Institute - High Productivity Supercomputing (VI-HPS), an initiative to promote the development and integration of HPC programming tools.
Workshop Topics
Tools and tool approaches for parallel program development and analysis
Infrastructure for building parallel program development and analysis tools
Correctness checking and program verification
Performance measurement and evaluation
Success stories about optimization or parallel scalability achieved using tools