Kuiper: Correct and Efficient GPU Programming with Dependent Types and Separation Logic - PLDI 2026 Artifact

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Guido Martínez, Bastian Köpcke, Jonáš Fiala, Gabriel Ebner, Tahina Ramananandro, Michel Steuwer, Tyler Sorensen, Nikhil Swamy
DOI: 10.5281/zenodo.19626534
Cited by: 1

Abstract

This contains the artifact for the PLDI 2026 paper "Kuiper: Correct and Efficient GPU Programming with Dependent Types and Separation Logic".

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
17 April 2026