Publications Details

Publications / Conference Presenation

Automated Test Generation for Performance Portable Programs Using Clang/LLVM and Formal Methods

Teranishi, Keita T.; Mukherjee, Shyamali M.; Pollard, Samuel D.; Evans, Noah; Orso, Alessandro; Sarkar, Vivek

Abstract not provided.