DOE CODE   /    Search Results   /    KLOKKOS: Automated test generation for performance-portable programs

KLOKKOS: Automated test generation for performance-portable programs

RESOURCE

Publicly Accessible Repository
https://github.com/sandialabs/xstack-klokkos
https://doi.org/10.11578/dc.20250515.5

SAVE / SHARE



SNL Badge
SciDAC Badge

Abstract

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
Developers:
Mayo, Jackson [1][2][3] ;  Mukherjee, Shyamali [1][2][3] ;  Sullivan, Zachary [1][2][3] ;  Pollard, Samuel [1][2][3] ;  Kale, Vivek [1][2][3] ;  Rutledge, Richard [1][2][3] ;  Teranishi, Keita [4]
  1. Sandia National Lab. (SNL-CA), Livermore, CA (United States)
  2. Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)
  3. Sandia National Laboratories (SNL), Albuquerque, NM, and Livermore, CA (United States)
  4. Oak Ridge National Laboratory (ORNL), Oak Ridge, TN (United States)
Contributors:
Researcher: Teranishi, Keita
Contributing Organizations:
Other: Oak Ridge National Laboratory
Release Date:
2024-03-07
Project Type:
Open Source, Publicly Available Repository
Software Type:
Scientific
Programming Languages:
C++
Coq
LLVM
Version:
0.1
Licenses:
Apache License 2.0
Sponsoring Org.:
Code ID:
155678
Site Accession Number:
SCR #3000.0
Research Org.:
Sandia National Laboratories (SNL-NM), Albuquerque, NM (United States)
Country of Origin:
United States
Keywords:
SciDAC

RESOURCE

Publicly Accessible Repository
https://github.com/sandialabs/xstack-klokkos
https://doi.org/10.11578/dc.20250515.5

SAVE / SHARE



SNL Badge
SciDAC Badge

Citation Formats

Mayo, Jackson, Mukherjee, Shyamali, Sullivan, Zachary, Pollard, Samuel, Kale, Vivek, Rutledge, Richard, Teranishi, Keita, and Teranishi, Keita. KLOKKOS: Automated test generation for performance-portable programs. Computer Software. https://github.com/sandialabs/xstack-klokkos. USDOE. 07 Mar. 2024. Web. doi:10.11578/dc.20250515.5.
Mayo, Jackson, Mukherjee, Shyamali, Sullivan, Zachary, Pollard, Samuel, Kale, Vivek, Rutledge, Richard, Teranishi, Keita, & Teranishi, Keita. (2024, March 07). KLOKKOS: Automated test generation for performance-portable programs. [Computer software]. https://github.com/sandialabs/xstack-klokkos. https://doi.org/10.11578/dc.20250515.5.
Mayo, Jackson, Mukherjee, Shyamali, Sullivan, Zachary, Pollard, Samuel, Kale, Vivek, Rutledge, Richard, Teranishi, Keita, and Teranishi, Keita. "KLOKKOS: Automated test generation for performance-portable programs." Computer software. March 07, 2024. https://github.com/sandialabs/xstack-klokkos. https://doi.org/10.11578/dc.20250515.5.
@misc{ doecode_155678,
title = {KLOKKOS: Automated test generation for performance-portable programs},
author = {Mayo, Jackson and Mukherjee, Shyamali and Sullivan, Zachary and Pollard, Samuel and Kale, Vivek and Rutledge, Richard and Teranishi, Keita and Teranishi, Keita},
abstractNote = {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},
doi = {10.11578/dc.20250515.5},
url = {https://doi.org/10.11578/dc.20250515.5},
howpublished = {[Computer Software] \url{https://doi.org/10.11578/dc.20250515.5}},
year = {2024},
month = {mar}
}