Descend language

A Safe GPU Systems Programming Language

• PLDI Paper
• PLDI Slides

• Type System Formalization

• Prototype implementation GitHub repository

Bastian Köpcke - University of Münster and Michel Steuwer - Technische Universität Berlin