Ctrl K
Software Highlights
Browse all Highlights

All software

1Filter
Keywords
5
Program languages
0
Licenses
1
1-1 of 1
Logo for Artifact for paper (Alpinist: an Annotation-Aware GPU Program Optimizer)

Artifact for paper (Alpinist: an Annotation-Aware GPU Program Optimizer)

Artifact for paper (Alpinist: an Annotation-Aware GPU Program Optimizer)

  • Annotation-aware
  • Deductive verification
  • GPU
  • + 2
    4
    0