BOAST

The portability of real high-performance computing (HPC) applications on new platforms is an open and very delicate problem. Especially, the performance portability of the underlying computing kernels is problematic as they need to be tuned for each and every platform the application encounters. This article presents BOAST, a metaprogramming framework dedicated to computing kernels. BOAST allows the description of a kernel and its possible optimizations using a domain-specific language. BOAST runtime will then compare the different versions’performance as well as verify their exactness. BOAST is applied to three use cases: a Laplace kernel in OpenCL and two HPC applications BigDFT (electronic density computation) and SPECFEM3D (seismic and wave propagation).

Download Full-text

The ANTAREX domain specific language for high performance computing

Microprocessors and Microsystems ◽

10.1016/j.micpro.2019.05.005 ◽

2019 ◽

Vol 68 ◽

pp. 58-73 ◽

Cited By ~ 4

Author(s):

Cristina Silvano ◽

Giovanni Agosta ◽

Andrea Bartolini ◽

Andrea R. Beccari ◽

Luca Benini ◽

...

Keyword(s):

High Performance Computing ◽

High Performance ◽

Domain Specific Language ◽

Specific Language ◽

Domain Specific ◽

Performance Computing

Download Full-text

The Kokkos EcoSystem: Comprehensive Performance Portability For High Performance Computing

Computing in Science & Engineering ◽

10.1109/mcse.2021.3098509 ◽

2021 ◽

pp. 1-1

Author(s):

Christian Trott ◽

Luc Berger-Vergiat ◽

David Zoeller Poliakoff ◽

Sivasankaran Rajamanickam ◽

Damien Lebrun-Grandie ◽

...

Keyword(s):

High Performance Computing ◽

High Performance ◽

Performance Portability ◽

Comprehensive Performance ◽

Performance Computing

Download Full-text

2016 Sixth International Workshop on Domain-Specific Languages and High-Level Frameworks for High Performance Computing (WOLFHPC)

10.1109/wolfhpc40351.2016 ◽

2016 ◽

Keyword(s):

High Performance Computing ◽

High Performance ◽

International Workshop ◽

Domain Specific Languages ◽

Domain Specific ◽

Sixth International Workshop ◽

High Level ◽

Performance Computing ◽

Sixth International

Download Full-text

Automated Context Formalization for Context-aware Specification Approach

International Journal of Information System Modeling and Design ◽

10.4018/ijismd.2018070102 ◽

2018 ◽

Vol 9 (3) ◽

pp. 23-47

Author(s):

Amel Benabbou ◽

Safia Nait-Bahloul

Keyword(s):

Environmental Conditions ◽

Use Cases ◽

Domain Specific Language ◽

Context Aware ◽

Effective Technique ◽

Specific Language ◽

Requirement Specification ◽

Domain Specific ◽

High Level ◽

Formal Requirements

Requirement specification is a key element in model-checking verification. The context-aware approach is an effective technique for automating the specification of requirement considering specific environmental conditions. In most of existing approaches, there is no support of this crucial task and are mainly based on the considerable efforts and expertise of engineers. A domain-specific language, called CDL, has been proposed to facilitate the specification of requirement by formalizing contexts. However, the feedback has shown that manually writing CDL is hard, error prone and difficult to grasp on complex systems. In this article, the authors propose an approach to automatically generate CDL models using (IODs) elaborated through transformation chains from textual use cases. They offer an intermediate formalism between informal use cases scenarios and CDL models allowing to engineers to manipulate with familiar artifacts. Thanks to such high-level formalism, the gap between informal and formal requirements is reduced; consequently, the requirement specification is facilitated.

Download Full-text