OpenMP is not as easy as it appears

R Gonçalves, M Amaris, T Okada… - 2016 49th Hawaii …, 2016 - ieeexplore.ieee.org
This paper aims to show that knowing the core concepts related to a given parallel
architecture is necessary to write correct code, regardless of the parallel programming …

Parcoach extension for a full-interprocedural collectives verification

P Huchant, E Saillard, D Barthou… - 2018 IEEE/ACM 2nd …, 2018 - ieeexplore.ieee.org
The advent to exascale requires more scalable and efficient techniques to help developers
to locate, analyze and correct errors in parallel applications. PARallel COntrol flow Anomaly …

PatEC: Pattern-based equivalence checking

MC Jakobs - … Software: 27th International Symposium, SPIN 2021 …, 2021 - Springer
Program parallelization is a common software engineering task, in which parallel design
patterns are applied. While the focus of parallelization is on performance, the functional …

Verifying pipeline implementations in OpenMP

M Wiesner, MC Jakobs - … 27th International Symposium, SPIN 2021, Virtual …, 2021 - Springer
OpenMP is a popular API for the development of parallel, shared memory programs and
allows programmers to easily ready their programs to utilize modern multi-core processors …

Exception handling with OpenMP in object-oriented languages

X Fan, M Mehrabi, O Sinnen, N Giacaman - … : Heterogenous Execution and …, 2015 - Springer
OpenMP has become increasingly prevalent due to the simplicity it offers to elegantly and
incrementally introduce parallelism. However, it still lacks some high-level language …

Static/Dynamic Analyses for Validation and Improvements of Multi-Model HPC Applications.

E Saillard - 2015 - theses.hal.science
Supercomputing plays an important role in several innovative fields, speeding up
prototyping or validating scientific theories. However, supercomputers are evolving rapidly …

Static Analysis and Dynamic Adaptation of Parallelism.

P Huchant - 2019 - inria.hal.science
Scientific applications have an increasing need of resources and many grand scientific
challenges require exascale compute capabilities to be addressed. One major concern to …

PARCOACH Extension for Hybrid Applications with Interprocedural Analysis

E Saillard, H Brunie, P Carribault, D Barthou - Tools for High Performance …, 2016 - Springer
Supercomputers are rapidly evolving with now millions of processing units, posing the
questions of their programmability. Despite the emergence of more widespread and …

[PDF][PDF] Proposed architecture for a parallel hybrid-testing tool for a dual-programming model

AM Alghamdi, FE Eassa - IJCSNS Int. J. Comput. Sci. Netw. Secur, 2019 - researchgate.net
Recently, building massively parallel systems has become increasingly important with
coming improvements of Exascale related technologies. For building such systems, a …

Supporting enhanced exception handling with OpenMP in object-oriented languages

X Fan, M Mehrabi, O Sinnen, N Giacaman - International Journal of …, 2017 - Springer
The proliferation of parallel processing in shared-memory applications has encouraged
developing assistant frameworks such as OpenMP. OpenMP has become increasingly …