DOE OSTI · 2001509
Automated Test Generation for Performance Portable Programs Using Clang/LLVM and Formal Methods .
Abstract
Abstract not provided.
Keep this discovery
Explore connections, maps & timelines
Teranishi, Keita, Mukherjee, Shyamali, Pollard, Samuel, Evans, Noah, Orso, Alessandro, Sarkar, Vivek. 2022-01-01. Automated Test Generation for Performance Portable Programs Using Clang/LLVM and Formal Methods .. https://doi.org/10.2172/2001509
Cite the original work for its findings. Save a collection to share your selection of sources.