@misc{indiciae3268bb455b21,
  title = {Automated Test Generation for Performance Portable Programs Using Clang/LLVM and Formal Methods .},
  author = {Teranishi, Keita and Mukherjee, Shyamali and Pollard, Samuel and Evans, Noah and Orso, Alessandro and Sarkar, Vivek},
  year = {2022},
  doi = {10.2172/2001509},
  url = {https://www.osti.gov/biblio/2001509},
  note = {Source identifier: 2001509}
}