Publications Details

Publications / Conference Presentation

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

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

Abstract not provided.