Automated Test Generation for Performance Portable Programs Using Clang/LLVM and Formal Methods .
Abstract not provided.
- Research Organization:
- Sandia National Laboratories (SNL-NM), Albuquerque, NM (United States); Sandia National Laboratories, Livermore, CA
- Sponsoring Organization:
- USDOE Office of Science (SC), Advanced Scientific Computing Research (ASCR) (SC-21)
- DOE Contract Number:
- NA0003525
- OSTI ID:
- 2001509
- Report Number(s):
- SAND2022-0409C; 702521
- Country of Publication:
- United States
- Language:
- English
Similar Records
Toward Automatic Test Synthesis for Performance Portable Programs.
Toward Automatic Test Synthesis for Performance Portable Programs.
Automated Performance Testing and Tuning.
Conference
·
Mon Aug 01 00:00:00 EDT 2022
·
OSTI ID:2004353
Toward Automatic Test Synthesis for Performance Portable Programs.
Conference
·
Thu Sep 01 00:00:00 EDT 2022
·
OSTI ID:2004557
Automated Performance Testing and Tuning.
Conference
·
Mon Nov 01 00:00:00 EDT 2021
·
OSTI ID:1899696