Skip to main content
OSTI.GOVU.S. Department of Energy Office of Scientific and Technical Information
U.S. Department of Energy
Office of Scientific and Technical Information
 

KLOKKOS: Automated test generation for performance-portable programs

Software ·
DOI:https://doi.org/10.11578/dc.20250515.5· OSTI ID:code-155678 · Code ID:155678
 [1];  [1];  [1];  [1];  [1];  [1];  [2]
  1. Sandia National Lab. (SNL-CA), Livermore, CA (United States); Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Sandia National Laboratories (SNL), Albuquerque, NM, and Livermore, CA (United States)
  2. Oak Ridge National Laboratory (ORNL), Oak Ridge, TN (United States)
+ Show Developer Affiliations
SAND2024-13830O The KLOKKOS project provides a suite of test generation and validation tools to increase maintainability and portability of Kokkos programs. KLOKKOS, a portmanteau of Klee and Kokkos, is developing an automated test generation for performance-portable programs using Clang/low-level virtual machine (LLVM) and formal methods. KLOKKOS is based on several topics in computer science: the development of symbolic and concolic analysis of LLVM and C++ codes, formal semantics and type theory, C++ templates and language features, LLVM compiler infrastructure, and data parallel primitives. Sandia National Laboratories is a multimission laboratory managed and operated by National Technology & Engineering Solutions of Sandia, LLC, a wholly owned subsidiary of Honeywell International Inc., for the U.S. Department of Energy’s National Nuclear Security Administration under contract DE-NA0003525
Site Accession Number:
SCR #3000.0
Software Type:
Scientific
License(s):
Apache License 2.0
Programming Language(s):
C++; Coq; LLVM
Research Organization:
Sandia National Laboratories (SNL-NM), Albuquerque, NM (United States)
Sponsoring Organization:
USDOE
Primary Award/Contract Number:
NA0003525
DOE Contract Number:
NA0003525
Code ID:
155678
OSTI ID:
code-155678
Country of Origin:
United States

Similar Records

Kokkos Clang
Software · Mon Jun 01 20:00:00 EDT 2020 · OSTI ID:code-47103
LAPIS: Linear Algebra Performance for Intermediate Subprograms
Software · Sun Sep 08 20:00:00 EDT 2024 · OSTI ID:code-169628
Tacho
Software · Tue Jul 19 20:00:00 EDT 2022 · OSTI ID:code-94709

Related Subjects

SciDAC