Alpinist: An Annotation-Aware GPU Program Optimizer.

mer Sakar, Mohsen Safari, Marieke Huisman, Anton Wijs

Browse the full TACAS paper archive.