2 papers
cs.PL2023
Descend: A Safe GPU Systems Programming Language
Bastian Köpcke, Sergei Gorlatch, Michel Steuwer
Graphics Processing Units (GPU) offer tremendous computational power by following a throughput oriented computing paradigm where many thousand computational units operate in parall…
cs.PL2023
Traced Types for Safe Strategic Rewriting
Rongxiao Fu, Ornela Dardha, Michel Steuwer
Strategy languages enable programmers to compose rewrite rules into strategies and control their application. This is useful in programming languages, e.g., for describing program…