OpenMP is not as easy as it appears
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 …
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 …
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 …
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 …
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 …
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 …
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 …
challenges require exascale compute capabilities to be addressed. One major concern to …
PARCOACH Extension for Hybrid Applications with Interprocedural Analysis
Supercomputers are rapidly evolving with now millions of processing units, posing the
questions of their programmability. Despite the emergence of more widespread and …
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 …
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 …
developing assistant frameworks such as OpenMP. OpenMP has become increasingly …