@misc{https://doi.org/10.4121/16938556.v2,<br/><span class="tab"></span>
  doi = {10.4121/16938556.V2},<br/><span class="tab"></span>
  url = {https://data.4tu.nl/articles/_/16938556/2},<br/><span class="tab"></span>
  author = {Şakar,<br/><span class="tab"></span> Ömer and Safari,<br/><span class="tab"></span> Mohsen and Huisman,<br/><span class="tab"></span> Marieke and Wijs,<br/><span class="tab"></span> Anton},<br/><span class="tab"></span>
  keywords = {Computer Software,<br/><span class="tab"></span> FOS: Computer and information sciences,<br/><span class="tab"></span> GPU,<br/><span class="tab"></span> Optimization,<br/><span class="tab"></span> Deductive verification,<br/><span class="tab"></span> Annotation-aware,<br/><span class="tab"></span> Program transformation},<br/><span class="tab"></span>
  title = {Artifact for paper (Alpinist: an Annotation-Aware GPU Program Optimizer)},<br/><span class="tab"></span>
  publisher = {4TU.ResearchData},<br/><span class="tab"></span>
  year = {2021},<br/><span class="tab"></span>
  copyright = {Apache-2.0}
}