TY  - RPRT
TI  - Automated Test Generation for Performance Portable Programs Using Clang/LLVM and Formal Methods .
AU  - Teranishi, Keita
AU  - Mukherjee, Shyamali
AU  - Pollard, Samuel
AU  - Evans, Noah
AU  - Orso, Alessandro
AU  - Sarkar, Vivek
PY  - 2022
DO  - 10.2172/2001509
UR  - https://www.osti.gov/biblio/2001509
ID  - 2001509
ER  -