Pith. sign in

REVIEW

ECP SOLLVE: Validation and Verification Testsuite Status Update and Compiler Insight for OpenMP

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2208.13301 v3 pith:WVL63UGH submitted 2022-08-28 cs.DC

ECP SOLLVE: Validation and Verification Testsuite Status Update and Compiler Insight for OpenMP

Thomas Huber , Swaroop Pophale , Nolan Baker , Michael Carr , Nikhil Rao , Jaydon Reap , Kristina Holsapple , Joshua Hoke Davis
show 4 more authors
Tobias Burnus Seyong Lee David E. Bernholdt Sunita Chandrasekaran
This is my paper
classification cs.DC
keywords openmpcompilerbeencontinuesfeaturesintroducedreleasespecification
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

The OpenMP language continues to evolve with every new specification release, as does the need to validate and verify the new features that have been introduced. With the release of OpenMP 5.0 and OpenMP 5.1, plenty of new target offload and host-based features have been introduced to the programming model. While OpenMP continues to grow in maturity, there is an observable growth in the number of compiler and hardware vendors that support OpenMP. In this manuscript, we focus on evaluating the conformity and implementation progress of various compiler vendors such as Cray, IBM, GNU, Clang/LLVM, NVIDIA, Intel and AMD. We specifically address the 4.5, 5.0, and 5.1 versions of the specification.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.