[PLDI24] Descend: A Safe GPU Systems Programming Language | ACM SIGPLAN | Podwise