Michel Steuwer

ORCID

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 50

Top Venues

CoRR

GPGPU@PPoPP

CGO

Proc. ACM Program. Lang.

Universität Münster (PHD)

Education History

Universität Münster

PHD

Publications

Xueying Qin, Liam O'Connor, Rob van Glabbeek, Peter Höfner, Ohad Kammar, Michel Steuwer
Shoggoth: A Formal Foundation for Strategic Rewriting. Proc. ACM Program. Lang. 8 (POPL) (2024)
Thomas Koehler, Andrés Goens, Siddharth Bhat, Tobias Grosser, Phil Trinder, Michel Steuwer
Guided Equality Saturation. Proc. ACM Program. Lang. 8 (POPL) (2024)
Mathieu Fehr, Michel Weber, Christian Ulmann, Alexandre Lopoukhine, Martin Lücke, Théo Degioanni, Michel Steuwer, Tobias Grosser
Sidekick compilation with xDSL. CoRR (2023)
Bastian Hagedorn, Johannes Lenfers, Thomas Koehler, Xueying Qin, Sergei Gorlatch, Michel Steuwer
Achieving High Performance the Functional Way: Expressing High-Performance Optimizations as Rewrite Strategies. Commun. ACM 66 (3) (2023)
Xueying Qin, Liam O'Connor, Michel Steuwer
Primrose: Selecting Container Data Types by Their Properties. Art Sci. Eng. Program. 7 (3) (2023)
Erik Orm Hellsten, Artur L. F. Souza, Johannes Lenfers, Rubens Lacouture, Olivia Hsu, Adel Ejjeh, Fredrik Kjolstad, Michel Steuwer, Kunle Olukotun, Luigi Nardi
BaCO: A Fast and Portable Bayesian Compiler Optimization Framework. ASPLOS (4) (2023)
Rongxiao Fu, Ornela Dardha, Michel Steuwer
Traced Types for Safe Strategic Rewriting. CoRR (2023)
Wenhao Tang, Daniel Hillerström, James McKinna, Michel Steuwer, Ornela Dardha, Rongxiao Fu, Sam Lindley
Structural Subtyping as Parametric Polymorphism. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Bastian Köpcke, Sergei Gorlatch, Michel Steuwer
Descend: A Safe GPU Systems Programming Language. CoRR (2023)
Wenhao Tang, Daniel Hillerström, James McKinna, Michel Steuwer, Ornela Dardha, Rongxiao Fu, Sam Lindley
Structural Subtyping as Parametric Polymorphism. CoRR (2023)
Celeste Hollenbeck, Michael F. P. O'Boyle, Michel Steuwer
Investigating magic numbers: improving the inlining heuristic in the Glasgow Haskell Compiler. Haskell (2022)
Erik Hellsten, Artur L. F. Souza, Johannes Lenfers, Rubens Lacouture, Olivia Hsu, Adel Ejjeh, Fredrik Kjolstad, Michel Steuwer, Kunle Olukotun, Luigi Nardi
BaCO: A Fast and Portable Bayesian Compiler Optimization Framework. CoRR (2022)
Federico Pizzuti, Michel Steuwer, Christophe Dubach
Generating Work Efficient Scan Implementations for GPUs the Functional Way. Euro-Par (2022)
Lukas Siefke, Bastian Köpcke, Sergei Gorlatch, Michel Steuwer
Systematically extending a high-level code generator with support for tensor cores. GPGPU@PPoPP (2022)
Björn Franke, Zhibo Li, John Magnus Morton, Michel Steuwer
Collection Skeletons: Declarative Abstractions for Data Collections. SLE (2022)
Michel Steuwer, Thomas Koehler, Bastian Köpcke, Federico Pizzuti
RISE & Shine: Language-Oriented Compiler Design. CoRR (2022)
Xueying Qin, Liam O'Connor, Michel Steuwer
Primrose: Selecting Container Data Types by their Properties. CoRR (2022)
Rongxiao Fu, Xueying Qin, Ornela Dardha, Michel Steuwer
Row-Polymorphic Types for Strategic Rewriting. CoRR (2021)
Federico Pizzuti, Michel Steuwer, Christophe Dubach
Generating high performance code for irregular data structures using dependent types. FHPNC@ICFP (2021)
Ari Rasch, Richard Schulze, Michel Steuwer, Sergei Gorlatch
Efficient Auto-Tuning of Parallel Programs with Interdependent Tuning Parameters via Auto-Tuning Framework (ATF). ACM Trans. Archit. Code Optim. 18 (1) (2021)
Thomas Koehler, Phil Trinder, Michel Steuwer
Sketch-Guided Equality Saturation: Scaling Equality Saturation to Complex Optimizations in Languages with Bindings. CoRR (2021)
Larisa Stoltzfus, Brian Hamilton, Michel Steuwer, Lu Li, Christophe Dubach
Code Generation for Room Acoustics Simulations with Complex Boundary Conditions. IPDPS (2021)
Jubi Taneja, Michel Steuwer
Report from the Artifact Evaluation Committee. CGO (2021)
Thomas Koehler, Michel Steuwer
Towards a Domain-Extensible Compiler: Optimizing an Image Processing Pipeline on Mobile CPUs. CGO (2021)
Martin Lücke, Michel Steuwer, Aaron Smith
Integrating a functional pattern-based IR into MLIR. CC (2021)
Bastian Hagedorn, Johannes Lenfers, Thomas Koehler, Sergei Gorlatch, Michel Steuwer
A Language for Describing Optimization Strategies. CoRR (2020)
Federico Pizzuti, Michel Steuwer, Christophe Dubach
Generating fast sparse matrix vector multiplication from a high level generic functional IR. CC (2020)
Larisa Stoltzfus, Bastian Hagedorn, Michel Steuwer, Sergei Gorlatch, Christophe Dubach
Tiling Optimizations for Stencil Computations Using Rewrite Rules in Lift. ACM Trans. Archit. Code Optim. 16 (4) (2020)
Toomas Remmelg, Bastian Hagedorn, Lu Li, Michel Steuwer, Sergei Gorlatch, Christophe Dubach
High-level hardware feature extraction for GPU performance prediction of stencils. GPGPU@PPoPP (2020)
John Magnus Morton, Kuba Kaszyk, Lu Li, Jiawen Sun, Christophe Dubach, Michel Steuwer, Murray Cole, Michael F. P. O'Boyle
DelayRepay: delayed execution for kernel fusion in Python. DLS (2020)
Bastian Hagedorn, Johannes Lenfers, Thomas Koehler, Xueying Qin, Sergei Gorlatch, Michel Steuwer
Achieving high-performance the functional way: a functional pearl on expressing high-performance optimizations as rewrite strategies. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Martin Kristien, Bruno Bodin, Michel Steuwer, Christophe Dubach
High-level synthesis of functional patterns with Lift. ARRAY@PLDI (2019)
Federico Pizzuti, Michel Steuwer, Christophe Dubach
Position-dependent arrays and their application for high performance code generation. FHPNC@ICFP (2019)
Bastian Köpcke, Michel Steuwer, Sergei Gorlatch
Generating efficient FFT GPU code with Lift. FHPNC@ICFP (2019)
Gordon Brown, Christopher Di Bella, Michael Haidl, Toomas Remmelg, Ruymán Reyes, Michel Steuwer
Introducing Parallelism to the Ranges TS. IWOCL (2018)
Bastian Hagedorn, Larisa Stoltzfus, Michel Steuwer, Sergei Gorlatch, Christophe Dubach
High performance stencil code generation with lift. CGO (2018)
Philip Ginsbach, Toomas Remmelg, Michel Steuwer, Bruno Bodin, Christophe Dubach, Michael F. P. O'Boyle
Automatic Matching of Legacy Code to Heterogeneous APIs: An Idiomatic Approach. ASPLOS (2018)
Bastian Hagedorn, Michel Steuwer, Sergei Gorlatch
A Transformation-Based Approach to Developing High-Performance GPU Programs. Ershov Informatics Conference (2017)
Juan José Fumero, Michel Steuwer, Lukas Stadler, Christophe Dubach
Just-In-Time GPU Compilation for Interpreted Languages with Partial Evaluation. VEE (2017)
Robert Atkey, Michel Steuwer, Sam Lindley, Christophe Dubach
Strategy Preserving Compilation for Parallel Functional Code. CoRR (2017)
Michel Steuwer, Toomas Remmelg, Christophe Dubach
Lift: a functional data-parallel IR for high-performance GPU code generation. CGO (2017)
Michael Haidl, Michel Steuwer, Hendrik Dirks, Tim Humernbrum, Sergei Gorlatch
Towards Composable GPU Programming: Programming GPUs with Eager Actions and Lazy Views. PMAM@PPoPP (2017)
Michel Steuwer, Toomas Remmelg, Christophe Dubach
Matrix multiplication beyond auto-tuning: rewrite-based GPU code generation. CASES (2016)
Toomas Remmelg, Thibaut Lutz, Michel Steuwer, Christophe Dubach
Performance portable GPU code generation for matrix multiplication. GPGPU@PPoPP (2016)
Michael Haidl, Michel Steuwer, Tim Humernbrum, Sergei Gorlatch
Multi-stage programming for GPUs in C++ using PACXX. GPGPU@PPoPP (2016)
Michel Steuwer
Verbesserung der Programmierbarkeit und Performance-Portabilität von Manycore-Prozessoren. Ausgezeichnete Informatikdissertationen (2015)
Chris Cummins, Pavlos Petoumenos, Michel Steuwer, Hugh Leather
Autotuning OpenCL Workgroup Size for Stencil Patterns. CoRR (2015)
Michel Steuwer, Christian Fensch, Christophe Dubach
Patterns and Rewrite Rules for Systematic Code Generation (From High-Level Functional Patterns to High-Performance OpenCL Code). CoRR (2015)
Michel Steuwer, Christian Fensch, Sam Lindley, Christophe Dubach
Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code. ICFP (2015)
Juan José Fumero, Toomas Remmelg, Michel Steuwer, Christophe Dubach
Runtime Code Generation and Data Management for Heterogeneous Computing in Java. PPPJ (2015)
Michael Olejnik, Michel Steuwer, Sergei Gorlatch, Dominik Heider
gCUP: rapid GPU-based HIV-1 co-receptor usage prediction for next-generation sequencing. Bioinform. 30 (22) (2014)
Michel Steuwer, Malte Friese, Sebastian Albers, Sergei Gorlatch
Introducing and Implementing the Allpairs Skeleton for Programming Multi-GPU Systems. Int. J. Parallel Program. 42 (4) (2014)
Michel Steuwer, Sergei Gorlatch
SkelCL: a high-level extension of OpenCL for multi-GPU systems. J. Supercomput. 69 (1) (2014)
Juan José Fumero, Michel Steuwer, Christophe Dubach
A Composable Array Function Interface for Heterogeneous Computing in Java. ARRAY@PLDI (2014)
Michel Steuwer, Michael Haidl, Stefan Breuer, Sergei Gorlatch
High-Level Programming of Stencil Computations on Multi-GPU Systems Using the SkelCL Library. Parallel Process. Lett. 24 (3) (2014)
Sergei Gorlatch, Michel Steuwer
Towards High-Level Programming for Systems with Many Cores. Ershov Memorial Conference (2014)
Philipp Kegel, Michel Steuwer, Sergei Gorlatch
dOpenCL: Towards uniform programming of distributed heterogeneous multi-/many-core systems. J. Parallel Distributed Comput. 73 (12) (2013)
Michel Steuwer, Sergei Gorlatch
High-Level Programming for Medical Imaging on Multi-GPU Systems Using the SkelCL Library. ICCS (2013)
Michel Steuwer, Sergei Gorlatch
SkelCL: Enhancing OpenCL for High-Level Programming of Multi-GPU Systems. PaCT (2013)
Michel Steuwer, Sergei Gorlatch, Matthias Buß, Stefan Breuer
Using the SkelCL Library for High-Level GPU Programming of 2D Applications. Euro-Par Workshops (2012)
Michel Steuwer, Philipp Kegel, Sergei Gorlatch
Towards High-Level Programming of Multi-GPU Systems Using the SkelCL Library. IPDPS Workshops (2012)
Philipp Kegel, Michel Steuwer, Sergei Gorlatch
Uniform High-Level Programming of Many-Core and Multi-GPU Systems. High Performance Computing Workshop (2) (2012)
Philipp Kegel, Michel Steuwer, Sergei Gorlatch
dOpenCL: Towards a Uniform Programming Approach for Distributed Heterogeneous Multi-/Many-Core Systems. IPDPS Workshops (2012)
Michel Steuwer, Philipp Kegel, Sergei Gorlatch
A High-Level Programming Approach for Distributed Systems with Accelerators. SoMeT (2012)
Michel Steuwer, Philipp Kegel, Sergei Gorlatch
SkelCL - A Portable Skeleton Library for High-Level GPU Programming. IPDPS Workshops (2011)

Michel Steuwer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Michel Steuwer