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