@misc{https://doi.org/10.4121/16938556.v2,
  doi = {10.4121/16938556.v2},
  url = {https://data.4tu.nl/articles/software/Artifact_for_paper_Alpinist_an_Annotation-Aware_GPU_Program_Optimizer_/16938556/2},
  author = {Şakar, Ömer and Safari, Mohsen and Huisman, Marieke and Wijs, Anton},
  keywords = {GPU, Optimization, Deductive verification, Annotation-aware, Program transformation},
  title = {Artifact for paper (Alpinist: an Annotation-Aware GPU Program Optimizer)},
  publisher = {4TU.ResearchData},
  year = {2021},
  copyright = {Apache-2.0},
}