Researcher
Michel Steuwer
Technische Universität Berlin
Statistics
58 papers found
All papers authored by Michel Steuwer
Refreshing results…
2024
Bastian Köpcke 
,
Sergei Gorlatch ,
Michel Steuwer
,
Sergei Gorlatch ,
Michel Steuwer
Descend: A Safe GPU Systems Programming Language
Download from doi.org
Xueying Qin ,
Liam O’Connor ,
Rob van Glabbeek ,
Peter Höfner ,
Ohad Kammar ,
Michel Steuwer
,
Liam O’Connor ,
Rob van Glabbeek ,
Peter Höfner ,
Ohad Kammar ,
Michel Steuwer
Shoggoth: A Formal Foundation for Strategic Rewriting
Download from doi.org
Thomas Kœhler ,
Andrés Goens ,
Siddharth Bhat ,
Tobias Grosser ,
Phil Trinder ,
Michel Steuwer
Download from doi.org
,
Andrés Goens ,
Siddharth Bhat ,
Tobias Grosser ,
Phil Trinder ,
Michel Steuwer
Download from doi.org
2023
Wenhao Tang ,
Daniel Hillerström ,
James McKinna ,
Michel Steuwer ,
Ornela Dardha ,
Rongxiao Fu ,
Sam Lindley
,
Daniel Hillerström ,
James McKinna ,
Michel Steuwer ,
Ornela Dardha ,
Rongxiao Fu ,
Sam Lindley
Structural Subtyping as Parametric Polymorphism
Download from doi.org
2022
Björn Franke ,
Zhibo Li ,
Magnus Morton ,
Michel Steuwer
,
Zhibo Li ,
Magnus Morton ,
Michel Steuwer
Collection Skeletons: Declarative Abstractions for Data Collections
Upload
Martin Lücke ,
Michel Steuwer ,
Aaron Smith
,
Michel Steuwer ,
Aaron Smith
Integrating a functional pattern-based IR into MLIR
Upload
2019
Larisa Stoltzfus,
Bastian Hagedorn,
Michel Steuwer ,
Sergei Gorlatch,
Christophe Dubach
,
Sergei Gorlatch,
Christophe Dubach
Tiling Optimizations for Stencil Computations Using Rewrite Rules in L ift
Download from doi.org
Missing publications? Search for publications with a matching author name.